Bericht (688)

112921.
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.
112922.
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)
112923.
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.
112924.
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)
112925.
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.
112926.
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)
112927.
Bericht
Langovoy, M.; Wittich, O.: Multiple testing, uncertainty and realistic pictures (EURANDOM Preprint Series, 2011-004). (2011), 21 S.
112928.
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.
112929.
Bericht
Wentink, M.; Nooij, S.; Zaichik, L.; Smaili, H.: Optimized Motion Driving Algorithms in Matlab/Simulink (Simulation of Upset Recovery in Aviation (SUPRA), EU Grant 233543, SUPRA Report 5.2). (2011)
112930.
Bericht
Langovoy, M.; Wittich, O.: Computationally efficient algorithms for statistical image processing: Implementation in R (Eurandom Preprint Series, 2010-053). EURANDOM, Eindhoven, The Netherlands (2010), 24 S.
112931.
Bericht
Langovoy, M.; Wittich, O.: Robust nonparametric detection of objects in noisy images (Eurandom Preprint Series, 2010-049). EURANDOM, Eindhoven, The Netherlands (2010), 21 S.
112932.
Bericht
Althaus, E.; Altmeyer, S.; Naujoks, R.: A New Combinatorial Approach to Parametric Path Analysis (AVACS Technical Report, 58). SFB/TR 14 AVACS (2010), 33 S.
112933.
Bericht
Das Sarma, A.; Theobald, M.; Widom, J.: LIVE: A Lineage-Supported Versioned DBMS. Standford University, Standford (2010), 13 S.
112934.
Bericht
Huang, C.-C.; Kavitha, T.: Maximum Cardinality Popular Matchings in Strict Two-sided Preference Lists. Max-Planck-Institut für Informatik, Saarbrücken (2010), 17 S.
112935.
Bericht
Valgaerts, L.; Bruhn, A.; Mainberger, M.; Weickert, J.: Dense versus Sparse Approaches for Estimating the Fundamental Matrix. FR 6.1 – Mathematik, Universität des Saarlandes, Saarbrücken (2010)
112936.
Bericht
Langovoy, M.; Wittich, O.: Detection of objects in noisy images and site percolation on square lattices (EURANDOM Reports, 2009-035). (2009), 14 S.
112937.
Bericht
Langovoy, M.: Algebraic polynomials and moments of stochastic integrals (EURANDOM Reports, 2009-031). (2009)
112938.
Bericht
Hennig, P.: Expectation Propagation on the Maximum of Correlated Normal Variables. (2009), 11 S.
112939.
Bericht
Langovoy, M.: Model selection, large deviations and consistency of data-driven tests (EURANDOM Reports, 2009-007). (2009), 30 S.
112940.
Bericht
Berner, A.; Bokeloh, M.; Wand, M.; Schilling, A.; Seidel, H.-P.: Generalized intrinsic symmetry detection. Max-Planck-Institut für Informatik, Saarbrücken (2009), 33 S.
Zur Redakteursansicht