4880 search results - page 828 / 976 » Manuals as Structured Programs |
156
click to vote
BIRTHDAY
2007
Springer
16 years 20 days ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
186
click to vote
COCOA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...
144
click to vote
CP
2007
Springer
16 years 20 days ago
2007
Springer
We introduce groupoids – generalisations of groups in which not all pairs of elements may be multiplied, or, equivalently, categories in which all morphisms are invertible – as...
135
click to vote
CP
2007
Springer
16 years 20 days ago
2007
Springer
In this paper we argue that an attractive and potentially very general way of achieving generalized arc consistency (GAC) on a constraint is by using unit propagation (UP) over a C...
150
click to vote
CP
2007
Springer
16 years 20 days ago
2007
Springer
The typical constraint store transmits a limited amount of information because it consists only of variable domains. We propose a richer constraint store in the form of a limited-w...