3573 search results - page 76 / 715 » Reasoning about Codata |
112
click to vote
IAT
2008
IEEE
15 years 9 months 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...
104
Voted
FOSSACS
2008
Springer
15 years 4 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...
118
click to vote
ATVA
2010
Springer
15 years 3 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 ...
112
Voted
BIB
2010
15 years 2 months ago
2010
Dynamic molecular interactions play a central role in regulating the functioning of cells and organisms.The availability of experimentally determined large-scale cellular networks...
112
Voted
DIAGRAMS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we develop a cognitive account of autism centered around a reliance on pictorial representations. This Thinking in Pictures hypothesis shows significant po...