1792 search results - page 68 / 359 » What Are We Arguing About |
ISORC
2005
IEEE
14 years 3 months ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
KR
1998
Springer
14 years 2 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
AAAI
2007
14 years 12 days ago
2007
What reasoning patterns do agents use to choose their actions in games? This paper studies this question in the context of Multi-Agent Influence Diagrams (MAIDs). It defines sev...
BCSHCI
2007
13 years 11 months ago
2007
When designing purely physical products we do not necessarily have to understand what it is about their physicality that makes them work - they simply have it. However, as we desi...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
We give a new insight into the upper bounding of the 3-SAT threshold by the first moment method. The best criteria developed so far to select the solutions to be counted discrimina...