13383 search results - page 2429 / 2677 » Abstractions from proofs |
99
Voted
ERCIMDL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Digital Library support for textual and certain types of nontextual documents has significantly advanced over the last years. While Digital Library support implies many a...
134
Voted
GLOBECOM
2008
IEEE
15 years 29 days ago
2008
IEEE
Abstract--Current implementations of BitTorrent-like P2P applications ignore the underlying Internet topology hence incur a large amount of traffic both inside an Internet Service ...
137
click to vote
AAMAS
2010
Springer
15 years 29 days ago
2010
Springer
Abstract The advent of large-scale distributed systems poses unique engineering challenges. In open systems such as the internet it is not possible to prescribe the behaviour of al...
95
Voted
AAMAS
2010
Springer
15 years 29 days ago
2010
Springer
Abstract In this paper we address the problem of simultaneous learning and coordination in multiagent Markov decision problems (MMDPs) with infinite state-spaces. We separate this ...
93
Voted
ADT
2008
15 years 29 days ago
2008
The clear trend toward the integration of current and emerging applications and services in the Internet launches new demands on service deployment and management. Distributed serv...