12015 search results - page 112 / 2403 » Interactive Algorithms 2005 |
BIOINFORMATICS
2005
13 years 8 months ago
2005
BIOINFORMATICS
2005
13 years 8 months ago
2005
POPL
2005
ACM
14 years 9 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
DSRT
2005
IEEE
14 years 2 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— We present a simple randomized POMDP algorithm for planning with continuous actions in partially observable environments. Our algorithm operates on a set of reachable b...