Forschungspapier (3)

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

Bericht (13)

444.
Bericht
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 S.
445.
Bericht
Bericht 2011 (Jahresbericht, 2011). Max-Planck-Institut für Informatik, Saarbrücken (2011), 115 S.
446.
Bericht
Report 2011 (Annual Report, 2011). Max-Planck-Institut für Informatik, Saarbrücken (2011), 116 S.
447.
Bericht
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.
Bericht
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 S.
449.
Bericht
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.
Bericht
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 S.
451.
Bericht
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.
Bericht
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 S.
453.
Bericht
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.
Bericht
Lu, T.; Merz, S.; Weidenbach, C.: Towards Verification of the Pastry Protocol using TLA+. Max-Planck-Institut für Informatik, Saarbrücken (2011), 51 S.
455.
Bericht
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 S.
456.
Bericht
Tompkin, J.; Kim, K. I.; Kautz, J.; Theobalt, C.: Videoscapes: Exploring Unstructured Video Collections. Max-Planck-Institut für Informatik, Saarbrücken (2011), 32 S.
Zur Redakteursansicht