Sciweavers

3918 search results - page 24 / 784
» Probabilistic model of triangulation
Sort
View
LICS
2003
IEEE
15 years 3 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
DAC
1998
ACM
15 years 11 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
ECAI
2010
Springer
14 years 11 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 7 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...
ICPR
2002
IEEE
15 years 11 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