3602 search results - page 154 / 721 » Isn't It About Time |
AIML
2008
13 years 11 months ago
2008
We provide proof-theoretic results about deliberative STIT logic. First we present STIT logic for individual agents without time, where the problem of satisfiability has recently b...
DAGSTUHL
2007
13 years 11 months ago
2007
Installing and using AAL Smart Home-systems in the homes of older people not only offers a tremendous potential for increasing safety and quality of life but may also evoke relucta...
MASCOTS
2010
13 years 11 months ago
2010
Abstract--We present Barra, a simulator of Graphics Processing Units (GPU) tuned for general purpose processing (GPGPU). It is based on the UNISIM framework and it simulates the na...
ACID
2006
13 years 11 months ago
2006
In a congestion game, several players simultaneously aim at allocating sets of resources, e.g., each player aims at allocating a shortest path between a source/destination pair in ...
EACL
2006
ACL Anthology
13 years 11 months ago
2006
ACL Anthology
This paper describes a system that produces extractive summaries of short works of literary fiction. The ultimate purpose of produced summaries is defined as helping a reader to d...