Sciweavers

1862 search results - page 70 / 373
» Constrained pattern matching
Sort
View
IPMI
1999
Springer
16 years 1 months ago
Consistent Linear-Elastic Transformations for Image Matching
Abstract. A fundamental problem with a large class of image registration techniques is that the estimated transformation from image A to B does not equal the inverse of the estimat...
Gary E. Christensen
82
Voted
LPAR
2005
Springer
15 years 6 months ago
Matching with Regular Constraints
We describe a sound, terminating, and complete matching algorithm for terms built over flexible arity function symbols and context, function, sequence, and individual variables. C...
Temur Kutsia, Mircea Marin
93
Voted
FPL
2005
Springer
113views Hardware» more  FPL 2005»
15 years 6 months ago
A Reconfigurable Perfect-Hashing Scheme for Packet Inspection
In this paper, we consider scanning and analyzing packets in order to detect hazardous contents using pattern matching. We introduce a hardware perfect-hashing technique to access...
Ioannis Sourdis, Dionisios N. Pnevmatikatos, Steph...
120
Voted
SEKE
2010
Springer
14 years 10 months ago
Specification patterns can be formal and still easy
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
Fernando Asteasuain, Víctor A. Braberman
76
Voted
ICPR
2008
IEEE
15 years 7 months ago
Shape-based matching of heart sounds
In this paper, we present an approach to matching heart sounds based on modeling the morphological variations of audio envelopes through a constrained nonrigid translation transfo...
Tanveer Fathima Syeda-Mahmood, Fei Wang