Sciweavers

1855 search results - page 83 / 371
» Probabilistic Frame-Based Systems
Sort
View
TROB
2010
129views more  TROB 2010»
14 years 8 months ago
A Probabilistic Particle-Control Approximation of Chance-Constrained Stochastic Predictive Control
—Robotic systems need to be able to plan control actions that are robust to the inherent uncertainty in the real world. This uncertainty arises due to uncertain state estimation,...
Lars Blackmore, Masahiro Ono, Askar Bektassov, Bri...
75
Voted
BIRTHDAY
2009
Springer
15 years 4 months ago
Data Modeling in Dataspace Support Platforms
Data integration has been an important area of research for several years. However, such systems suffer from one of the main drawbacks of database systems: the need to invest signi...
Anish Das Sarma, Xin Luna Dong, Alon Y. Halevy
COCO
2009
Springer
113views Algorithms» more  COCO 2009»
15 years 4 months ago
Are PCPs Inherent in Efficient Arguments?
Starting with Kilian (STOC ‘92), several works have shown how to use probabilistically checkable proofs (PCPs) and cryptographic primitives such as collision-resistant hashing to...
Guy N. Rothblum, Salil P. Vadhan
ECCV
2008
Springer
15 years 11 months ago
A Probabilistic Cascade of Detectors for Individual Object Recognition
A probabilistic system for recognition of individual objects is presented. The objects to recognize are composed of constellations of features, and features from a same object shar...
Pierre Moreels, Pietro Perona
CAV
2006
Springer
132views Hardware» more  CAV 2006»
15 years 1 months ago
Symmetry Reduction for Probabilistic Model Checking
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
Marta Z. Kwiatkowska, Gethin Norman, David Parker