Book Chapter (271)

3281.
Book Chapter
Zimek, A.; Assent, I.; Vreeken, J.: Frequent Pattern Mining Algorithms for Data Clustering. In: Frequent Pattern Mining, pp. 403 - 423 (Eds. Aggarwal, C. C.; Han, J.). Springer, New York, NY (2014)
3282.
Book Chapter
Afshani, P.; Agrawal, M.; Doerr, B.; Doerr, C.; Larsen, K. G.; Mehlhorn, K.: The Query Complexity of Finding a Hidden Permutation. In: Space-Efficient Data Structures, Streams, and Algorithms, pp. 1 - 11 (Eds. Brodnik, A.; López-Ortiz, A.; Raman, V.; Viola, A.). Springer, Berlin (2013)
3283.
Book Chapter
Ebert, S.; Schiele, B.: Where Next in Object Recognition and how much Supervision Do We Need? In: Advanced Topics in Computer Vision, pp. 35 - 64 (Eds. Farinella, G. M.; Battiato, S.; Cipolla, R.). Springer, London (2013)
3284.
Book Chapter
Errami, H.; Eiswirth, M.; Grigoriev, D.; Seiler, W. M.; Sturm, T.; Weber, A.: Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. In: Computer Algebra in Scientific Computing, pp. 88 - 99 (Eds. Gerdt, V. P.; Koepf, W.; Mayr, E. W.; Vorozhtsov, E. V.). Springer, Berlin (2013)
3285.
Book Chapter
Helten, T.; Baak, A.; Müller, M.; Theobalt, C.: Full-body Human Motion Capture from Monocular Depth Images. In: Time-of-Flight and Depth Imaging, pp. 188 - 206 (Eds. Grzegorzek, M.; Theobalt, C.; Koch, R.; Kolb, A.). Springer, Berlin (2013)
3286.
Book Chapter
Hillenbrand, T.; Piskac, R.; Waldmann, U.; Weidenbach, C.: From Search to Computation: Redundancy Criteria and Simplification at Work. In: Programming Logics, pp. 169 - 193 (Eds. Voronkov, A.; Weidenbach, C.). Springer, Berlin (2013)
3287.
Book Chapter
Hillenbrand, T.; Weidenbach, C.: Superposition for Bounded Domains. In: Automated Reasoning and Mathematics, pp. 68 - 100 (Eds. Bonacina, M. P.; Stickel, M.). Springer, Berlin (2013)
3288.
Book Chapter
Janoch, A.; Karayev, S.; Jia, Y.; Barron, J. T.; Fritz, M.; Saenko, K.; Darrell, T.: A Category-level 3D Object Dataset: Putting the Kinect to Work. In: Consumer Depth Cameras for Computer Vision, pp. 141 - 165 (Eds. Fossati, A.; Gall, J.; Grabner, H.; Ren, X.; Konolige, K.). Springer, London (2013)
3289.
Book Chapter
Kapur, D.; Nieuwenhuis, R.; Voronkov, A.; Weidenbach, C.; Wilhelm, R.: Harald Ganzinger's Legacy: Contributions to Logics and Programming. In: Programming Logics, pp. 1 - 18 (Eds. Voronkov, A.; Weidenbach, C.). Springer, Berlin (2013)
3290.
Book Chapter
Kapur, D.; Zhang, Z.; Horbach, M.; Zhao, H.; Lu, Q.; Nguyen, T.: Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. In: Automated Reasoning and Mathematics, pp. 189 - 228 (Eds. Bonacina, M. P.; Stickel, M. E.). Springer, Berlin (2013)
3291.
Book Chapter
Lenzen, F.; Kim, K. I.; Schäfer, H.; Nair, R.; Meister, S.; Becker, F.; Garbe, C. S.; Theobalt, C.: Denoising Strategies for Time-of-Flight Data. In: Time-of-Flight and Depth Imaging, pp. 22 - 45 (Eds. Grzegorzek, M.; Theobalt, C.; Koch, R.; Kolb, A.). Springer, Berlin (2013)
3292.
Book Chapter
Roggen, D.; Tröster, G.; Bulling, A.: Signal Processing Technologies for Activity-aware Smart Textiles. In: Multidisciplinary Know-How for Smart-Textiles Developers, 12, pp. 329 - 365 (Ed. Kirstein, T.). Woodhead Publishing, Philadelphia, PA (2013)
3293.
Book Chapter
Sofronie-Stokkermans, V.: On Combinations of Local Theory Extensions. In: Programming Logics, pp. 392 - 413 (Eds. Voronkov, A.; Weidenbach, C.). Springer, Berlin (2013)
3294.
Book Chapter
Sundstedt, V.; Bernhard, M.; Stavrakis, E.; Reinhard, E.; Wimmer, M.: Visual Attention and Gaze Behavior in Games: An Object-based Approach. In: Game Analytics, pp. 543 - 583 (Eds. El-Nasr, . S.; Drachen, A.; Canossa, A.). Springer, New York, NY (2013)
3295.
Book Chapter
Lengauer, T.; Albrecht, M.; Domingues, F. S.: Computational Biology. In: Encyclopedia of Molecular Cell Biology and Molecular Medicine, pp. 1 - 71 (Ed. Meyers, R. A.). Wiley-VCH, Weinheim, Germany (2012)
3296.
Book Chapter
Grosche, P.; Müller, M.; Serrà, J.: Audio Content-based Music Retrieval. In: Multimodal Music Processing, pp. 157 - 174 (Eds. Müller, M.; Goto, M.; Schedl, M.). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany (2012)
3297.
Book Chapter
Konz, V.; Müller, M.: A Cross-version Approach for Harmonic Analysis of Music Recordings. In: Multimodal Music Processing, pp. 53 - 72 (Eds. Müller, M.; Goto, M.; Schedl, M.). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany (2012)
3298.
Book Chapter
Müller, M.; Driedger, J.: Data-driven Sound Track Generation. In: Multimodal Music Processing, pp. 175 - 194 (Eds. Müller, M.; Goto, M.; Schedl, M.). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany (2012)
3299.
Book Chapter
Thomas, V.; Fremerey, C.; Müller, M.; Clausen, M.: Linking Sheet Music and Audio - Challenges and New Approaches. In: Multimodal Music Processing, pp. 1 - 22 (Eds. Müller, M.; Goto, M.; Schedl, M.). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany (2012)
3300.
Book Chapter
Baak, A.; Müller, M.; Bharaj, G.; Seidel, H.-P.; Theobalt, C.: A Data-driven Approach for Real-time Full Body Pose Reconstruction from a Depth Camera. In: Consumer Depth Cameras for Computer Vision, pp. 71 - 98 (Eds. Fossati, A.; Gall, J.; Grabner, H.; Ren, X.; Konolige, K.). Springer, London (2012)
Go to Editor View