Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1 bis 10 von 533.
  1. User Interfaces for Theorem Provers: Necessary Nuisanec or Unexplored Potential?

    In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Workshop on Automated Verification of Critical Systems (AVOCS-09), 9th, September 23-25, Swansea, United Kingdom, Electronic Communications of the EASST, Vol. 23, 2009.

  2. Tobias Kowatsch; Wolfgang Maaß

    Towards a framework for knowledge-based pricing services improving operational agility in the retail industry

    In: Proceedings of the 4th Mediterranean Conference on Information Systems (MCIS 09). Mediterranean Conference on Information Systems (MCIS-09), 4th, September 25-27, Athen, Greece, Athens University of Economics & Business, 2009.

  3. Wolfgang Maaß; W Varshney

    A framework for smart healthcare situations and smart drugs

    In: SIG-Health Pre-AMCIS Workshop at the 15th Americas Conference on Information Systems (AMCIS 2009), San Francisco, USA. Americas Conference on Information Systems (AMCIS), August 6-9, San Francisco, CA, USA, Springer, 2009.

  4. Wolfgang Maaß; Tobias Kowatsch

    Let's Get Married: Adoption Of Interactive Product Information For Bundle Purchases By Tangible User Interfaces

    In: The 4th Mediterranean Conference on Information Systems, MCIS 2009, Athens University of Economics and Business, AUEB, Athens, Greece, 25-27 September 2009. Mediterranean Conference on Information Systems (MCIS), Springer, 2009.

  5. Tobias Kowatsch; Wolfgang Maaß; Elgar Fleisch

    The Use Of Free And Paid Digital Product Reviews On Mobile Devices In In-Store Purchase Situations

    In: The 4th Mediterranean Conference on Information Systems, MCIS 2009, Athens University of Economics and Business, AUEB, Athens, Greece, 25-27 September 2009. Mediterranean Conference on Information Systems (MCIS), Springer, 2009.

  6. Kristian Kersting; Babak Ahmadi; Sriraam Natarajan

    Counting Belief Propagation

    In: Jeff A. Bilmes; Andrew Y. Ng (Hrsg.). UAI 2009, Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence. Conference in Uncertainty in Artificial Intelligence (UAI-2009), June 18-21, Montreal, QC, Canada, Pages 277-284, AUAI Press, 2009.

  7. Learning Preferences with Hidden Common Cause Relations

    In: Wray L. Buntine; Marko Grobelnik; Dunja Mladenic; John Shawe-Taylor (Hrsg.). Machine Learning and Knowledge Discovery in Databases, European Conference. European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD-2009), September 7-11, Bled, Slovenia, Pages 676-691, Lecture Notes in Computer Science, Vol. 5781, Springer, 2009.

  8. Hannes Schulz; Kristian Kersting; Andreas Karwath

    ILP, the Blind, and the Elephant: Euclidean Embedding of Co-proven Queries

    In: Luc De Raedt (Hrsg.). Inductive Logic Programming, 19th International Conference. International Conference on Inductive Logic Programming (ILP-2009), July 2-4, Leuven, Belgium, Pages 209-216, Lecture Notes in Computer Science, Vol. 5989, Springer, 2009.

  9. Saket Joshi; Kristian Kersting; Roni Khardon

    Generalized First Order Decision Diagrams for First Order Markov Decision Processes

    In: Craig Boutilier (Hrsg.). IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2009), July 11-17, Pasadena, California, USA, Pages 1916-1921, Morgan Kaufmann Publishers Inc. 2009.