15614 search results - page 3 / 3123 » The State of State |
AIPS
2000
13 years 6 months ago
2000
In the last years, some very promising domain independent heuristic state-space planners for STRIPS worlds, like ASP/HSP, HSPr and GRT, have been presented. These planners achieve...
CORR
2011
Springer
12 years 8 months ago
2011
Springer
—A state-dependent relay channel is studied in which strictly causal channel state information is available at the relay and no state information is available at the source and d...
HIPC
2004
Springer
13 years 10 months ago
2004
Springer
This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
— We present a novel observer design for a class of single-output nonlinear systems with Markov jumps. The Markov jump process interferes with a deterministic nonlinear dynamics ...
ASM
2005
ASM
13 years 10 months ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...