119 search results - page 7 / 24 » A Theory of Redo Recovery |
ISLPED
1996
ACM
15 years 1 months ago
1996
ACM
We present a low-power SRAM design based on the theory of energy recovery that reduces the dissipation associated with write operations while operating at high speed. The energy-r...
LPNMR
2005
Springer
15 years 3 months ago
2005
Springer
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it...
AIPS
2000
14 years 11 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...
ILP
2000
Springer
15 years 1 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...
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
A new approach is presented for 3D shape recovery of local planar surface patches from two shift/spacevariant defocused images. It is based on a recently proposed technique for in...