2082 search results - page 264 / 417 » Change Paths in Reasoning! |
134
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
125
click to vote
AI
2005
Springer
15 years 4 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
133
click to vote
SYNTHESE
2010
15 years 2 months ago
2010
We argue that current discussions of criteria for actual causation are ill-posed in several respects. (1) The methodology of current discussions is by induction from intuitions ab...
145
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Building repositories of computational models of biological systems ensures that published models are available for both education and further research, and can provid...
151
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
In this paper, we study how estimates of ego-motion based on feature tracking (visual odometry) can be improved using a rough (low accuracy) map of where the observer has been. We...