11168 search results - page 337 / 2234 » Abstract State Processes |
186
click to vote
AIPS
2009
15 years 8 months ago
2009
abstraction heuristics, notably pattern-database and merge-and-shrink heuristics, are employed by some state-ofthe-art optimal heuristic-search planners. The major limitation of t...
179
click to vote
TSD
2000
Springer
15 years 11 months ago
2000
Springer
stic and Automated Analysis of Texts Applied to a Scientific Abstract by Mark Sergot and Others . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
222
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
181
click to vote
FASE
2003
Springer
16 years 15 days ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
177
click to vote
ICRA
2002
IEEE
16 years 6 days ago
2002
IEEE
Numerous upcoming NASA misions need to land safely and precisely on planetary bodies. Accurate and robust state estimation during the descent phase is necessary. Towards this end,...