Buscar
Mostrando ítems 1-7 de 7
Joker: um realizador de desenhos animados para linguagens formais
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2011-08-31)
Using formal methods, the developer can increase software s trustiness and correctness.
Furthermore, the developer can concentrate in the functional requirements of the
software. However, there are many resistance in ...
Mario. Paciente virtual para la enseñanza y evaluación médica
(Ediciones Universidad Simón BolivarFacultad de Ciencias de la Salud, 2021)
La arquitectura técnica del sistema de Mario es concebida como un algoritmo para creación de conversaciones, basado en técnicas de machine learning. El funcionamiento se basa en un lenguaje de etiquetas o maqueteado llamado ...
Un Modelo Integrado de Razonamiento Lógico y Técnicas de Planificación en Inteligencia Artificial para la Composición Automática de Objetos de Investigación Basados en Protocolos Experimentales en el Área de la Ingeniería Civil
(Universidad Nacional de Colombia - Sede Medellín, 2019-12)
Para garantizar el acceso a largo plazo de la actividad científica de un laboratorio, es necesario que las técnicas de conservación sean capaces de convertir todo el proceso experimental en un recurso estructurado y abierto ...