5599 search results - page 885 / 1120 » Abstract State Services |
149
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
160
click to vote
AI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Current point-based planning algorithms for solving partially observable Markov decision processes (POMDPs) have demonstrated that a good approximation of the value funct...
151
click to vote
ALGOSENSORS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We consider the self-deployment problem in a ring for a network of identical sensors: starting from some initial random placement in the ring, the sensors in the network ...
142
click to vote
ARGMAS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Modeling different types of dialog between autonomous agents is becoming an important research issue. Several proposals exist with a clear definition of the dialog protoc...
254
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
Factored representations, model-based learning, and hierarchies are well-studied techniques for improving the learning efficiency of reinforcement-learning algorithms in large-sca...