2324 search results - page 139 / 465 » A Fast Keyword-Spotting Technique |
194
click to vote
ICFP
2005
ACM
16 years 12 days ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
155
click to vote
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
We consider the problem of efficiently designing sets (codes) of equal-length DNA strings (words) that satisfy certain combinatorial constraints. This problem has numerous motivati...
187
click to vote
PKDD
2005
Springer
16 years 10 days ago
2005
Springer
We examine the problem of monitoring and identification of correlated burst patterns in multi-stream time series databases. Our methodology is comprised of two steps: a burst dete...
160
click to vote
CAV
2004
Springer
16 years 7 days ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
165
click to vote
CC
2004
Springer
16 years 7 days ago
2004
Springer
The Generalized LR (GLR) parsing algorithm is attractive for use in parsing programming languages because it is asymptotically efficient for typical grammars, and can parse with an...