1943 search results - page 231 / 389 » Ordering Default Theories |
159
click to vote
ADC
2004
Springer
16 years 14 days ago
2004
Springer
Reflective Relational Machines were introduced by S. Abiteboul, C. Papadimitriou and V. Vianu in 1994, as variations of Turing machines which are suitable for the computation of ...
187
click to vote
AMAI
2004
Springer
16 years 14 days ago
2004
Springer
We study three new techniques which will speed up the branch-and-bound algorithm for the MAX-2-SAT problem: The first technique is a new lower bound function for the algorithm an...
189
click to vote
ICAIL
2003
ACM
16 years 9 days ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
186
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
207
click to vote
EPS
1998
Springer
15 years 11 months ago
1998
Springer
The Classical Iterated Prisoner's Dilemma (CIPD) is used to study the evolution of cooperation. We show, with a genetic approach, how basic ideas could be used in order to gen...