146 search results - page 13 / 30 » New Techniques for Regular Expression Searching |
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
Although an all-in-focus image can be generated by mosaicking all the best focused regions of a sequence of acquired images taken under different focal settings, an even betterres...
ASPLOS
2010
ACM
13 years 6 months ago
2010
ACM
Semantic indexing is a popular technique used to access and organize large amounts of unstructured text data. We describe an optimized implementation of semantic indexing and docu...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
Pattern matching over event streams is increasingly being employed in many areas including financial services, RFIDbased inventory management, click stream analysis, and electroni...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
PLILP
1997
Springer
13 years 11 months ago
1997
Springer
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space...