Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Issue Date
Now showing items 41-60 of 161
-
Aplicación de redes neuronales en la clasificación de imágenes
(2014-07-21)La eficiencia de la combinación entre los ojos y cerebro humano en resolver problemas de reconocimiento de patrones permiten a los cientı́ficos considerar la posibilidad de aplicar, en los algoritmos de clasificación, ... -
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 ... -
PEF: Python Error Finder
(2014-12)La verificación del correcto funcionamiento de los sistemas es uno de los aspectos más importante del desarrollo de software, y a su vez, uno de los más costosos de llevar a cabo. El testing tradicional y la verificación ... -
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, ... -
Un entorno de ejecución de C para detectar comportamientos indefinidos
(2015)Con el creciente uso del lenguaje C, se vio la necesidad de crear un estándar que garantice que el mismo código fuente produce el mismo programa, al compilarse con distintos compiladores o en distintas plataformas. No ... -
Representaciones globales para cuasivariedades de congruencias relativas distributivas
(2015)Los productos subdirectos globales preservan sentencias de la forma "para todo existe único conjunción de p=q". Esta clase de sentencias permite expresar resultados interesantes (como el teorema de Nachbin, entre otros) ... -
Reingeniería de "Presentes" : una base de datos sobre el accionar del Terrorismo de Estado
(2015)“Presentes” es un software utilizado por el Archivo Provincial de la Memoria para la investigación del accionar del terrorismo de estado en la provincia de Córdoba. El sistema no fue sesarrollado mediante un proceso de ... -
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 ... -
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 ... -
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 ... -
Sincronización automática de movimientos labiales para programas de animación mediante análisis de audio en español
(2015)En la industria de la animación uno de los principales costos son la horas hombre, es decir, la cantidad de trabajo que hay detrás de varios de los procesos de producción. Uno de dichos procesos es el conocido lip sync o ... -
Análisis del movimiento de escaladores usando sensores móviles mediante técnicas de inteligencia artificial
(2015-03)Se propone utilizar los sensores provistos en la mayoría de los teléfonos inteligentes, como acelerómetro 3D y giróscopo, para estudiar el movimiento de escaladores de palestra indoor. La información de los sensores se ... -
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 ... -
Simulación de modelos estadísticos correlacionados para imágenes de radar de apertura sintética
(2015-05)En este trabajo se presentan algoritmos para la simulación de imágenes SAR a partir de modelos estadísticos con distribuciones Gamma, K y G con su caso particular en la familia de estas distribuciones a la distribución G ... -
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 ... -
Algoritmo de cálculo de cápsulas convexas
(2015-07)El presente trabajo se propone definir algoritmos eficientes implementados sobre placas de video para calcular el conjunto convexo que encierra a un conjunto de puntos dado. Los resultados obtenidos se analizaran mediante ... -
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 ... -
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 ...