Sciweavers

1700 search results - page 124 / 340
» Combinatorial Pattern Matching
Sort
View
PERSUASIVE
2010
Springer
13 years 8 months ago
Behavior Wizard: A Method for Matching Target Behaviors with Solutions
We present a method for matching target behaviors with solutions for achieving those behaviors. Called the Behavior Wizard, this method first classifies behavior change targets int...
B. J. Fogg, Jason Hreha
GBRPR
2005
Springer
14 years 3 months ago
Towards Unitary Representations for Graph Matching
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...
David Emms, Simone Severini, Richard C. Wilson, Ed...
TPHOL
2003
IEEE
14 years 3 months ago
A Coverage Checking Algorithm for LF
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...
Carsten Schürmann, Frank Pfenning
ENTCS
2008
116views more  ENTCS 2008»
13 years 10 months ago
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents
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...
Michele Baggi, Demis Ballis
ACISICIS
2009
IEEE
14 years 1 months ago
Temporal Pattern Recognition in Video Clips Detection
Temporal representation and reasoning plays an important role in Data Mining and Knowledge Discovery, particularly, in mining and recognizing patterns with rich temporal informati...
Aihua Zheng, Jixin Ma, Bin Luo, Miltos Petridis, S...