Sciweavers

380 search results - page 70 / 76
» Automated Feature Registration for Robust Tracking Methods
Sort
View
ICCV
2007
IEEE
15 years 11 months ago
Illumination and Affine- Invariant Point Matching using an Ordinal Approach
We present an approach for illumination and affineinvariant point matching using ordinal features. Ordinal measures for matching only consider the order between pixels and not the...
Raj Gupta, Anurag Mittal
DAC
1998
ACM
15 years 10 months ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
CSL
2008
Springer
14 years 11 months ago
Type-Based Termination with Sized Products
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...
Gilles Barthe, Benjamin Grégoire, Colin Rib...
75
Voted
IEAAIE
2010
Springer
14 years 7 months ago
Relief Patterned-Tile Classification for Automatic Tessella Assembly
This paper presents the detection and classification part of an industrial machine for automated assembly of decorative tessellae over patterned tiles that have significant reliefs...
José Miguel Sanchiz Martí, Jorge Bad...
ECCV
2002
Springer
15 years 11 months ago
Nonlinear Shape Statistics in Mumford-Shah Based Segmentation
We present a variational integration of nonlinear shape statistics into a Mumford?Shah based segmentation process. The nonlinear statistics are derived from a set of training silho...
Christoph Schnörr, Daniel Cremers, Timo Kohlb...