3918 search results - page 84 / 784 » Probabilistic model of triangulation |
QEST
2009
IEEE
15 years 5 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....
111
click to vote
VMCAI
2010
Springer
15 years 8 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...
90
Voted
IUI
2009
ACM
15 years 8 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...
115
click to vote
MMS
2006
14 years 11 months 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 13 days 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...