Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 3937.
  1. Sara-Jane Bittner; Michael Barz; Daniel Sonntag

    Eliciting Multimodal Approaches for Machine Learning--Assisted Photobook Creation

    In: Carmelo Ardito; Simone Diniz Junqueira Barbosa; Tayana Conte; André Freire; Isabela Gasparini; Philippe Palanque; Raquel Prates (Hrsg.). Human-Computer Interaction -- INTERACT 2025. IFIP Conference on Human-Computer Interaction (INTERACT-2025), 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part II, September 8-12, Belo Horizonte, Brazil, Pages 576-601, ISBN 978-3-032-05002-1, Springer Nature Switzerland, 9/2025.

  2. Francisco Mena; Diego Arenas; Andreas Dengel

    In the search for optimal multi-view learning models for crop classification with global remote sensing data

    In: International Journal of Applied Earth Observation and Geoinformation (JAG), Vol. 143, Pages 0-15, Elsevier, Empowering Smart and Sustainable Agriculture with , 9/2025.

  3. Equivalences on Phase Type Processes

    PhD-Thesis, Universität Mannheim, Univ. 5/2008.

  4. David Spieler; Verena Wolf

    Efficient Steady State Analysis of Multimodal Markov Chains

    In: Alexander Dudin; Koen De Turck (Hrsg.). Analytical and Stochastic Modeling Techniques and Applications. International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA-2013), 20th International Conference, ASMTA 2013, July 8-10, Gent, Belgium, Pages 380-395, ISBN 9783642394089, Springer Berlin Heidelberg, Heidelberg, 7/2013.

  5. Gerrit Großmann; Luca Bortolussi; Verena Wolf

    Efficient simulation of non-Markovian dynamics on complex networks

    In: Hocine Cherifi (Hrsg.). PLOS ONE, Vol. 15, No. 10, Pages 1-18, PLOS ONE, 10/2020.

  6. Linar Mikeev; Werner Sandmann; Verena Wolf

    Efficient Calculation of Rare Event Probabilities in Markovian Queueing Networks

    In: Samson Lasaulce; Dieter Fiems; Pete Harrison; Luc Vandendorpe (Hrsg.). VALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools. International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS-2011), May 16-20, Paris, France, Pages 186-196, ISBN 978-1-936968-09-1, ACM, 5/2011.

  7. Harald Fecher; Martin Leucker; Verena Wolf

    Don't Know in Probabilistic Systems

    In: Antti Valmari (Hrsg.). Model Checking Software. International Symposium on Model Checking Software (SPIN-2006), 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria, Pages 71-88, ISBN 9783540331032, Springer Berlin Heidelberg, Heidelberg, 3/2006.