Search
Now showing items 131-140 of 158
Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
(2009)
Desde tiempos previos a la llamada crisis del software se ha reconocido que la complejidad y el tamaño de los sistemas de software demanda metodologías sistemáticas de desarrollo. El objetivo de éstas es permitir crear, ...
Detección de patrones publicitarios
(2014)
El objetivo principal de este trabajo es estudiar distintos algoritmos de reconocimiento de patrones en imágenes para la detección de logos publicitarios. A lo largo del trabajo se describen dos implementaciones en este ...
Optimización del método de red de vórtices inestacionario para unidades de procesamiento gráfico
(2020)
En este trabajo final de la Licenciatura en Ciencias de la Computación, se paralelizó la herramienta existente con el objetivo de obtener resultados rápidos a bajo costo en simulaciones complejas. Al comienzo de este ...
Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic
(2017-05-31)
Presentamos un shape analysis con garantı́as de terminación para programas que manipulan estructuras de datos no lineales como árboles binarios. El análisis se basa en una ejecución simbólica de los programas sobre estados ...
Simetrías en lógicas de descripción
(2017)
En esta tesis trabajaremos con el concepto de simetría en el contexto del razonamiento automático. Si podemos identificar las simetrías de un problema, podríamos utilizarlas para reducir la dificultad del razonamiento ...
Diseño de vacunas atenuadas con menor probabilidad de sufrir reversión a la virulencia
(2011)
Las denominadas vacunas vivas o atenuadas han sido ampliamente utilizadas para prevenir enfermedades como la rubeola, la poliomielitis, el sarampión o la fiebre amarilla. Sin embargo, uno de los peligros del uso de este ...
Desarrollo de una herramienta de acceso vía web para ser aplicada en la detección de mareas rojas utilizando imágenes satelitales
(2008)
La detección temprana de mareas rojas nocivas permite evitar perdidas humanas y económicas. Para esto se necesitan herramientas para procesar la información obtenida por el sensado remoto a través de satélites.
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 ...
Una aplicación basada en imágenes SAR para el monitoreo y prevención de inundaciones en Argentina
(2009)
La teledetección, a través de sensores remotos activos y pasivos, constituye una herramienta para el desarrollo de sistemas de prevención, seguimiento y evaluación de inundaciones. Entre los estudios, que facilitan el uso ...