1636 search results - page 92 / 328 » Reasoning About Quantum Systems |
360
click to vote
DLOG
2011
14 years 9 months ago
2011
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...
192
click to vote
ICRA
2009
IEEE
16 years 24 days ago
2009
IEEE
— Recently, cognitive psychologists and others have turned their attention to the formerly neglected study of shadows, and the information they purvey. These studies show that th...
161
click to vote
IJAR
2008
15 years 6 months ago
2008
Cooperative multiagent probabilistic inference can be applied in areas such as building surveillance and complex system diagnosis to reason about the states of the distributed unc...
204
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
159
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
In this paper we present an approach to recognition confidence scoring and a set of techniques for integrating confidence scores into the understanding and dialogue components of ...