Sciweavers

1048 search results - page 18 / 210
» Best Probabilistic Transformers
Sort
View
QEST
2007
IEEE
15 years 6 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
CIARP
2006
Springer
15 years 1 months ago
A Probabilistic Approach to Build 2D Line Based Maps from Laser Scans in Indoor Environments
In this work we consider a mobile robot with a laser range finder. Our goal is to find the best set of lines from the sequence of points given by a laser scan. We propose a probabi...
Leonardo Romero, Carlos Lara
AAAI
1990
15 years 26 days ago
Probabilistic Semantics for Cost Based Abduction
Cost-based abduction attempts to find the best explanation for a set of facts by finding a minimal cost proof for the facts. The costs are computed by summing the costs of the ass...
Eugene Charniak, Solomon Eyal Shimony
TIT
2008
103views more  TIT 2008»
14 years 11 months ago
Improved Probabilistic Bounds on Stopping Redundancy
For a linear code , the stopping redundancy of is defined as the minimum number of check nodes in a Tanner graph T for such that the size of the smallest stopping set in T is equal...
Junsheng Han, Paul H. Siegel, Alexander Vardy
ATAL
2006
Springer
15 years 3 months ago
Savings in Combinatorial Auctions Through Transformation Relationships
In a previous work we extended the notion of multi-unit combinatorial reverse auction (MUCRA) by adding a new dimension to the goods at auction. A buyer can express transformabilit...
Andrea Giovannucci, Jesús Cerquides, Juan A...