Search
Now showing items 141-150 of 155
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 ...
Normalización de texto en español de Argentina
(2018)
En la actualidad la cantidad de datos que consume y genera una sola persona es gigantesca. Los datos cada vez son más, ya que cualquiera puede generarlos. Esto trae consigo un aumento en el ruido que hay en esos datos. Es ...
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. ...
Análisis de sentimiento en Twitter : el bueno, el malo y el >:(
(2016-06)
Los sistemas de análisis de sentimientos y la minería de opiniones han resultado ser de gran utilidad en los últimos años, con la introducción de las redes sociales. Su principal objetivo es identificar opiniones positivas ...
Análisis de diagnosticabilidad en sistemas probabilísticos
(2015-07)
Un aspecto fundamental en sistemas computacionales es poder diseñar mecanismos automáticos de detección de fallas.
Debido al incremento en los requerimientos de confiabilidad (particularmente en sistemas críticos), muchos ...
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 ...
Desarrollo de una aplicación móvil basada en Android para el combate de incendios forestales y de interfaz
(2016-08)
Gracias al gran avance de la tecnología móvil en la actualidad, se ha dispuesto como propósito del presente trabajo crear una aplicación basada en la plataforma Android para teléfonos inteligentes. La aplicación actuará ...
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 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 ...
Aprendizaje activo para mejorar el arranque en frío de sistemas de recomendación
(2016)
Cuando un nuevo usuario hace uso de un sistema de recomendación, no se tiene suficiente información sobre sus preferencias para producir recomendaciones precisas. Este problema es conocido como "arranque en frío". Para ...