Sciweavers

4499 search results - page 471 / 900
» Hyper-selection in dynamic environments
Sort
View
ICALP
1997
Springer
15 years 10 months ago
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
Olaf Burkart, Bernhard Steffen
AAAI
2007
15 years 9 months ago
Action-Space Partitioning for Planning
For autonomous artificial decision-makers to solve realistic tasks, they need to deal with searching through large state and action spaces under time pressure. We study the probl...
Natalia Hernandez-Gardiol, Leslie Pack Kaelbling
FLAIRS
2007
15 years 9 months ago
Using Plans to Automate Software Applications
Many software applications consist of a number of interdependent steps and are executed under the supervision of a human administrator or operator. The administrator responds to e...
Jon R. Wright
ATAL
2008
Springer
15 years 9 months ago
An adaptive agent model for self-organizing MAS
Self-organizing multi-agent systems (MAS) use different mechanisms to mimic the adaptation exhibited by complex systems situated in unpredictable and dynamic environments. These m...
Candelaria Sansores, Juan Pavón
EKAW
2008
Springer
15 years 8 months ago
A Generic Ontology for Collaborative Ontology-Development Workflows
As knowledge engineering moves to the Semantic Web, ontologies become dynamic products of collaborative development rather than artifacts produced in a closed environment of a sing...
Abraham Sebastian, Natalya Fridman Noy, Tania Tudo...