Sciweavers

6514 search results - page 735 / 1303
» Low-Knowledge Algorithm Control
Sort
View
TIME
1999
IEEE
15 years 10 months ago
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...
Patrick Doherty, Jonas Kvarnström
ICLP
1999
Springer
15 years 10 months ago
Concurrency in Prolog Using Threads and a Shared Database
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
Manuel Carro, Manuel V. Hermenegildo
RSP
1998
IEEE
188views Control Systems» more  RSP 1998»
15 years 10 months ago
Performance and Interface Buffer Size Driven Behavioral Partitioning for Embedded Systems
One of the major differences in partitioning for codesign is in the way the communication cost is evaluated. Generally the size of the edge cut-set is used. When communication bet...
T.-C. Lin, Sadiq M. Sait, Walling R. Cyre
156
Voted
SP
1998
IEEE
106views Security Privacy» more  SP 1998»
15 years 10 months ago
Understanding Java Stack Inspection
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
Dan S. Wallach, Edward W. Felten
149
Voted
CVPR
1997
IEEE
15 years 10 months ago
Deformable Multi Template Matching with Application to Portal Images
The exact positioning of patients during radiotherapy is essential for high precision treatment. The registration of portal image sequences can help to control the patient positio...
Martin Berger, Gaudenz Danuser