648 search results - page 51 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
121
click to vote
AAAI
1990
15 years 2 months ago
1990
Programs such as Bacon, Abacus, Coper, Kepler and others are designed to find functional relationships of scientific significance in numerical data without relying on the deep dom...
162
click to vote
PLDI
2004
ACM
15 years 6 months ago
2004
ACM
With billion-transistor chips on the horizon, single-chip multiprocessors (CMPs) are likely to become commodity components. Speculative CMPs use hardware to enforce dependence, al...
135
click to vote
PAAMS
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we present a novel algorithm, named GBAP, that jointly uses automatic programming with ant colony optimization for mining classification rules. GBAP is based on a con...
IJCAI
2007
15 years 2 months ago
2007
Decentralized decision making under uncertainty has been shown to be intractable when each agent has different partial information about the domain. Thus, improving the applicabil...
108
click to vote
ENTCS
2006
15 years 1 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...