Working Paper (3)

441.
Working Paper
Gao, P.: Distribution of Certain Sparse Spanning Subgraphs in Random Graphs. (2011), 22 pages, 3 figures pp.
442.
Working Paper
Amaldi, E.; Iuliano, C.; Jurkiewicz, T.; Mehlhorn, K.; Rizzi, R.: Improved Minimum Cycle Bases Algorithms by Restriction to Isometric Cycles. (2011)
443.
Working Paper
Arora, D.; Bienkowski, M.; Feldmann, A.; Schaffrath, G.; Schmid, S.: Online Strategies for Intra and Inter Provider Service Migration in Virtual Networks. (2011), 13 pp.

Report (13)

444.
Report
Tenth Biennial Report: May 2009 - April 2011 (Biennial Report / Max-Planck-Institut für Informatik, 10). Max-Planck-Institut für Informatik, Saarbrücken (2011), 680 pp.
445.
Report
Bericht 2011 (Jahresbericht, 2011). Max-Planck-Institut für Informatik, Saarbrücken (2011), 115 pp.
446.
Report
Report 2011 (Annual Report, 2011). Max-Planck-Institut für Informatik, Saarbrücken (2011), 116 pp.
447.
Report
Anand, A.; Bedathur, S.; Berberich, K.; Schenkel, R.: Temporal Index Sharding for Space-time Efficiency in Archive Search. Universität des Saarlandes, Saarbrücken (2011)
448.
Report
Berner, A.; Burghard, O.; Wand, M.; Mitra, N.; Klein, R.; Seidel, H.-P.: A Morphable Part Model for Shape Manipulation. Max-Planck-Institut für Informatik, Saarbrücken (2011), 33 pp.
449.
Report
Damm, W.; Disch, S.; Hagemann, W.; Scholl, C.; Waldmann, U.; Wirtz, B.: Integrating Incremental Flow Pipes into a Symbolic Model Checker for Hybrid Systems (AVACS Technical Report, 76). SFB/TR 14 AVACS, Saarbrücken (2011)
450.
Report
Damm, W.; Ihlemann, C.; Sofronie-Stokkermans, V.: PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata (AVACS Technical Report, 70). SFB/TR 14 AVACS (2011), 31 pp.
451.
Report
Gemulla, R.; Haas, P. J.; Nijkamp, E.; Sismanis, Y.: Large-scale Matrix Factorization with Distributed Stochastic Gradient Descent (IBM Research Report, RJ10481). IBM Research Division, San Jose, CA (2011)
452.
Report
Granados, M.; Tompkin, J.; Kim, K.; Grau, O.; Kautz, J.; Theobalt, C.: How Not to Be Seen -- Inpainting Dynamic Objects in Crowded Scenes. MPI für Informatik, Saarbrücken (2011), 35 pp.
453.
Report
Kim, K. I.; Kwon, Y.; Kim, J. H.; Theobalt, C.: Efficient Learning-based Image Enhancement: Application to Compression Artifact Removal and Super-resolution. Max-Planck-Institut für Informatik, Saarbrücken (2011)
454.
Report
Lu, T.; Merz, S.; Weidenbach, C.: Towards Verification of the Pastry Protocol using TLA+. Max-Planck-Institut für Informatik, Saarbrücken (2011), 51 pp.
455.
Report
Taneva, B.; Kacimi El Hassani, M.; Weikum, G.: Finding Images of Rare and Ambiguous Entities. Max-Planck-Institut für Informatik, Saarbrücken (2011), 30 pp.
456.
Report
Tompkin, J.; Kim, K. I.; Kautz, J.; Theobalt, C.: Videoscapes: Exploring Unstructured Video Collections. Max-Planck-Institut für Informatik, Saarbrücken (2011), 32 pp.
Go to Editor View