834 search results - page 83 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a probabilistic framework for computing correspondences and fundamental matrix in the structure from motion problem. Inspired by Moisan and Stival [1], we sugg...
101
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
ENTCS
2002
14 years 11 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
108
click to vote
CF
2010
ACM
15 years 5 months ago
2010
ACM
We develop two simple interval-based models for dynamic superscalar processors. These models allow us to: i) predict with great accuracy performance and power consumption under va...
103
click to vote
ICCV
2011
IEEE
13 years 12 months ago
2011
IEEE
We address the problem of reconstructing 3D face models from large unstructured photo collections, e.g., obtained by Google image search or from personal photo collections in iPho...