242 search results - page 22 / 49 » A SAT-Based Algorithm for Context Matching |
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
ICASSP
2007
IEEE
14 years 1 months ago
2007
IEEE
The efficiency of most pitch estimation methods declines when the analyzed frame is shortened and/or when a wide fundamental frequency (F0) range is targeted. The technique propo...
ISWC
1999
IEEE
13 years 11 months ago
1999
IEEE
Context awareness is an important functionality for wearable computers. In particular, the computer should know where the person is in the environment. This paper proposes an imag...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
Improving coding and spatial pooling for bag-of-words based feature design have gained a lot of attention in recent works addressing object recognition and scene classification. ...
COCOON
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we have presented new algorithms to handle the pattern matching problem where the pattern can contain variable length gaps. Given a pattern P with variable length gap...