1636 search results - page 31 / 328 » Reasoning About Quantum Systems |
143
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
This paper discusses the extensions that we have made to Betty’s Brain teachable agent system to help students learn about dynamic processes in a river ecosystem. Students first ...
147
click to vote
SIAMSC
2010
15 years 2 months ago
2010
Abstract. We present a new algorithm that computes eigenvalues and eigenvectors of a Hermitian positive definite matrix while solving a linear system of equations with Conjugate G...
134
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
154
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum...
103
click to vote
ICAIL
2007
ACM
15 years 8 months ago
2007
ACM
This paper proposes an architecture for a sense-making system for crime investigation named AVERs (Argument Visualization for Evidential Reasoning based on stories). It is targete...