973 search results - page 95 / 195 » Arguing Using Opponent Models |
NIPS
2001
13 years 9 months ago
2001
Acetylcholine (ACh) has been implicated in a wide variety of tasks involving attentional processes and plasticity. Following extensive animal studies, it has previously been sugge...
ENTCS
2000
13 years 7 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
ETS
2002
IEEE
13 years 7 months ago
2002
IEEE
Information technology is arguably an important tool for knowledge management, facilitating learning in a business context. However, the current use of information technology in t...
AI
1999
Springer
13 years 7 months ago
1999
Springer
This paper addresses the relations between information retrieval (IR) and AI. It examines document retrieval, summarising its essential features and illustrating the state of its ...
PERCOM
2010
ACM
13 years 5 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...