1527 search results - page 181 / 306 » What About Wednesday |
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
CIDR
2009
13 years 10 months ago
2009
In database query processing, actual run-time conditions (e.g., actual selectivities and actual available memory) very often differ from compile-time expectations of run-time cond...
HUC
2010
Springer
13 years 10 months ago
2010
Springer
Storytelling and sharing family histories are important parts of what it means to "be" a family. Based on results from a study on intergenerational communication over a ...
SIGCOMM
2010
ACM
13 years 9 months ago
2010
ACM
With constantly increasing costs of energy, we ask ourselves what we can say about the energy efficiency of existing VoIP systems. To answer that question, we gather information a...