119 search results - page 7 / 24 » A Theory of Redo Recovery |
146
click to vote
ISLPED
1996
ACM
15 years 10 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...
169
click to vote
LPNMR
2005
Springer
16 years 2 days 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...
138
click to vote
AIPS
2000
15 years 8 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...
170
click to vote
ILP
2000
Springer
15 years 10 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...
169
click to vote
ICPR
2008
IEEE
16 years 7 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...