Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Title
Now showing items 141-160 of 161
-
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 ... -
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 ... -
Sistema de instrumentación estática de código fuente para mocking de funciones y objetos
(2018)Este trabajo consiste en el desarrollo de una herramienta de unit testing para el lenguaje de programación C. Los principales problemas que poseen este tipo de herramientas es la intrusión en el código de producción y el ... -
Sistema de recomendación para textos legales
(2018)En el presente trabajo realizamos una solución para el desarrollo de un sistema de recomendación de documentos de texto el cual se lo instancia al dominio legal/jurídico, utilizando el corpus de leyes de Argentina, accesible ... -
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. -
Un sistema interactivo para la interpretación de especificaciones
(2014-03-10)En este trabajo estudiamos el problema del tratamiento de una especificación de software expresada en lenguaje natural. Observamos y clasificamos fenómenos lingüísticos sobre un cuerpo de ejemplos de especificaciones. A ... -
Sistemas de navegación de interiores para plataformas autónomas móviles
(2007)El presente trabajo describe un sistema de navegación de interiores para plataformas autónomas móviles. El mismo intenta resolver el problema de trasladar una plataforma de un punto a otro en un ambiente cerrado. El trabajo ... -
Soporte para ARM en un compilador verificado
(2022-12)Este trabajo es un estudio de un lenguaje de programación, llamado Jasmin, utilizado para desarrollar criptografía eficiente y confiable, así como una propuesta de una extensión a esta herramienta para agregar soporte para ... -
TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
(2010)En las pruebas de sistemas de tiempo real, y en particular los que tienen comportamiento estocástico, es muy importante que éstas se ejecuten con la mayor probabilidad posible. El objetivo de este trabajo final es implementar ... -
Teoría de prueba con etiquetas para lógicas modales intuicionistas
(2019-03-28)Los sistemas de prueba etiquetados han sido propuestos por Gabbay como un marco unificador a través de la teoría de prueba con el fin de proporcionar sistemas de prueba para una amplia gama de lógicas. Para las lógicas ... -
Técnicas embedding para clasificación de imágenes en grandes bancos de datos
(2015-08-06)En este trabajo se considera el problema de clasificación de imágenes en gran escala mediante embeddings lineales. En un modelo embedding, además de generar una representación para las imágenes (entradas) se genera una ... -
Técnicas mixtas de seguimiento y aprendizaje para tracking en secuencias de video
(2015-09)Dentro del campo de visión por computadora, el problema de tracking consiste en seguir la posición de un objeto en una secuencia de video. Este ha sido abordado de variadas maneras, principalmente con métodos basados en ... -
Transferencia de estilo en fotografías mediante redes neuronales convolucionales
(2017-07)Dada la facilidad de tomar fotografias a partir de los dispositivos móviles y el aumento de la capacidad de cómputo de dichos dispositivos se han desarrollado muchas aplicaciones con el objetivo de generar nuevas imágenes ... -
Usar la historia del diálogo para mejorar modelos de Visual Question Answering
(2022)En este trabajo presentamos algunas técnicas para poder crear modelos que utilicen el historial de una conversación para responder preguntas sobre una imagen. En particular desarrollamos sobre un modelo llamado Oráculo que ... -
Uso de planes relajados en grounding heurístico
(2021)Los planificadores en planning clásico encuentran planes con éxito aún para tareas realmente complejas. Para esto, la mayoría de planificadores realizan una etapa de preprocesamiento sobre la especificación de la tarea ... -
Verificación de lógicas modales dinámicas en Coq
(2019-03)Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ... -
Verificación en tiempo de ejecución con Streams
(2010)La verificación en tiempo de ejecución es una de las técnicas utilizadas con el objetivo de garantizar la corrección, seguridad y confiabilidad de los sistemas de software que ha recibido gran atención en los últimos años. ... -
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 ... -
Verificación formal de protocolos distribuidos
(2019)En esta tesis probamos la correctitud de tres protocolos distribuidos. Primero, el algoritmo Single Decree Paxos que resuelve el problema de llegar a un acuerdo, o alcanzar consenso, entre un conjunto de procesos. Segundo, ... -
Visión artificial para el reconocimiento automático, en tiempo real, de líneas urbanas de autobuses
(2019)En el presente trabajo, se aborda el problema de la detección y el reconocimiento de números de líneas de autobuses del transporte público de pasajeros de la ciudad de Córdoba, empleando imágenes obtenidas mediante ...