Report (716)
11261.
Report
Subsumption of concepts in $DL$ ${\cal FL}_0$ for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete. Max-Planck-Institut für Informatik, Saarbrücken (2003), 12 pp.
11262.
Report
Sum-Multicoloring on paths. Max-Planck-Institut für Informatik, Saarbrücken (2003), 20 pp.
11263.
Report
Selfish traffic allocation for server farms. Max-Planck-Institut für Informatik, Saarbrücken (2003), 43 pp.
11264.
Report
Scheduling and traffic allocation for tasks with bounded splittability. Max-Planck-Institut für Informatik, Saarbrücken (2003), 15 pp.
11265.
Report
Compositional circular assume-guarantee rules cannot be sound and complete. Max-Planck-Institut für Informatik, Saarbrücken (2003), 22 pp.
11266.
Report
Software model checking of liveness properties via transition invariants. Max-Planck-Institut für Informatik, Saarbrücken (2003), 29 pp.
11267.
Report
Visualization of volume data with quadratic super splines. Max-Planck-Institut für Informatik, Saarbrücken (2003), 15 pp.
11268.
Report
Polynomial time algorithms for network information flow. Max-Planck-Institut für Informatik, Saarbrücken (2003), 18 pp.
11269.
Report
Asynchronous parallel disk sorting. Max-Planck-Institut für Informatik, Saarbrücken (2003), 22 pp.
11270.
Report
A note on the smoothed complexity of the single-source shortest path problem. Max-Planck-Institut für Informatik, Saarbrücken (2003), 8 pp.
11271.
Report
Average case and smoothed competitive analysis of the multi-level feedback algorithm. Max-Planck-Institut für Informatik, Saarbrücken (2003), 31 pp.
11272.
Report
Cross-monotonic cost sharing methods for connected facility location games. Max-Planck-Institut für Informatik, Saarbrücken (2003), 10 pp.
11273.
Report
Topology matters: smoothed competitive analysis of metrical task systems. Max-Planck-Institut für Informatik, Saarbrücken (2003), 28 pp.
11274.
Report
The Diamond Operator for Real Algebraic Numbers. Effective Computational Geometry for Curves and Surfaces, Sophia Antipolis, FRANCE (2003)
11275.
Report
A linear time heuristic for the branch-decomposition of planar graphs. Max-Planck-Institut für Informatik, Saarbrücken (2003), 18 pp.
11276.
Report
Alternating cycles contribution: a strategy of tour-merging for the traveling salesman problem. Max-Planck-Institut für Informatik, Saarbrücken (2003), 22 pp.
11277.
Report
3D acquisition of mirroring objects. Max-Planck-Institut für Informatik, Saarbrücken (2003), 37 pp.
11278.
Report
A flexible and versatile studio for synchronized multi-view video recording. Max-Planck-Institut für Informatik, Saarbrücken (2003), 18 pp.
11279.
Report
FaceSketch: an interface for sketching and coloring cartoon faces. Max-Planck-Institut für Informatik, Saarbrücken (2003), 30 pp.
11280.
Report
Convex boundary angle based flattening. Max-Planck-Institut für Informatik, Saarbrücken (2003), 16 pp.