Search
Now showing items 131-140 of 161
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á ...
biOps : un paquete de procesamiento de imágenes en R
(2007)
El presente trabajo describe un paquete de procesamiento de imágenes realizado en R, un lenguaje y entorno computacional libres, enfocado en estadística y gráficos estadísticos. Las distintas funciones del paquete, fueron ...
Análisis de la definibilidad de relaciones en estructuras de primer orden
(2019-03)
En el artículo "Semantical conditions for the definability of functions and relations" [1], se presentan condiciones semánticas que caracterizan cuando una función o una relación es definible por fórmulas de distintos ...
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 ...
Detección de objetos en imágenes mediante aprendizaje sin ejemplos
(2021)
En el año 2010 surgió la llamada “revolución” del aprendizaje profundo, y con esto, los métodos capaces de detectar objetos en una imagen progresaron considerablemente. Estos algoritmos o modelos fueron mejorando en cada ...
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 ...