Sciweavers

13917 search results - page 225 / 2784
» Abstraction of Probabilistic Systems
Sort
View
QEST
2010
IEEE
15 years 5 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
VTC
2008
IEEE
110views Communications» more  VTC 2008»
16 years 1 months ago
Probabilistic Equalizer for Ultra-Wideband Energy Detection
— This study proposes an efficient way of interference mitigation for ultra-wideband energy detection. A receiver for pulse position modulation systems is investigated. The inter...
Sami Mekki, Jean-Luc Danger, Benoit Miscopein, Jea...
MLCW
2005
Springer
16 years 21 days ago
A Lexical Alignment Model for Probabilistic Textual Entailment
This paper describes the Bar-Ilan system participating in the Recognising Textual Entailment Challenge. The paper proposes first a general probabilistic setting that formalizes th...
Oren Glickman, Ido Dagan, Moshe Koppel
VLDB
2004
ACM
129views Database» more  VLDB 2004»
16 years 16 days ago
Probabilistic Ranking of Database Query Results
We investigate the problem of ranking answers to a database query when many tuples are returned. We adapt and apply principles of probabilistic models from Information Retrieval f...
Surajit Chaudhuri, Gautam Das, Vagelis Hristidis, ...
DAGM
2001
Springer
15 years 11 months ago
A Probabilistic Approach to Simultaneous Segmentation, Object Recognition, 3D Localization, and Tracking Using Stereo
Vision systems for service robotics applications have to cope with varying environmental conditions, partial occlusions, complex backgrounds and a large number of distractors (clut...
Georg von Wichert