Search
Now showing items 1-7 of 7
Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
(2013-03)
Los sistemas computacionales juegan roles determinantes en muchas áreas de nuestra vida cotidiana. En algunos casos la dependencia hacia estos sistemas es crítica, y el mal funcionamiento de los mismos puede acarrear grandes ...
Análisis y procesamiento de imágenes de maní para el control del nivel de tostado
(2013)
El maní es una planta que produce frutos secos con una o más semillas comestibles. Estas semillas se destinan para la elaboración de aceites o para el consumo ya sea directo o, previa transformación, como pasta de maní.
Para ...
Inteligencia artificial en juegos : desarrollando un game partner utilizando generación de lenguaje natural
(2013)
Actualmente la mayoría de los tutoriales en los videojuegos están hechos para que el jugador siga un script fijo. Por lo tanto, que un tutorial sea bueno o malo es todavía un arte que depende de cuán bueno sea el script ...
NMR_CORE : un modelo de datos para representar experimentos de resonancia magnética nuclear de baja resolución
(2013-12-20)
En respuesta a los requerimientos actuales de la industria de la resonancia magnética nuclear (RMN) de baja resolución, diseñamos un modelo de datos, al que llamamos NMR_CORE, que permite la representación de los experimentos ...
Filtros y técnicas de clasificación en imágenes de teledetección
(2013-09)
Una de las tareas más importantes de la teledetección, es la clasificación de imágenes satelitales. Teniendo en cuenta que los ruidos siempre están presentes en ellas, es escencial analizar las mejores formas de preparar ...
Botrix : plugin de bots colaborativos dentro de un juego 3D
(2013)
Botrix es un plugin (un módulo de software) que ofrece creación y manejo de bots colaborativos. Un bot es un jugador artificial manejado por la computadora. Originalmente el plugin está hecho para el juego Half-Life 2: ...
Optimización de la traducción funcional para lógicas modales
(2013-08-09)
En esta tesis estudiamos las traducciones funcionales que transforman fórmulas de lógica modal a lógica de primer orden con sorts. En trabajos previos se mostró que remover las anotaciones de sorts de las traducciones ...