3123 search results - page 122 / 625 » Focusing on pattern matching |
121
Voted
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
— The use of design patterns usually changes the approach of software design and makes software development relatively easy. This paper extends work on a forensic model for Logic...
127
Voted
GBRPR
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we explore how a spectral technique suggested by quantum walks can be used to distinguish non-isomorphic cospectral graphs. Reviewing ideas from the field of quantum...
102
Voted
TPHOL
2003
IEEE
15 years 8 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...
146
Voted
ENTCS
2008
15 years 3 months ago
2008
In this paper, we introduce a system, written in Haskell, for filtering information from XML data. Essentially, the system implements a simple declarative language which allows on...
132
Voted
ACISICIS
2009
IEEE
15 years 7 months ago
2009
IEEE
Temporal representation and reasoning plays an important role in Data Mining and Knowledge Discovery, particularly, in mining and recognizing patterns with rich temporal informati...