1884 search results - page 279 / 377 » Simple Algorithm for Simple Timed Games |
117
Voted
AAAI
2007
15 years 4 months 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...
99
Voted
AAAI
2008
15 years 4 months 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 ...
113
click to vote
NSDI
2008
15 years 4 months 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
15 years 3 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...
115
click to vote
AIPS
2004
15 years 3 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...