635 search results - page 5 / 127 » Four states are enough! |
ECBS
2006
IEEE
13 years 11 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
ICML
2008
IEEE
14 years 8 months ago
2008
IEEE
Exponential Family PSR (EFPSR) models capture stochastic dynamical systems by representing state as the parameters of an exponential family distribution over a shortterm window of...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper shows results on outdoor vision-based loop closing for Simultaneous Localization and Mapping. Our experiments show that for loops of over 50m, the pose estimates mai...
TVCG
2008
13 years 7 months ago
2008
A solid-state dynamic parallax barrier autostereoscopic display mitigates some of the restrictions present in static barrier systems such as fixed view-distance range, slow respons...