314 search results - page 16 / 63 » Heuristics in Conflict Resolution |
ARGMAS
2007
Springer
15 years 1 months ago
2007
Springer
Argumentation can serve as an effective computational tool and as a useful abstraction for various agent activities and in particular for agent reasoning. In this paper we further ...
IJCAI
2001
14 years 11 months ago
2001
The ability to handle exceptions, to perform iterated belief revision and to integrate information from multiple sources are essential skills for an intelligent agent. These impor...
ICS
2009
Tsinghua U.
14 years 7 months ago
2009
Tsinghua U.
In the search for high performance, most transactional memory (TM) systems execute atomic blocks concurrently and must thus be prepared for data conflicts. The TM system must then...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
This paper describes the application of the WinWin paradigm to identify and resolve conflicts in a series of real-client, student-developer digital library projects. The paper is ...
84
Voted
DISOPT
2008
14 years 9 months ago
2008
The paper is concerned with the computational evaluation and comparison of a new family of conflict-based branching heuristics for evolved DPLL Satisfiability solvers. Such a fami...