Sciweavers

462 search results - page 69 / 93
» agents 2001
Sort
View
103
Voted
SCAI
2001
15 years 1 months ago
Using Simulated RoboCup to Teach AI in Undergraduate Education
In this paper we argue that RoboCup is a useful tool for the teaching of AI in undergraduate education. We provide case studies, from two Swedish universities, of how RoboCup based...
Fredrik Heintz, Johan Kummeneje, Paul Scerri
194
Voted
POPL
2001
ACM
16 years 13 days ago
Nomadic pict: correct communication infrastructure for mobile computation
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Asis Unyapoth, Peter Sewell
CIKM
2001
Springer
15 years 4 months ago
Managing Trust in a Peer-2-Peer Information System
Managing trust is a problem of particular importance in peer-to-peer environments where one frequently encounters unknown agents. Existing methods for trust management, that are b...
Karl Aberer, Zoran Despotovic
AAAI
2006
15 years 1 months ago
A Platform to Evaluate the Technology for Service Discovery in the Semantic Web
Since the description of the Semantic Web paradigm in 2001, technology has been proposed to allow its deployment and use. However, there is not yet any large and widely deployed s...
Cécile Aberg, Johan Aberg, Patrick Lambrix,...
IJCAI
2001
15 years 1 months ago
Achieving Budget-Balance with Vickrey-Based Payment Schemes in Exchanges
Generalized Vickrey mechanisms have received wide attention in the literature because they are efficient and strategyproof, i.e. truthful bidding is optimal whatever the bids of o...
David C. Parkes, Jayant Kalagnanam, Marta Eso