564 search results - page 37 / 113 » The First Answer Set Programming System Competition |
100
click to vote
EUROPAR
2004
Springer
15 years 3 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
140
click to vote
KI
2011
Springer
14 years 4 months ago
2011
Springer
Abstract We present the General Game Playing system Centurio. Centurio is a Java-based player featuring different strategies based on Monte Carlo Tree Search extended by technique...
MOBIHOC
2010
ACM
14 years 7 months ago
2010
ACM
In cognitive radio networks (CRN), primary users can lease out their unused bandwidth to secondary users in return for a fee. We study price competition in a CRN with multiple pri...
DEXA
1994
Springer
15 years 1 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Boundary detection constitutes a crucial step in many computer vision tasks. We present a novel learning approach to automatically construct a boundary detector for natural images...