16 search results - page 1 / 4 » Practical Conflict Resolution for the Composition of Program... |
SOCO
2008
Springer
13 years 9 months ago
2008
Springer
SAC
2008
ACM
13 years 10 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...
ACG
2009
Springer
14 years 3 months ago
2009
Springer
Endgame heuristics are often incorperated as part of the evaluation function used in Chinese chess programs. In our program, Contemplation, we have proposed an automatic strategy t...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven l...
GLOBECOM
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract--The batch resolution problem consists in arbitrating the channel access of a group of nodes in a wireless network in order to collect a single packet from each node in th...