1450 search results - page 144 / 290 » Juggling with Pattern Matching |
132
Voted
Publication
We present a novel and robust method for localizing and segmenting bilaterally symmetric patterns from real-world images. On the basis of symmetrically matched pairs of local featu...
93
Voted
PADL
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
68
Voted
ISAAC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Folding an n × n checkerboard pattern from a square of paper that is white on one side and black on the other has been thought for several years to require a paper squar...
57
Voted
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at ex...
130
Voted
AUTOID
2005
IEEE
15 years 6 months ago
2005
IEEE
In a biometrics scenario, gallery images are enrolled into the database ahead of the matching step, which gives us the opportunity to build related data structures before the prob...