Sciweavers

1181 search results - page 17 / 237
» constraints 2004
Sort
View
METAINFORMATICS
2004
Springer
14 years 2 months ago
Supporting Tools for Designing-By-Contract in Component-Based Applications
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
Antonio Coronato, Antonio d'Acierno, Diego D'Ambro...
CSLP
2004
Springer
14 years 2 months ago
Parsing Unrestricted German Text with Defeasible Constraints
We present a parser for German that achieves a competitive accuracy on unrestricted input while maintaining a coverage of 100%. By writing well-formedness rules as declarative, def...
Kilian A. Foth, Michael Daum, Wolfgang Menzel
COORDINATION
2004
Springer
14 years 2 months ago
A Component-Based Parallel Constraint Solver
As a case study that illustrates our view on coordination and component-based software engineering, we present the design and implementation of a parallel constraint solver. The pa...
Peter Zoeteweij, Farhad Arbab
AMAI
2004
Springer
14 years 2 months ago
The Expressive Rate of Constraints
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...
Hubie Chen
CP
2004
Springer
14 years 2 months ago
A Domain Consistency Algorithm for the Stretch Constraint
The stretch constraint occurs in many rostering problems that arise in the industrial and public service sectors. In this paper we present an efficient algorithm for domain consist...
Lars Hellsten, Gilles Pesant, Peter van Beek