Sciweavers

1179 search results - page 87 / 236
» Should Superclasses be Abstract
Sort
View
CP
2006
Springer
14 years 26 days ago
Generating Propagators for Finite Set Constraints
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
Guido Tack, Christian Schulte, Gert Smolka
CPAIOR
2006
Springer
14 years 26 days ago
The Range Constraint: Algorithms and Implementation
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting and occurrence constraints. The language uses just two global primitives: the R...
Christian Bessière, Emmanuel Hebrard, Brahi...
ECAI
2006
Springer
14 years 24 days ago
Alternating-Offers Bargaining Under One-Sided Uncertainty on Deadlines
Abstract. Alternating-offers is the most prominent negotiation protocol for automatic bilateral bargaining. Nevertheless, in most settings it is still not known how two fully ratio...
Francesco Di Giunta, Nicola Gatti
ECAI
2006
Springer
14 years 24 days ago
Verification of Medical Guidelines Using Task Execution with Background Knowledge
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, M...
ECTEL
2006
Springer
14 years 24 days ago
Extending SCORM to Create Adaptive Courses
Abstract. Current e-learning standards have been designed to provide reusability of educational contents and interoperability between systems. Besides these features, content perso...
Marta Rey-López, Ana Fernández Vilas...