Search
Now showing items 11-20 of 21
Watershed topológico concurrente
(2015-05)
La Transformación Watershed Topológico es un procedimiento de la morfología matemática, basado en la popular Transformación Watershed, cuyo fin es la segmentación de una imagen. Si bien existen algoritmos secuenciales ...
Técnicas mixtas de seguimiento y aprendizaje para tracking en secuencias de video
(2015-09)
Dentro del campo de visión por computadora, el problema de tracking consiste en seguir la posición de un objeto en una secuencia de video. Este ha sido abordado de variadas maneras, principalmente con métodos basados en ...
Sistema de generación de texto automático en dominios acotados
(2015)
El presente trabajo consiste en desarrollar un sistema de generación de lenguaje natural basado en templates capaz de producir avisos clasificados bien formados referidos a un producto en proceso de comercialización o de ...
Reconocimiento de caracteres en imágenes no estructuradas
(2015)
El que una computadora pueda discernir un carácter de otro en la imagen de un texto no es una tarea sencilla. El objetivo es clasificar caracteres en escenas naturales en donde las técnicas tradicionales de OCR no se pueden ...
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 ...
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 ...
Verificación formal de código binario
(2015)
Los buffer overflow son una de las vulnerabilidades mas frecuentes que se encuentran en el software que utilizamos diariamente. El análisis de este tipo de vulnerabilidades se hace tedioso y complejo cuando solo se tiene ...
Lógicas modales con datos infinitos
(2015-03)
En este trabajo de licenciatura, extendemos la lógica dinámica proposicional (PDL, Propositional Dynamic Logic) con variables que toman valores en un dominio infinito. Esta extensión, llamada PDL parametrizada o PPDL es ...
Análisis de diagnosticabilidad en sistemas probabilísticos
(2015-07)
Un aspecto fundamental en sistemas computacionales es poder diseñar mecanismos automáticos de detección de fallas.
Debido al incremento en los requerimientos de confiabilidad (particularmente en sistemas críticos), muchos ...
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 ...