Working Paper (8)
401.
Working Paper
Induced Subgraphs in Sparse Random Graphs with Given Degree Sequence. (2010), 31 pages, 11 figures pp.
402.
Working Paper
The Lazy Flipper: MAP Inference in Higher-Order Graphical Models by Depth-limited Exhaustive Search. (2010), 20 pp.
403.
Working Paper
On the Insertion Time of Cuckoo Hashing. (2010), 27 pages, final version accepted by the SIAM Journal on Computing pp.
404.
Working Paper
Runtime-flexible Multi-dimensional Arrays and Views for C++98 and C++0x. (2010)
405.
Working Paper
How to Extract the Geometry and Topology from Very Large 3D Segmentations. (2010)
406.
Working Paper
On the Benefit of Virtualization: Strategies for Flexible Server Allocation. (2010), 10 pp.
407.
Working Paper
Orientability Thresholds for Random Hypergraphs. (2010), 47 pages, 1 figures, the journal version of [16] pp.
408.
Working Paper
Generalized and Resource-Efficient VNet Embeddings with Migrations. (2010), 11 pp.
Report (20)
409.
Report
Bericht 2009/2010 (Jahresbericht, 2010). Max-Planck-Institut für Informatik, Saarbrücken (2010), 120 pp.
410.
Report
Report 2009/2010 (Annual Report, 2010). Max-Planck-Institut für Informatik, Saarbrücken (2010), 120 pp.
411.
Report
58). SFB/TR 14 AVACS (2010), 33 pp.
A New Combinatorial Approach to Parametric Path Analysis (AVACS Technical Report, 412.
Report
Efficient Temporal Keyword Queries over Versioned Text. Max-Planck-Institut für Informatik, Saarbrücken (2010), 39 pp.
413.
Report
A Generic Algebraic Kernel for Non-linear Geometric Applications. INRIA, Sophia Antipolis, France (2010), 20 pp.
414.
Report
A Language Modeling Approach for Temporal Information Needs. Max-Planck-Institut für Informatik, Saarbrücken (2010), 29 pp.
415.
Report
Real-time Text Queries with Tunable Term Pair Indexes. Max-Planck-Institut für Informatik, Saarbrücken (2010), 41 pp.
416.
Report
LIVE: A Lineage-Supported Versioned DBMS. Standford University, Standford (2010), 13 pp.
417.
Report
Query Relaxation for Entity-relationship Search. Max-Planck Institut für Informatik, Saarbrücken (2010)
418.
Report
66). SFB/TR 14 AVACS (2010), 40 pp.
Automatic Verification of Parametric Specifications with Complex Topologies (AVACS Technical Report, 419.
Report
YAGO2: A Spatially and Temporally Enhanced Knowledge Base from Wikipedia. Max-Planck-Institut für Informatik, Saarbrücken (2010), 55 pp.
420.
Report
Maximum Cardinality Popular Matchings in Strict Two-sided Preference Lists. Max-Planck-Institut für Informatik, Saarbrücken (2010), 17 pp.