Sciweavers

5592 search results - page 914 / 1119
» On Random Betweenness Constraints
Sort
View
CVPR
1997
IEEE
15 years 10 months ago
A Stratified Approach to Metric Self-Calibration
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...
Marc Pollefeys, Luc J. Van Gool
CAIP
1995
Springer
252views Image Analysis» more  CAIP 1995»
15 years 10 months ago
3D Surface Reconstruction Using Occluding Contours
This paper addresses the problem of 3D surface reconstruction using image sequences. It has been shown that shape recovery from three or more occluding contours of the surface is p...
Edmond Boyer, Marie-Odile Berger
DAC
1995
ACM
15 years 10 months ago
Synthesis of Software Programs for Embedded Control Applications
— Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient i...
Massimiliano Chiodo, Paolo Giusto, Attila Jurecska...
ICLP
1995
Springer
15 years 10 months ago
A Method for Implementing Equational Theories as Logic Programs
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
Mantis H. M. Cheng, Douglas Stott Parker Jr., Maar...
SIGGRAPH
1991
ACM
15 years 10 months ago
Deformable curve and surface finite-elements for free-form shape design
The finite element method is applied to generate primitives that build continuous deformable shapes designed to support a new free-form modeling paradigm. The primitives autonomou...
George Celniker, Dave Gossard