1361 search results - page 213 / 273 » Homing in scale space |
162
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
180
click to vote
CVPR
1997
IEEE
15 years 9 months ago
1997
IEEE
Camera calibration is essential to many computer vision applications. In practice this often requires cumbersome calibration procedures to be carried out regularly. In the last fe...
165
click to vote
ICCV
1995
IEEE
15 years 9 months ago
1995
IEEE
A general-purpose object indexingtechnique is described that combines the virtues of principal component analysis with the favorable matching properties of high-dimensional spaces...
168
click to vote
AAAI
2008
15 years 8 months ago
2008
Previous studies have demonstrated that encoding a Bayesian network into a SAT-CNF formula and then performing weighted model counting using a backtracking search algorithm can be...
166
click to vote
AAAI
2008
15 years 8 months ago
2008
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....