Sciweavers

2025 search results - page 324 / 405
» Theory as Game: Designing the Game Game
Sort
View
AIM
2000
14 years 11 months ago
CMUNITED-98 Simulator Team
The CMUnited-98 simulator team became the 1998 RoboCup simulator league champion by winning all 8 of its games, outscoring opponents by a total of 66 0. CMUnited-98 builds upon the...
Peter Stone, Manuela M. Veloso, Patrick Riley
CCR
2000
94views more  CCR 2000»
14 years 11 months ago
An application developer's perspective on reliable multicast for distributed interactive media
In this paper we investigate which characteristics reliable multicast services should have in order to be appropriate for use by distributed interactive media applications such as...
Martin Mauve, Volker Hilt
FSTTCS
2010
Springer
14 years 9 months ago
ATL with Strategy Contexts: Expressiveness and Model Checking
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
Arnaud Da Costa Lopes, François Laroussinie...
IC
2010
14 years 9 months ago
Distributed Algorithms for the Placement of Network Services
Network services play an important role in the Internet today. They serve as data caches for websites, servers for multiplayer games and relay nodes for Voice over IP (VoIP) conver...
Todd Sproull, Roger Chamberlain
ECTEL
2009
Springer
14 years 9 months ago
Experience Structuring Factors Affecting Learning in Family Visits to Museums
Abstract. This paper describes the design and evaluation of an adaptive museum guide for families. In the Kurio system, a mixture of embedded and tangible technology imbues the mus...
Marek Hatala, Karen Tanenbaum, Ron Wakkary, Kevin ...