2398 search results - page 101 / 480 » Constraint Programming and Graph Algorithms |
150
click to vote
HASE
2008
IEEE
15 years 11 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
161
Voted
IWMMDBMS
1996
15 years 6 months ago
1996
We introduce a constraint-driven methodology for the automated assembly, organization and playout of presentations from multimedia databases. We use inclusion and exclusion constr...
150
Voted
TAPSOFT
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
149
click to vote
CPAIOR
2005
Springer
15 years 10 months ago
2005
Springer
The scheduling of social golfers has attracted significant attention in recent years because of its highly symmetrical and combinatorial nature. In particular, it has become one o...
145
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
We develop an external memory algorithm for computing minimum spanning trees. The algorithm is considerably simpler than previously known external memory algorithms for this proble...