Sciweavers

1963 search results - page 105 / 393
» Function Materialization in Object Bases
Sort
View
FP
1992
135views Formal Methods» more  FP 1992»
15 years 7 months ago
High Level Specification of I/O in Functional Languages
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
Peter Achten, John H. G. van Groningen, Marinus J....
ECCV
2004
Springer
15 years 8 months ago
Statistical Learning of Evaluation Function for ASM/AAM Image Alignment
Alignment between the input and target objects has great impact on the performance of image analysis and recognition system, such as those for medical image and face recognition. A...
Xiangsheng Huang, Stan Z. Li, Yangsheng Wang
CHARME
2005
Springer
94views Hardware» more  CHARME 2005»
15 years 8 months ago
Verifying Quantitative Properties Using Bound Functions
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas...
ACCV
2006
Springer
15 years 9 months ago
A Multiphase Level Set Based Segmentation Framework with Pose Invariant Shape Priors
Level set based segmentation has been used with and without shape priors, to approach difficult segmentation problems in several application areas. This paper addresses two limita...
Michael Fussenegger, Rachid Deriche, Axel Pinz
CVPR
2008
IEEE
16 years 5 months ago
Dense 3D reconstruction from specularity consistency
In this work, we consider the dense reconstruction of specular objects. We propose the use of a specularity constraint, based on surface normal/depth consistency, to define a matc...
Diego Nehab, Tim Weyrich, Szymon Rusinkiewicz