8 search results - page 1 / 2 » Translation Correctness for First-Order Object-Oriented Patt... |
APLAS
2007
ACM
13 years 8 months ago
2007
ACM
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...
ANLP
1994
13 years 5 months ago
1994
The authors propose a model for analyzing English sentences including coordinate conjunctions such as "and","or","but" and the equivalent words. Synt...
CVPR
2001
IEEE
14 years 6 months ago
2001
IEEE
The Error Correcting Output Coding (ECOC) approach to classifier design decomposes a multi-class problem into a set of complementary two-class problems. We show how to apply the E...
AVBPA
2001
Springer
13 years 8 months ago
2001
Springer
We propose a novel approach to face identification and verification based on the Error Correcting Output Coding (ECOC) classifier design concept. In the training phase the client s...
IFIP
2004
Springer
13 years 10 months ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...