5243 search results - page 102 / 1049 » Reasoning About Strategies |
150
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
In this paper we report a new approach to generating predictions about skilled interactive cognition. The approach, which we call Cognitive Constraint Modeling, takes as input a d...
169
click to vote
AIMS
2008
Springer
16 years 20 days ago
2008
Springer
It has been shown that sets of convergent operators with a shared fixed point can simulate autonomic control mechanisms, but many questions remain about this management technique....
152
click to vote
IAT
2008
IEEE
16 years 23 days ago
2008
IEEE
This paper presents a novel method for automatic evaluation of conversational agents. In the method, information about users’ attitudes and sentiments to conversational agents a...
144
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
164
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...