Sciweavers

1897 search results - page 67 / 380
» Conditional Linear Planning
Sort
View
AUTOMATICA
2005
91views more  AUTOMATICA 2005»
14 years 10 months ago
Stabilization of a class of nonlinear systems by adaptive output feedback
In recent years, several results have been proposed on global stabilization of a class of nonlinear systems that are dominated by a triangular system satisfying the linear growth ...
Ho-Lim Choi, Jong-Tae Lim
CIDR
2009
152views Algorithms» more  CIDR 2009»
14 years 11 months ago
Visualizing the robustness of query execution
In database query processing, actual run-time conditions (e.g., actual selectivities and actual available memory) very often differ from compile-time expectations of run-time cond...
Goetz Graefe, Harumi A. Kuno, Janet L. Wiener
ENTCS
2006
112views more  ENTCS 2006»
14 years 10 months ago
Model Checking Linear Programs with Arrays
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
Alessandro Armando, Massimo Benerecetti, Jacopo Ma...
AAAI
2006
14 years 11 months ago
Compact, Convex Upper Bound Iteration for Approximate POMDP Planning
Partially observable Markov decision processes (POMDPs) are an intuitive and general way to model sequential decision making problems under uncertainty. Unfortunately, even approx...
Tao Wang, Pascal Poupart, Michael H. Bowling, Dale...
NIPS
2001
14 years 11 months ago
Multiagent Planning with Factored MDPs
We present a principled and efficient planning algorithm for cooperative multiagent dynamic systems. A striking feature of our method is that the coordination and communication be...
Carlos Guestrin, Daphne Koller, Ronald Parr