539 search results - page 14 / 108 » Multiple Pattern Matching Algorithms on Collage System |
TPHOL
2003
IEEE
15 years 2 months ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
ISMIR
2004
Springer
15 years 2 months ago
2004
Springer
We propose an algorithm, MusicBLAST, for approximate pattern search/matching on symbolic musical data. MusicBLAST is based on the BLAST algorithm, one of the most commonly used al...
CSCLP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Graph pattern matching is a central application in many fields. In various areas, the structure of the pattern can only be approximated and exact matching is then too ac...
ICARIS
2003
Springer
15 years 2 months ago
2003
Springer
Supermarkets lose millions of pounds every year through lost trading and stock wastage caused by the failure of refrigerated cabinets. Therefore, a huge commercial market exists fo...
CLEF
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper describes a full data-driven system for question answering. The system uses pattern matching and statistical techniques to identify the relevant passages as we...