15614 search results - page 58 / 3123 » The State of State |
GLVLSI
2005
IEEE
14 years 2 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
IAT
2005
IEEE
14 years 2 months ago
2005
IEEE
Partially observable Markov decision process (POMDP) is commonly used to model a stochastic environment with unobservable states for supporting optimal decision making. Computing ...
SIAMCO
2010
13 years 3 months ago
2010
We consider a target problem for a nonlinear system under state constraints. We give a new continuous level-set approach for characterizing the optimal times and the backward-reach...
IWQOS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper describes, briefly, ongoing research on resource reservation state management, including research motivations and initial design.
ROBOCUP
2007
Springer
14 years 2 months ago
2007
Springer
The existing reinforcement learning approaches have been suffering from the curse of dimension problem when they are applied to multiagent dynamic environments. One of the typical...