1445 search results - page 24 / 289 » Properties of state spaces and their applications |
143
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
172
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— Tactile information is valuable in determining properties of objects that are inaccessible from visual perception. In this work, we present a tactile perception strategy that a...
154
click to vote
ECSQARU
2003
Springer
15 years 11 months ago
2003
Springer
We introduce a set of transformations on the set of all probability distributions over a finite state space, and show that these transformations are the only ones that preserve c...
167
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
The sensor scheduling problem can be formulated as a controlled hidden Markov model and this paper solves the problem when the state, observation and action spaces are continuous....
135
click to vote
WIA
2004
Springer
15 years 11 months ago
2004
Springer
Finite automata determinization is a critical operation for numerous practical applications such as regular expression search. Algorithms have to deal with the possible blow up of ...