Search
Now showing items 31-40 of 45
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 ...
Dinámica asintótica de sistemas cuánticos abiertos
(2015-03)
Se estudia el problema de caracterizar el comportamiento asintótico de semigrupos dinámicos cuánticos en dimensión finita. Estos son usados para modelar sistemas cuánticos abiertos en aproximación markoviana. En este trabajo ...
Estudio experimental del efecto de la turbulencia sobre el espectro de tamaño de gotas de nube
(2015-03)
El propósito de este trabajo es estudiar empíricamente el efecto sobre el espectro de tamaños de gotas en una nube cálida sometida perturbaciones que afectan el movimiento de la parcela de aire en donde se encuentra. Con ...
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 ...
Invariantes de grupos finitos
(2015-03)
En este trabajo se realiza un repaso por la teoría de invariantes de grupos finitos y de grupos racionales. Se introducen las nociones básicas de geometría algebráica y los preliminares de álgebra conmutativa necesarios. ...
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 ...