385 search results - page 47 / 77 » constraints 1999 |
TACAS
1999
Springer
13 years 12 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
13 years 9 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
14 years 8 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
14 years 9 months 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...
CVPR
1999
IEEE
14 years 9 months 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...