Sciweavers

2312 search results - page 140 / 463
» Invariance in Property Testing
Sort
View
154
Voted
ICIP
1998
IEEE
15 years 8 months ago
Segmentation as a Riemannian Drum Problem
1 In this paper, the segmentation problem is formulated as a problem of segmenting a Riemannian manifold. The image domain is endowed with an anisotropic metric and its segmentatio...
Jayant Shah
FMICS
2010
Springer
15 years 4 months ago
Range Analysis of Microcontroller Code Using Bit-Level Congruences
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
Jörg Brauer, Andy King, Stefan Kowalewski
SMA
2010
ACM
195views Solid Modeling» more  SMA 2010»
15 years 4 months ago
Piecewise 3D Euler spirals
3D Euler spirals are visually pleasing, due to their property of having their curvature and their torsion change linearly with arc-length. This paper presents a novel algorithm fo...
David Ben-Haim, Gur Harary, Ayellet Tal
JSYML
2006
85views more  JSYML 2006»
15 years 4 months ago
On PAC and bounded substructures of a stable structure
We introduce and study the notions of a PAC substructure of a stable structure, and a bounded substructure of an arbitrary substructure, generalizing [8]. We give precise definiti...
Anand Pillay, Dominika Polkowska
ECCV
2010
Springer
15 years 9 months ago
The Quadratic-Chi Histogram Distance Family
We present a new histogram distance family, the Quadratic-Chi (QC). QC members are Quadratic-Form distances with a cross-bin χ2 -like normalization. The cross-bin χ2 -like normal...