Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Title
Now showing items 70-89 of 159
-
Evaluación comparativa de modelos de traducción estadística y neuronal
(2018)En este trabajo evaluaremos la implementación de un sistema de traducción automática en un una empresa privada con necesidades particulares: el Correo Suizo, cuyo departamento de servicios lingüísticos está interesado en ... -
Exploración y visualización de redes de músicos
(2018)Se presenta la elaboración completa de un sistema de visualización interactiva de redes de músicos con el fin de comunicar relaciones y afinidades entre los mismos, sumado a sus datos biográficos y producción artística. ... -
Extracción de características geométricas para rendering no fotorrealista de mallas 3D en Python
(2021)En este trabajo se implementan algoritmos para la extracción de características geométricas que son utilizadas para la generación automática de bocetos. Estas características geométricas tienen su base en la geometría ... -
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 ... -
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 ... -
Formalización de la semántica del lenguaje de programacion Lua
(2015)Los lenguajes de "script" cumplen hoy un papel importante en el desarrollo de aplicaciones, ofreciendo conceptos para la programación, que pueden extender aquellos presentes en el lenguaje empleado para implementar la ... -
Framework para aprendizaje activo
(2018)Muchos proyectos de Machine Learning de la actualidad precisan de un gran número de datos etiquetados para poder entrenar los algoritmos. El etiquetado de los mismos tiene un gran costo tanto económico como de tiempo. Una ... -
Generación automática de terapias antivirales para VIH
(2010)Se expone el análisis, diseño y confección de un sistema de ayuda a la toma de decisiones en el tratamiento antirretroviral de pacientes VIH-positivos. El sistema desarrollado es altamente configurable, adaptándose a las ... -
Generación de código intermedio usando semántica funtorial
(2010-12-29)Este trabajo consiste en la implementación de un front-end para un lenguaje de programación Algol-like. El front-end es la primera etapa del proceso de compilación; cuyo objetivo es generar código en un lenguaje intermedio ... -
Generalización de meta-programas con tipado dependiente en Mtac2
(2020-03)En este trabajo presentamos un nuevo meta-meta-programa lift que nos provee de una solución semiautomática para la generalización de terminos dependientes monádicos: dado cualquier metaprograma o operador (cómo bind) y una ... -
Generando instrucciones de navegación peatonal usando generación por selección
(2014-09)En este trabajo describimos un método para desarrollar un instructor virtual de navegación peatonal basado en interacciones reales entre humanos. Un instructor virtual es un agente capaz de cumplir el rol de un instructor ... -
Gramáticas mínimas y descubrimiento de patrones
(2010)En este trabajo nos concentramos en dos problemas íntimamente relacionados, por un lado atacamos el problema de la inferencia de gramáticas libres de contexto de tamaño mínimo y por otro, analizamos cómo es que estas pueden ... -
Una herramienta para chequeo de tipos en Assembly X86
(2023-10-15)Esta tesis aborda el desarrollo de una herramienta diseñada para realizar el chequeo de tipos en programas escritos en el lenguaje de ensamblaje x86. El principal desafío abordado en esta investigación es superar la falta ... -
Herramientas geoespaciales vinculadas a Índices meteorológicos de incendios forestales
(2015)En esta tesis se aborda la puesta operativa del índice de peligrosidad meteorológico - Forest Fire Danger Index (FFDI) (McArthur. 1967) con el objetivo de satisfacer la necesidad de contar con datos de predicción meteorológica, ... -
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 ... -
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
(2011-03-18)El model checking es un método de verificación formal que permite verificar automáticamente si un modelo cumple una especificación. PRISM constituye una herramienta para realizar model checking de tipo probabilista. En ... -
Inferencia de estructuras gramaticales mediante descomposiciones a estructuras simples
(2007)Desarrollamos técnicas para inferir etiquetas complejas a partir de poco material de entrenamiento. La idea consiste en separar las etiquetas en partes significativas y entrenar taggers para que infieran en ellas a partir ... -
Ingeniería de requisitos web orientada a aspectos con transformación de modelos
(2011-03-04)Los analistas usualmente describen requisitos usando notaciones involucrando conceptos técnicos que los clientes suelen desconocer. El expresar requisitos con notaciones legibles para los clientes (NLC) - es decir, que ... -
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 ... -
Inyección de fallas en procesadores RISC-V para caracterizar nodos DTN
(2023-09)Los procesadores RISC-V de código abierto se están popularizando cada vez más aceleradamente en diversos campos de aplicación. El hecho de que son procesadores de arquitectura y de código abierto permite implementar diversas ...