400 search results - page 38 / 80 » Moving Proofs-As-Programs into Practice |
JCDL
2005
ACM
14 years 1 months ago
2005
ACM
The Digital Anthropology Resources for Teaching (DART) project integrates the content acquisition and cataloging initiatives of a federated digital repository with the development...
NETGAMES
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, we propose a new distributed event delivery method for MMORPG (Massively Multiplayer Online Role Playing Games). In our method, the whole game space is divided into...
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
In the majority of existing work in music information retrieval (MIR) the user interacts with the system using standard desktop components such as the keyboard, mouse or sometimes...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Distributed mobile applications operate on devices with diverse capabilities, in heterogeneous environments, where parameters such as processor, memory and network utilisation, are...
WLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Combinatorial Auctions are an attractive application of intelligent agents; their applications are countless and are shown to provide good revenues. On the other hand, on...