Browsing Tesis de Doctorado en Ciencias de la Computación by Subject "Optimización"
Now showing items 1-2 of 2
-
Implementación eficiente de construcciones de alto nivel para la programación concurrente
(2011)El trabajo de tesis doctoral presenta métodos automáticos para mejorar implementaciones de regiones críticas condicionales y monitores con señalamiento automático, mediante el uso de probadores de teoremos del tipo SMT ... -
Técnicas de optimización para el proceso de grounding en planning clásico
(2020-05)La planificación automática, o simplemente Planning es una de las áreas más antiguas y centrales dentro de la Inteligencia Artificial. En ella, se estudia la generación automática de acciones por parte de agentes inteligentes ...