385 search results - page 16 / 77 » Qualitative Numeric Planning |
77
Voted
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— In this paper, the possibility and necessity of multistep trajectory planning in Extended Kalman Filter (EKF) based SLAM is investigated. The objective of the trajector...
69
Voted
AIPS
2006
14 years 11 months ago
2006
In AI Planning, as well as Verification, a successful method is to compile the application into boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based procedu...
MM
2003
ACM
15 years 2 months ago
2003
ACM
Abstract The goal of the proposed capacity planning tool is to provide the best cost/performance configuration for support of a known media service workload. There are two essenti...
79
Voted
AMAI
2000
Springer
15 years 2 months ago
2000
Springer
Several formalisms have been proposed for qualitative reasoning about regions and their topological relations in space. These formalisms, based on pairwise relations, do not allow...
IJCAI
2007
14 years 11 months ago
2007
Markov Decision Processes are a powerful framework for planning under uncertainty, but current algorithms have difficulties scaling to large problems. We present a novel probabil...