110 search results - page 6 / 22 » Recovery of (Non)Monotonic Theories |
AIPS
2000
15 years 2 months ago
2000
On May 17th 1999, NASA activated for the first time an AI-based planner/scheduler running on the flight processor of a spacecraft. This was part of the Remote Agent Experiment (RA...
103
click to vote
SIGMOD
1999
ACM
15 years 5 months ago
1999
ACM
Recovery can be extended to new domains at reduced logging cost by exploiting "logical" log operations. During recovery, a logical log operation may read data values fro...
106
click to vote
PAMI
2002
15 years 1 months ago
2002
We introduce a methodology for radiometric reconstruction, the simultaneous recovery of multiple illuminants and surface albedoes from multiple views, assuming that the geometry o...
IJCV
2000
15 years 1 months ago
2000
The aim of this paper is to explore a linear geometric algorithm for recovering the three dimensional motion of a moving camera from image velocities. Generic similarities and diff...
105
click to vote
ILP
2000
Springer
15 years 5 months ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...