Sciweavers

4973 search results - page 310 / 995
» Probabilistic Algorithms in Robotics
Sort
View
FASE
2011
Springer
14 years 10 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker
GECCO
2007
Springer
201views Optimization» more  GECCO 2007»
16 years 23 days ago
A parallel framework for loopy belief propagation
There are many innovative proposals introduced in the literature under the evolutionary computation field, from which estimation of distribution algorithms (EDAs) is one of them....
Alexander Mendiburu, Roberto Santana, Jose Antonio...
COCO
2005
Springer
123views Algorithms» more  COCO 2005»
16 years 4 days ago
If NP Languages are Hard on the Worst-Case Then It is Easy to Find Their Hard Instances
We prove that if NP ⊆ BPP, i.e., if SAT is worst-case hard, then for every probabilistic polynomial-time algorithm trying to decide SAT, there exists some polynomially samplable ...
Dan Gutfreund, Ronen Shaltiel, Amnon Ta-Shma
CVPR
2009
IEEE
17 years 1 months ago
A Multi-View Probabilistic Model for 3D Object Classes
We propose a novel probabilistic framework for learning visual models of 3D object categories by combining appearance information and geometric constraints. Objects are represen...
Fei-Fei Li 0002, Hao Su, Min Sun, Silvio Savarese
CVPR
2003
IEEE
16 years 8 months ago
Probabilistic Spatial Context Models for Scene Content Understanding
Scene content understanding facilitates a large number of applications, ranging from content-based image retrieval to other multimedia applications. Material detection refers to t...
Amit Singhal, Jiebo Luo, Weiyu Zhu