Search
Now showing items 31-40 of 159
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 ...
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 ...
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 ...
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 ...
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 ...
Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
(2010-12-17)
En este trabajo se presenta una adaptación al model checking simbólico de un método de reducción de estados, el cual, tiene como objetivo reducir el costo de los cálculos numéricos involucrados en el model checking ...
Sistema de verificación de huellas dactilares
(2007-09-28)
Construimos un Sistema Automático de Identificación y verificación de huellas dactilares (AFIS / por sus siglas en inglés), basado en reconocimiento de minucias al que llamamos PULGARCITO.
Comparación de arquitectura AMD e Intel para ejecución de GADGET
(2017)
Realizo una comparación de la ejecución de código de simulaciones cosmológicas Gadget, el cual evoluciona la materia del universo considerando solo la fuerza de gravedad. Estas ejecuciones se realizaron sobre arquitectura ...
Análisis del desempeño de algoritmos aplicados a la selección de monedas sobre Bitcoin
(2023-11)
Este trabajo propone un análisis comparado de algoritmos de selección de monedas en Bitcoin, nuevos y existentes, a partir de su modelado como problemas de Optimización Lineal Binaria y la simulación de su comportamiento ...
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 ...