385 search results - page 47 / 77 » constraints 1999 |
TACAS
1999
Springer
15 years 2 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
NIPS
1997
14 years 12 months ago
1997
Our aim in this paper is to develop a Bayesian framework for matching hierarchical relational models. Such models are widespread in computer vision. The framework that we adopt fo...
IPMI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A fundamental problem with a large class of image registration techniques is that the estimated transformation from image A to B does not equal the inverse of the estimat...
ICCV
1999
IEEE
16 years 14 days ago
1999
IEEE
In this paper we consider the problem of recovering the 3D motion and shape of an arbitrarily-moving, arbitrarilyshaped curve from multiple synchronized video streams acquired fro...
108
click to vote
CVPR
1999
IEEE
16 years 17 days ago
1999
IEEE
Traditional plane alignment techniques are typically performed between pairs of frames. In this paper we present a method for extending existing two-frame planar-motion estimation...