444 search results - page 56 / 89 » Termination by Abstraction |
WSPI
2008
13 years 10 months ago
2008
Computers today are not only the calculation tools - they are directly (inter)acting in the physical world which itself may be conceived of as the universal computer (Zuse, Fredkin...
AIPS
1998
13 years 10 months ago
1998
This paper addresses the search control problemof selecting whichplan to refine next for decision-theoretic planners, a choice point commonto the decision theoretic planners creat...
MACH
1993
13 years 10 months ago
1993
This paper describes the architecture and implementation of MIKE - a version of the IK distributed persistent object-oriented programming platform built on top of the Mach microke...
MOBISYS
2007
ACM
14 years 8 months ago
2007
ACM
Abstract-- Wireless sensor networks represent a key technology enabler for enhanced health care and assisted living systems. Recent standardization efforts to ensure compatibility ...
SODA
2010
ACM
14 years 6 months ago
2010
ACM
We consider the following model for fire containment. We are given an undirected graph G = (V, E) with a source vertex s where the fire starts. At each time step, the firefighters...