Now showing items 69-88 of 154

    • Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas 

      Monti, Raúl Enrique (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 ...
    • Filtros y técnicas de clasificación en imágenes de teledetección 

      Della Vedova, Mariano Enrique (2013-09)
      Una de las tareas más importantes de la teledetección, es la clasificación de imágenes satelitales. Teniendo en cuenta que los ruidos siempre están presentes en ellas, es escencial analizar las mejores formas de preparar ...
    • Formalización de la semántica del lenguaje de programacion Lua 

      Soldevila Raffa, Mallku Ernesto (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 ...
    • Framework para aprendizaje activo 

      Márquez Braconi, Agustín Daniel (2018)
      Muchos proyectos de Machine Learning de la actualidad precisan de un gran número de datos etiquetados para poder entrenar los algoritmos. El etiquetado de los mismos tiene un gran costo tanto económico como de tiempo. Una ...
    • Generación automática de terapias antivirales para VIH 

      Peralta Godoy, Andrés; Velez, Ezequiel S. (2010)
      Se expone el análisis, diseño y confección de un sistema de ayuda a la toma de decisiones en el tratamiento antirretroviral de pacientes VIH-positivos. El sistema desarrollado es altamente configurable, adaptándose a las ...
    • Generación de código intermedio usando semántica funtorial 

      Rodríguez, Leonardo Matías (2010-12-29)
      Este trabajo consiste en la implementación de un front-end para un lenguaje de programación Algol-like. El front-end es la primera etapa del proceso de compilación; cuyo objetivo es generar código en un lenguaje intermedio ...
    • Generalización de meta-programas con tipado dependiente en Mtac2 

      Tiraboschi, Ignacio (2020-03)
      En este trabajo presentamos un nuevo meta-meta-programa lift que nos provee de una solución semiautomática para la generalización de terminos dependientes monádicos: dado cualquier metaprograma o operador (cómo bind) y una ...
    • Generando instrucciones de navegación peatonal usando generación por selección 

      Avalos Ambroggio, Santiago Eugenio (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 ...
    • Gramáticas mínimas y descubrimiento de patrones 

      Carrascosa, Rafael. (2010)
      En este trabajo nos concentramos en dos problemas íntimamente relacionados, por un lado atacamos el problema de la inferencia de gramáticas libres de contexto de tamaño mínimo y por otro, analizamos cómo es que estas pueden ...
    • Herramientas geoespaciales vinculadas a Índices meteorológicos de incendios forestales 

      Clemoveki, Kevin Ayrton (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, ...
    • Iluminación global en DirectCompute 

      Clavero, Gabriel Nicolás (2014)
      Los algoritmos de iluminación global aumentan el grado de realismo obtenido en la renderización de escenas tridimensionales al modelar detalladamente el comportamiento de la luz. Su uso en motores de renderizado 3D en ...
    • Implementación de técnicas de derivación de contraejemplos en el model checker PRISM 

      Marenchino, Matías Leandro (2011-03-18)
      El model checking es un método de verificación formal que permite verificar automáticamente si un modelo cumple una especificación. PRISM constituye una herramienta para realizar model checking de tipo probabilista. En ...
    • Inferencia de estructuras gramaticales mediante descomposiciones a estructuras simples 

      Peralta Frías, Alejandro Javier (2007)
      Desarrollamos técnicas para inferir etiquetas complejas a partir de poco material de entrenamiento. La idea consiste en separar las etiquetas en partes significativas y entrenar taggers para que infieran en ellas a partir ...
    • Ingeniería de requisitos web orientada a aspectos con transformación de modelos 

      Villalba, Martín Federico (2011-03-04)
      Los analistas usualmente describen requisitos usando notaciones involucrando conceptos técnicos que los clientes suelen desconocer. El expresar requisitos con notaciones legibles para los clientes (NLC) - es decir, que ...
    • Inteligencia artificial en juegos : desarrollando un game partner utilizando generación de lenguaje natural 

      Bertoa, Nicolás (2013)
      Actualmente la mayoría de los tutoriales en los videojuegos están hechos para que el jugador siga un script fijo. Por lo tanto, que un tutorial sea bueno o malo es todavía un arte que depende de cuán bueno sea el script ...
    • Inyección de fallas en procesadores RISC-V para caracterizar nodos DTN 

      Edelstein, Adrián Marcelo (2023-09)
      Los procesadores RISC-V de código abierto se están popularizando cada vez más aceleradamente en diversos campos de aplicación. El hecho de que son procesadores de arquitectura y de código abierto permite implementar diversas ...
    • Keylogging para el estudio de los procesos cognitivos del traductor 

      Lafuente, Roxana Anabel (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 ...
    • Localización visual inercial en tiempo real para aplicaciones de XR 

      de Mayo, Mateo Brian (2022-03)
      Las aplicaciones de realidad virtual (VR), aumentada (AR) y sus derivadas, englobadas dentro del término XR, necesitan métodos para localizar y entender los movimientos realizados por el usuario y así poder actualizar ...
    • Lógicas modales con datos infinitos 

      Rossi, Gisela Carla (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 ...
    • Mapeos de lenguaje de consulta a esquemas XML 

      Montes, Elisa Fabiana (2018-04)
      Recientemente se ha estudiado cómo transicionar o mapear modelos de requisitos junto con esquemas de datos a diagramas de interfaz de usuario (UI). Pero no se encontraron trabajos que partan de una etapa previa, o sea desde ...