8486 search results - page 103 / 1698 » Ordered Enumeration Method |
130
Voted
WRLA
2010
15 years 29 days ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
145
Voted
FORTE
2009
15 years 11 days ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
127
Voted
JAR
2010
14 years 9 months ago
2010
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulas with equality. We first prove the existence of an ide...
162
click to vote
SAC
2011
ACM
14 years 5 months ago
2011
ACM
It is well known that the main objective of conceptual retrieval models is to go beyond simple term matching by relaxing term independence assumption through concept recognition. ...
103
click to vote
KDD
2010
ACM
15 years 6 months ago
2010
ACM
An ensemble is a set of learned models that make decisions collectively. Although an ensemble is usually more accurate than a single learner, existing ensemble methods often tend ...