4573 search results - page 588 / 915 » Automated Reasoning |
225
click to vote
GPEM
2011
14 years 11 months ago
2011
In this paper we demonstrate how genetic algorithms can be used to reverse engineer an evaluation function’s parameters for computer chess. Our results show that using an appropr...
192
click to vote
DLOG
2011
14 years 8 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
232
click to vote
GIS
2011
ACM
14 years 8 months ago
2011
ACM
Data conflation is a major issue in GIS: different geospatial data sets covering overlapping regions, possibly obtained from different sources and using different acquisition ...
179
click to vote
ICLP
2011
Springer
14 years 8 months ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
196
click to vote
ICLP
2011
Springer
14 years 8 months ago
2011
Springer
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...