5086 search results - page 370 / 1018 » The Power of Comparative Reasoning |
255
Voted
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implem...
158
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
173
click to vote
IVA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present a study to evaluate the impact of adaptive feedback on the effectiveness of a pedagogical agent for an educational computer game. We compare a version of ...
145
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
We report the successful application of a resistive bridging fault (RBF) simulator to industrial benchmark circuits. Despite the slowdown due to the consideration of the sophistic...
174
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...