258 search results - page 41 / 52 » Weak Bisimulation Approximants |
CVPR
2000
IEEE
15 years 11 months ago
2000
IEEE
An algorithm is given for computing projective structure from a set of six points seen in a sequence of many images. The method is based on the notion of duality between cameras a...
101
Voted
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
The objective of this work is the detection of object classes, such as airplanes or horses. Instead of using a model based on salient image fragments, we show that object class det...
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
We introduce locally-rigid motion, a general framework for solving the M-point, N-view structure-from-motion problem for unknown bodies deforming under orthography. The key idea i...
99
Voted
SIGECOM
2009
ACM
15 years 4 months ago
2009
ACM
The monopolist’s theory of optimal single-item auctions for agents with independent private values can be summarized by two statements. The first is from Myerson [8]: the optim...
QEST
2008
IEEE
15 years 3 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...