Sciweavers

160 search results - page 16 / 32
» Solving Systems of Difference Constraints Incrementally
Sort
View
AAAI
2007
15 years 2 months ago
Filtering, Decomposition and Search Space Reduction for Optimal Sequential Planning
We present in this paper a hybrid planning system which combines constraint satisfaction techniques and planning heuristics to produce optimal sequential plans. It integrates its ...
Stéphane Grandcolas, C. Pain-Barre
IMSCCS
2006
IEEE
15 years 5 months ago
Intelligent Decision Making for Agreement-based Grid Resource Management
Agreement-based resource management is becoming the foundation of grid system. Since the grid resource management encompasses a wide range of different scenarios, the decision mak...
Rui Liu, Weimin Zheng, Yongwei Wu
ACL
2007
15 years 1 months ago
Generating a Table-of-Contents
This paper presents a method for the automatic generation of a table-of-contents. This type of summary could serve as an effective navigation tool for accessing information in lon...
S. R. K. Branavan, Pawan Deshpande, Regina Barzila...
IEICET
2006
114views more  IEICET 2006»
14 years 11 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
KI
2002
Springer
14 years 11 months ago
Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
Bernhard Nebel, Alexander Scivos