Sciweavers

3758 search results - page 399 / 752
» A Complete Subsumption Algorithm
Sort
View
AROBOTS
2008
104views more  AROBOTS 2008»
15 years 6 months ago
Modeling dynamic scenarios for local sensor-based motion planning
This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information with a sensor-based motion planning system. The contribution in th...
Luis Montesano, Javier Minguez, Luis Montano
AUTOMATICA
2007
111views more  AUTOMATICA 2007»
15 years 6 months ago
Output feedback variable structure control for linear systems with uncertainties and disturbances
This paper proposes a dynamic output feedback variable structure controller for linear MIMO systems with mismatched and matched normbounded uncertainties and matched nonlinear dis...
PooGyeon Park, Doo Jin Choi, Seong G. Kong
170
Voted
CORR
2010
Springer
106views Education» more  CORR 2010»
15 years 6 months ago
MDPs with Unawareness
Markov decision processes (MDPs) are widely used for modeling decision-making problems in robotics, automated control, and economics. Traditional MDPs assume that the decision mak...
Joseph Y. Halpern, Nan Rong, Ashutosh Saxena
173
Voted
CORR
2008
Springer
153views Education» more  CORR 2008»
15 years 6 months ago
Decomposition Techniques for Subgraph Matching
In the constraint programming framework, state-of-the-art static and dynamic decomposition techniques are hard to apply to problems with complete initial constraint graphs. For suc...
Stéphane Zampelli, Martin Mann, Yves Devill...
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 6 months ago
Metric Structures and Probabilistic Computation
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
Wesley Calvert