1636 search results - page 31 / 328 » Reasoning About Quantum Systems |
114
click to vote
AIED
2005
Springer
15 years 7 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 ...
119
click to vote
SIAMSC
2010
15 years 8 days 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...
108
Voted
FLOPS
2008
Springer
15 years 3 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...
122
Voted
CORR
2011
Springer
14 years 9 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...
ICAIL
2007
ACM
15 years 5 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...