1615 search results - page 213 / 323 » Computer science and decision theory |
183
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
156
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we raise a methodological issue concerning the empirical analysis of tutoring dialogues: The frequencies of tutoring moves do not necessarily reveal their causal efï...
165
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
162
click to vote
EDOC
2006
IEEE
16 years 27 days ago
2006
IEEE
In previous work, we have defined conceptual foundations that can be beneficially used in context modeling. These conceptual foundations include the separation of entity and conte...
159
click to vote
SIGECOM
2006
ACM
16 years 24 days ago
2006
ACM
We study coalitional games where the value of cooperation among the agents are solely determined by the attributes the agents possess, with no assumption as to how these attribute...