1884 search results - page 279 / 377 » Simple Algorithm for Simple Timed Games |
AAAI
2007
15 years 17 days ago
2007
The importance of the efforts towards integrating the symbolic and connectionist paradigms of artificial intelligence has been widely recognised. Integration may lead to more e...
AAAI
2008
15 years 17 days ago
2008
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
85
Voted
NSDI
2008
15 years 17 days ago
2008
We present the design and evaluation of two forms of power management schemes that reduce the energy consumption of networks. The first is based on putting network components to s...
NETWORKING
2010
14 years 11 months ago
2010
This paper considers the problem of adapting the BitTorrent protocol for on-demand streaming. BitTorrent is a popular peer-to-peer file sharing protocol that efficiently accommodat...
AIPS
2004
14 years 11 months ago
2004
Cumulative scheduling is a generalization of jobshop scheduling, where machines have discrete capacities and activities may require several capacity units. This paper considers it...