Sciweavers

3918 search results - page 24 / 784
» Probabilistic model of triangulation
Sort
View
174
Voted
LICS
2003
IEEE
15 years 5 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
107
Voted
DAC
1998
ACM
16 years 1 months ago
Hierarchical Algorithms for Assessing Probabilistic Constraints on System Performance
We propose an algorithm for assessing probabilistic performance constraints for systems including components with uncertain delays. We make a case for designing systems based on a...
Gustavo de Veciana, Margarida F. Jacome, J.-H. Guo
129
Voted
ECAI
2010
Springer
15 years 1 months ago
Context-Specific Independence in Directed Relational Probabilistic Models and its Influence on the Efficiency of Gibbs Sampling
Abstract. There is currently a large interest in relational probabilistic models. While the concept of context-specific independence (CSI) has been well-studied for models such as ...
Daan Fierens
DATE
2010
IEEE
139views Hardware» more  DATE 2010»
14 years 9 months ago
A general mathematical model of probabilistic ripple-carry adders
Probabilistic CMOS is considered a promising technology for future generations of computing devices. By embracing possibly incorrect calculations, the technology makes it possible ...
Mark S. K. Lau, Keck Voon Ling, Yun-Chung Chu, Aru...
74
Voted
ICPR
2002
IEEE
16 years 1 months ago
A Probabilistic Model for Camera Zoom Detection
Camera motion detection is essential for automated video analysis. We propose a new probabilistic model for detecting zoom-in/zoom-out operations. The model uses EM to estimate th...
Rong Jin, Yanjun Qi, Alexander G. Hauptmann