15614 search results - page 389 / 3123 » The State of State |
181
Voted
APN
2003
Springer
16 years 1 days ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
126
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
— Stochastic mapping is an approach to the concurrent mapping and localization (CML) problem. The approach is powerful because feature and robot states are explicitly correlated....
170
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
State space techniques have proven to be useful for measuring and improving the coverage of test vectors that are used during functional validation via simulation. By comparing th...
171
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
MDPs are an attractive formalization for planning, but realistic problems often have intractably large state spaces. When we only need a partial policy to get from a fixed start s...
175
click to vote
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
In factory automation, production line scheduling entails a number of competing issues. Finding optimal configurations often requires use of local search techniques. Local search l...