Sciweavers

1776 search results - page 133 / 356
» Uncertain Linear Constraints
Sort
View
CVPR
2001
IEEE
16 years 7 months ago
Tracking and Modeling Non-Rigid Objects with Rank Constraints
This paper presents a novel solution for flow-based tracking and 3D reconstruction of deforming objects in monocular image sequences. A non-rigid 3D object undergoing rotation and...
Lorenzo Torresani, Danny B. Yang, Eugene J. Alexan...
CVPR
2008
IEEE
16 years 7 months ago
Image decomposition into structure and texture subcomponents with multifrequency modulation constraints
Texture information in images is coupled with geometric macrostructures and piecewise-smooth intensity variations. Decomposing an image f into a geometric structure component u an...
Georgios Evangelopoulos, Petros Maragos
ICCV
2003
IEEE
16 years 6 months ago
Landmark-based Shape Deformation with Topology-Preserving Constraints
This paper presents a novel approach for landmarkbased shape deformation, in which fitting error and shape difference are formulated into a support vector machine (SVM) regression...
Song Wang, Jim Xiuquan Ji, Zhi-Pei Liang
181
Voted
CDB
2004
Springer
172views Database» more  CDB 2004»
15 years 10 months ago
Constraint Database Solutions to the Genome Map Assembly Problem
Abstract. Long DNA sequences have to be cut using restriction enzymes into small fragments whose lengths and/or nucleotide sequences can be analyzed by currently available technolo...
Viswanathan Ramanathan, Peter Z. Revesz
192
Voted
TACAS
2000
Springer
151views Algorithms» more  TACAS 2000»
15 years 8 months ago
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
Ramesh Bharadwaj, Steve Sims