Sciweavers

ECBS
2009
IEEE
113views Hardware» more  ECBS 2009»
14 years 4 months ago
Modeling and Analysis of Probabilistic Timed Systems
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Te...
CVPR
2009
IEEE
15 years 4 months ago
A Multi-View Probabilistic Model for 3D Object Classes
We propose a novel probabilistic framework for learning visual models of 3D object categories by combining appearance information and geometric constraints. Objects are represen...
Fei-Fei Li 0002, Hao Su, Min Sun, Silvio Savarese