Results 51 to 60 of about 851 (62)

Nuevas metodologías para la asignación de tareas y formación de coaliciones en sistemas multi-robot [PDF]

open access: yes
Este trabajo analiza la idoneidad de dos de los principales métodos de asignación de tareas en entornos con restricciones temporales. Se pondrá de manifiesto que ambos tipos de mecanismos presentan carencias para tratar tareas con deadlines ...
Departament de Ciències Matemàtiques i Informàtica   +1 more
core  

Lógica Temporal y Autómatas Finitos [PDF]

open access: yes, 2015
Sócola Ramos, Martín Alexis
core  
Some of the next articles are maybe not open access.

Related searches:

Algoritmo de conversión de una gramática libre de contexto a un autómata de pila

XIKUA Boletín Científico de la Escuela Superior de Tlahuelilpan
Las Gramáticas Libres de Contexto (GLC) son fundamentales en la teoría de la computación tienen diversas aplicaciones en esta área, tales como: Análisis de lenguajes formales, desarrollo de Compiladores e Intérpretes, Procesamiento de Lenguaje Natural ...
Ofelia Gutiérrez Giraldi   +3 more
semanticscholar   +1 more source

Active Learning of Symbolic Automata Over Rational Numbers

arXiv.org
El aprendizaje de autómatas tiene muchas aplicaciones en inteligencia artificial e ingeniería de software. Un aporte clave para estas aplicaciones es el algoritmo L⇤, introducido por (Angluin, 1987). El algoritmo L⇤ aprende autómatas deterministas (DFAs,
Sebastian Hagedorn   +3 more
semanticscholar   +1 more source

Desarrollo de un sistema automatizado basado en autómatas finitos para la limpieza y gestión de datos generados por paneles solares en bases de datos NoSQL

ELEMENTOS
La expansión del uso de paneles solares ha generado grandes volúmenes de datos provenientes de sensores que registran variables como producción de energía, temperatura e irradiancia.
José Daniel Arenas Betancur   +2 more
semanticscholar   +1 more source

An algorithmic framework for disambiguation of finite automata


En esta tesis, estudiamos la tarea de desambiguación de autómatas finitos, es decir, convertir un autómata en otro equivalente y no ambiguo. Para ello, desarrollamos un nuevo marco algorítmico que generaliza la determinizacion basada en construcción de ...
Mauricio Cari
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy