Sciweavers

1167 search results - page 45 / 234
» Substitution-closed pattern classes
Sort
View
APLAS
2007
ACM
14 years 14 days ago
Translation Correctness for First-Order Object-Oriented Pattern Matching
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
Burak Emir, Qin Ma 0002, Martin Odersky
ICCAD
1991
IEEE
135views Hardware» more  ICCAD 1991»
13 years 12 months ago
DIATEST: A Fast Diagnostic Test Pattern Generator for Combinational Circuits
This paper presents an efficient algorithm for the generation of diagnostic test patterns which distinguish between two arbitrary single stuck-at faults. The algorithm is able to ...
Torsten Grüning, Udo Mahlstedt, Hartmut Koopm...
WICSA
2001
13 years 9 months ago
Annotating Reusable Software Architectures with Specialization Patterns
An application framework is a collection of classes implementing the shared architecture of a family of applications. It is shown how the specialization interface ("hot spots...
Markku Hakala, Juha Hautamäki, Kai Koskimies,...
KDD
2012
ACM
187views Data Mining» more  KDD 2012»
11 years 11 months ago
Sampling minimal frequent boolean (DNF) patterns
We tackle the challenging problem of mining the simplest Boolean patterns from categorical datasets. Instead of complete enumeration, which is typically infeasible for this class ...
Geng Li, Mohammed J. Zaki
SSPR
2004
Springer
14 years 1 months ago
Kernel Methods for Exploratory Pattern Analysis: A Demonstration on Text Data
Kernel Methods are a class of algorithms for pattern analysis with a number of convenient features. They can deal in a uniform way with a multitude of data types and can be used to...
Tijl De Bie, Nello Cristianini