4447 search results - page 770 / 890 » Model Checking Games |
166
click to vote
INFOCOM
2005
IEEE
16 years 8 hour ago
2005
IEEE
— One of the critical challenges facing the networking industry today is to increase the profitability of Internet services. One well-known method in economics for increasing th...
163
click to vote
ISM
2005
IEEE
16 years 3 hour ago
2005
IEEE
Hazard detection and prevention of natural and manmade disasters at critical civil infrastructure is becoming increasingly important. Recent events, such as earthquakes and terror...
164
click to vote
MM
2005
ACM
15 years 12 months ago
2005
ACM
In this demonstration, a prototype system for generating 3D cartoon from broadcast soccer video is proposed. This system takes advantage of computer vision (CV) and computer graph...
167
click to vote
APN
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we prop...
169
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
We present a game-theoretic model of the interactions between server and clients in a constrained family of commercial P2P computations (where clients are financially compensated...