3446 search results - page 340 / 690 » A Reasoning Algorithm for pD* |
190
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...
199
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...
163
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Instead of traditional ways of creating road maps, an attractive alternative is to create a map based on GPS traces of regular drivers. One important aspect of this approach is to...
175
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Running in a highly uncertain and changing environment, Web systems cannot always provide full set of services with optimal quality, especially when the workload is high or failur...
177
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...