1636 search results - page 24 / 328 » Reasoning About Quantum Systems |
145
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Just as POMDPs have been used to reason explicitly about uncertainty in single-agent systems, there has been recent interest in using multi-agent POMDPs to coordinate teams of age...
143
click to vote
ITS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
131
click to vote
BMVC
2010
15 years 2 months ago
2010
Three methods are explored which help indicate whether feature points are potentially visible or occluded in the matching phase of the keyframe-based real-time visual SLAM system....
133
click to vote
ECOI
2010
15 years 3 months ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
130
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
There has been a lot of debate about the modularity of aspectoriented programs, and in particular the ability to reason about such programs in a modular way, although it has never...