1653 search results - page 206 / 331 » Computer science and game theory |
ICALP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
80
Voted
ICALP
2004
Springer
15 years 4 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
83
Voted
AAI
2005
14 years 10 months ago
2005
Virtual environments are now becoming a promising new technology to be used in the development of interactive learning environments for children. Perhaps triggered by the success ...
110
Voted
AI
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we describe a novel bidding strategy that autonomous trading agents can use to participate in Continuous Double Auctions (CDAs). Our strategy is based on both short...
115
Voted
OPODIS
2004
15 years 9 days ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...