748 search results - page 16 / 150 » Mechanism design for abstract argumentation |
JLP
2008
13 years 9 months ago
2008
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
CAS
2005
13 years 9 months ago
2005
In this paper we propose an intrinsic developmental algorithm that is designed to allow a mobile robot to incrementally progress through levels of increasingly sophisticated behav...
ECAL
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Recently, brain models attempt to support cognitive abilities of artificial organisms. Incremental approaches are often employed to support modelling process. The presen...
WWW
2002
ACM
14 years 10 months ago
2002
ACM
ing Application-Level Web Security David Scott Laboratory For Communications Engineering Engineering Department Trumpington Street Cambridge CB2 1PZ djs55@eng.cam.ac.uk Richard Sha...
APPROX
2009
Springer
14 years 4 months ago
2009
Springer
An important research thread in algorithmic game theory studies the design of efficient truthful mechanisms that approximate the optimal social welfare. A fundamental question is ...