3918 search results - page 84 / 784 » Probabilistic model of triangulation |
99
Voted
QEST
2009
IEEE
15 years 7 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
130
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
102
Voted
IUI
2009
ACM
15 years 9 months ago
2009
ACM
Adaptive software systems are intended to modify their appearance, performance or functionality to the needs and preferences of different users. A key bottleneck in building effec...
131
Voted
MMS
2006
15 years 17 days ago
2006
This paper addresses automatic image annotation problem and its application to multi-modal image retrieval. The contribution of our work is three-fold. (1) We propose a probabilis...
UAI
2004
15 years 2 months ago
2004
One of the major problems in modeling natural signals is that signals with very similar structure may locally have completely different measurements, e.g., images taken under diff...