Search
Now showing items 21-30 of 105
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 ...
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 ...
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 ...
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 ...
Sistema de gestión de experimentos y contról de módulo digital para Resonancia Cuadrupolar Nuclear
(2018-12)
En el proceso de investigación del fenómeno físico de Resonancia Magnética Cuadrupolar Nuclear el investigador manipula módulos electrónicos digitales de medición precisos y estables, en algunos casos si intervienen mas ...
Automatización de cefalometrías utilizando métodos de aprendizaje automático
(2019)
La cefalometría es un estudio médico que logra diagnosticar problemas dentarios, esqueléticos ó problemas estéticos. Se realiza sobre un trazado obtenido del calco de líneas de las estructuras blandas y duras (piel y hueso ...