Search
Now showing items 101-110 of 158
Aplicaciones de álgebra universal al reticulado de Post
(2017)
El reticulado de todos los clones de funciones booleanas ordenados por inclusión, mejor conocido como reticulado de Post, es de suma importancia en Ciencias de la Computación en lo referido al problema de satisfacibilidad ...
Aprendizaje activo para clasificación de preguntas
(2015)
Quepy es una librería para construir sistema de respuesta a preguntas sobre datos enlazados, sin embargo utiliza patrones estáticos para reconocer preguntas y alcanzar una gran cobertura es muy costoso. Utilizamos un ...
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 ...
Predicción de tendencias en redes sociales basada en características sociales y contenido
(2018-04-30)
En el marco del análisis de redes sociales éste trabajo busca capturar el comportamiento
de los usuarios influyentes sobre una publicación determinada. Con esta información,
la intención es generar un modelo de aprendizaje ...
Verificación formal de protocolos distribuidos
(2019)
En esta tesis probamos la correctitud de tres protocolos distribuidos. Primero, el algoritmo Single Decree Paxos que resuelve el problema de llegar a un acuerdo, o alcanzar consenso, entre un conjunto de procesos. Segundo, ...
Iluminación global en DirectCompute
(2014)
Los algoritmos de iluminación global aumentan el grado de realismo obtenido en la renderización de escenas tridimensionales al modelar detalladamente el comportamiento de la luz. Su uso en motores de renderizado 3D en ...
Una propuesta de accesibilidad en expresiones matemáticas para la comunidad de ciegos y disminuídos visuales
(2017)
La accesibilidad a la bilbiografía de áreas técnicas como la matemática es un tema importante para que la educación sea cada vez más inclusiva. Aún así, como lo es de importante puede que lo sea de complejo. Uno de los ...
Reducción de orden parcial en model checking probabilista simbólico
(2010)
El problema fundamental de los model checkers es la explosión exponencial del espacio de estados que se produce al agregar nuevas componentes o variables. El problema se exacerba en los model checkers probabilistas dado ...
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: ...
Análisis de binarios usando ejecución simbólica
(2018)
En el presente trabajo se estudia, analiza y contribuye en el uso de técnicas y herramientas modernas para el análisis de programas ejecutables binarios. Hacemos énfasis en el uso de ejecución simbólica, mencionando algunas ...