Sciweavers

2582 search results - page 233 / 517
» Scheduling in a Planning Environment
Sort
View
CSEE
2009
Springer
15 years 7 months ago
SWEBOK Refresh and Continuous Update: A Call for Feedback and Participation
Since publication of the 2004 version, the Software Engineering Body of Knowledge (SWEBOK) has notably served as a major input to the design of curricula at the undergraduate and ...
Pierre Bourque
PADL
2004
Springer
15 years 6 months ago
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
SAT
2004
Springer
109views Hardware» more  SAT 2004»
15 years 6 months ago
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints
The problem of solving boolean combinations of difference constraints is at the core of many important techniques such as planning, scheduling, and model-checking of real-time syst...
Alessandro Armando, Claudio Castellini, Enrico Giu...
WSC
2008
15 years 3 months ago
Controls: Emulation to improve the performance of container terminals
Nowadays container terminals are struggling with a continuously increasing volume. Therefore, they are searching for solutions to increase throughput capacity without expanding th...
Csaba A. Boer, Yvo Saanen
AIPS
2006
15 years 2 months ago
Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach
Reasoning on precedence relations is crucial for many planning and scheduling systems. In this paper we propose a double precedence graph where direct precedence relations are kep...
Roman Barták, Ondrej Cepek