Sciweavers

37 search results - page 4 / 8
» Boundary Labeling: Models and Efficient Algorithms for Recta...
Sort
View
DGCI
2000
Springer
14 years 1 months ago
Deformable Modeling for Characterizing Biomedical Shape Changes
Abstract. We present a new algorithm for modeling and characterizing shape changes in 3D image sequences of biomedical structures. Our algorithm tracks the shape changes of the obj...
Matthieu Ferrant, Benoit M. Macq, Arya Nabavi, Sim...
ASPDAC
2007
ACM
158views Hardware» more  ASPDAC 2007»
14 years 21 days ago
Symbolic Model Checking of Analog/Mixed-Signal Circuits
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
David Walter, Scott Little, Nicholas Seegmiller, C...
CVPR
2006
IEEE
14 years 10 months ago
Robust Tracking and Stereo Matching under Variable Illumination
Illumination inconsistencies cause serious problems for classical computer vision applications such as tracking and stereo matching. We present a new approach to model illuminatio...
Jingdan Zhang, Leonard McMillan, Jingyi Yu
ICIAP
1999
ACM
14 years 29 days ago
Bayesian Graph Edit Distance
ÐThis paper describes a novel framework for comparing and matching corrupted relational graphs. The paper develops the idea of edit-distance originally introduced for graph-matchi...
Richard Myers, Richard C. Wilson, Edwin R. Hancock
CVPR
2008
IEEE
14 years 10 months ago
Auto-context and its application to high-level vision tasks
The notion of using context information for solving highlevel vision problems has been increasingly realized in the field. However, how to learn an effective and efficient context...
Zhuowen Tu