Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Grafos"
Now showing items 1-2 of 2
-
Cálculo de tableaux para fórmulas elementales en lógicas de separación
(2020)En este trabajo final investigamos métodos computacionales de razonamiento para lenguajes modales dinámicos. Por lenguajes dinámicos nos referimos a formalismos que permitan cambiar la estructura subyacente a medida que ... -
Estudio de algoritmos para detección de bordes en imágenes SAR satelitales basados en la divergencia de Jensen Shannon
(2023-06-30)La detección de bordes en imágenes SAR se ve dificultada por el ruido "speckle". Un enfoque basado en la divergencia de Jensen-Shannon no ha logrado solucionar completamente el problema. Para abordarlo, se implementó un ...