15614 search results - page 47 / 3123 » The State of State |
ICFEM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
IJCAI
2007
13 years 10 months ago
2007
To enhance effectiveness in real world applications, autonomous agents have to develop cognitive competencies and anticipatory capabilities. Here we point out their strong liaison...
APN
2000
Springer
14 years 11 days ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
IJCAI
1993
13 years 10 months ago
1993
This paper introduces GSSS (Genetic State-Space Search). The integration of two general search paradigms — genetic search and state-space-search provides a general framework whi...
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
In the past, several attempts have been made to deal with the state space explosion problem by equipping a depth-first search (DFS) algorithm with a state cache, or by avoiding co...