1636 search results - page 24 / 328 » Reasoning About Quantum Systems |
126
click to vote
ATAL
2005
Springer
15 years 7 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...
120
Voted
ITS
2004
Springer
15 years 7 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 ...
110
click to vote
BMVC
2010
14 years 12 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....
107
click to vote
ECOI
2010
15 years 13 days 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...
103
Voted
AOSD
2008
ACM
15 years 3 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...