Sciweavers

1180 search results - page 120 / 236
» A generic structure-from-motion framework
Sort
View
PPDP
2004
Springer
15 years 4 months ago
A lazy narrowing calculus for declarative constraint programming
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
Francisco Javier López-Fraguas, Mario Rodr&...
101
Voted
VMCAI
2004
Springer
15 years 4 months ago
Automatic Inference of Class Invariants
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
Francesco Logozzo
89
Voted
ICDAR
2003
IEEE
15 years 4 months ago
Engineering Drawings Recognition Using a Case-based Approach
In this paper, we propose a framework for engineering drawings recognition using a case-based approach. The key idea of our scheme is that, interactively, the user provides an exa...
Yan Luo, Liu Wenyin
3DPVT
2002
IEEE
184views Visualization» more  3DPVT 2002»
15 years 3 months ago
From 3D Shape Capture to Animated Models
This paper presents a framework for construction of animated models from captured surface shape of real objects. Algorithms are introduced to transform the captured surface shape ...
Adrian Hilton, Jonathan Starck, Gordon Collins
80
Voted
IEEEMSP
2002
IEEE
156views Multimedia» more  IEEEMSP 2002»
15 years 3 months ago
A robust and secure media signature scheme for JPEG images
—In [1, 2, 3], we have introduced a robust and secure digital signature solution for multimedia content authentication, by integrating content feature extraction, error correctio...
Qibin Sun, Qi Tian, Shih-Fu Chang