Search
Now showing items 121-130 of 155
Keylogging para el estudio de los procesos cognitivos del traductor
(2015-07)
En este trabajo se extiende una herramienta para adaptarla a la investigación de los procesos cognitivos involucrados en la traducción humana mediante el uso de técnicas de key-logging y de análisis estadístico de datos.
Las ...
Minería de argumentos con aprendizaje profundo y atención
(2019)
En este trabajo agregamos un mecanismo de atención a una red neuronal del estado del arte, que consiste de una red BiLSTM con embeddings de caracteres y una capa de CRF. Este modelo no sólo ha sido previamente aplicado en ...
Seguimiento de partículas en videos de microscopía
(2017)
En este trabajo se presenta un algoritmo modular que tiene como objetivo reconstruir trayectorias de partículas a partir de secuencias de imágenes obtenidas con técnicas de microscopía óptica, y extraer información estadística ...
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 ...
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 ...
Corrección automática de errores de OCR en documentos semi-estructurados
(2016-12-07)
En este trabajo se presenta la tarea realizada para corregir automáticamente texto generado por un OCR desde un archivo digital realizado para preservar documentos creados durante la dictadura militar en Argentina entre ...
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 ...
Representación semántica de lenguaje natural en el dominio de fórmulas lógicas
(2018)
Este trabajo final de licenciatura parte del supuesto que el aprendizaje del lenguaje simbólico de lógica formal es problemático (Oller, 2006). Algunos aspectos de esta dificultad son analizados por los autores de “Language, ...
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 ...
biOps : un paquete de procesamiento de imágenes en R
(2007)
El presente trabajo describe un paquete de procesamiento de imágenes realizado en R, un lenguaje y entorno computacional libres, enfocado en estadística y gráficos estadísticos. Las distintas funciones del paquete, fueron ...