1862 search results - page 24 / 373 » Constrained pattern matching |
116
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
118
click to vote
ISMIR
2004
Springer
15 years 8 months ago
2004
Springer
We consider the music pattern matching problem—to find occurrences of a small fragment of music called the “pattern” in a larger body of music called the “score”—as a...
143
Voted
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Pattern matching is a widely used procedure in signal processing, computer vision, image and video processing. Recently, methods using Walsh Hadamard Transform (WHT) and Gray-Code...
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
We present a novel method for automatically geo-tagging photographs of man-made environments via detection and matching of repeated patterns. Highly repetitive environments introd...
131
click to vote
BALT
2010
14 years 10 months ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...