The SCEAS System
Navigation Menu

Search the dblp DataBase


Matthias Fuchs: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Matthias Fuchs
    A Feature-Based Learning Method for Theorem Proving. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:457-462 [Conf]
  2. Matthias Fuchs
    Experiments in the Heuristic Use of Past Proof Experience. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:523-537 [Conf]
  3. Matthias Fuchs
    Evolving Combinators. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:416-430 [Conf]
  4. Dirk Fuchs, Matthias Fuchs
    CODE: A Powerful Prover for Problems of Condensed Detachment. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:260-263 [Conf]
  5. Matthias Fuchs
    Flexible Re-enactment of Proofs. [Citation Graph (0, 0)][DBLP]
    EPIA, 1997, pp:13-24 [Conf]
  6. Matthias Fuchs, Geoff Sutcliffe
    Homogeneous Sets of ATP Problems. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2002, pp:57-61 [Conf]
  7. Matthias Fuchs
    Large Populations Are Not Always The Best Choice In Genetic Programming. [Citation Graph (0, 0)][DBLP]
    GECCO, 1999, pp:1033-1038 [Conf]
  8. Marc Fuchs, Dirk Fuchs, Matthias Fuchs
    Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. [Citation Graph (0, 0)][DBLP]
    GECCO, 1999, pp:1027-1032 [Conf]
  9. Marc Fuchs, Matthias Fuchs
    Applying Case-Based Reasoning to Automated Deduction. [Citation Graph (0, 0)][DBLP]
    ICCBR, 1997, pp:23-32 [Conf]
  10. Matthias Fuchs
    Learning Proof Heuristics by Adaptive Parameters. [Citation Graph (0, 0)][DBLP]
    ICML, 1995, pp:235-243 [Conf]
  11. Jörg Denzinger, Marc Fuchs, Matthias Fuchs
    High Performance ATP Systems by Combining Several AI Methods. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:102-107 [Conf]
  12. Jörg Denzinger, Matthias Fuchs
    Goal Oriented Equational Theorem Proving Using Team Work. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:343-354 [Conf]
  13. Matthias Fuchs, Andreas Abecker
    Optimized Nearest-Neighbor Classifiers Using Generated Instances. [Citation Graph (0, 0)][DBLP]
    KI, 1996, pp:71-83 [Conf]
  14. Jürgen Avenhaus, Jörg Denzinger, Matthias Fuchs
    DISCOUNT: A SYstem for Distributed Equational Deduction. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:397-402 [Conf]
  15. Markus Grasmair, Frank Lenzen, Andreas Obereder, Otmar Scherzer, Matthias Fuchs
    A Non-convex PDE Scale Space. [Citation Graph (0, 0)][DBLP]
    Scale-Space, 2005, pp:303-315 [Conf]
  16. Huaiping Yang, Matthias Fuchs, Bert Jüttler, Otmar Scherzer
    Evolution of T-Spline Level Sets with Distance Field Constraints for Geometry Reconstruction and Image Segmentation. [Citation Graph (0, 0)][DBLP]
    SMI, 2006, pp:37- [Conf]
  17. Marc Fuchs, Matthias Fuchs
    Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1998, v:11, n:3-4, pp:175-189 [Journal]
  18. Matthias Fuchs
    Proofs as Schemas and Their Heuristic Use. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2000, v:30, n:1, pp:37-61 [Journal]
  19. Thomas Beer, Jörg Rasinger, Wolfram Höpken, Matthias Fuchs, Hannes Werthner
    Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages. [Citation Graph (0, 0)][DBLP]
    RuleML, 2007, pp:199-206 [Conf]

  20. Rollin' Justin - Design considerations and realization of a mobile platform for a humanoid upper body. [Citation Graph (, )][DBLP]

  21. Rollin' Justin - Mobile platform with variable base. [Citation Graph (, )][DBLP]

  22. On the kinematic modeling and control of a mobile platform equipped with steering wheels and movable legs. [Citation Graph (, )][DBLP]

  23. The DLR-Crawler: A testbed for actively compliant hexapod walking based on the fingers of DLR-Hand II. [Citation Graph (, )][DBLP]

  24. Dynamics of step-climbing with deformable wheels and applications for mobile Robotics. [Citation Graph (, )][DBLP]

  25. Context-based Adaptation of Ubiquitous Web Applications in Tourism. [Citation Graph (, )][DBLP]

  26. Selling Accommodation Packages in Online Auctions - The Case of eBay. [Citation Graph (, )][DBLP]

  27. Evaluating Recommender Systems in Tourism - A Case Study from Austria. [Citation Graph (, )][DBLP]

  28. Adoption of E-mail Marketing in the Hotel Sector. [Citation Graph (, )][DBLP]

  29. CAIPS: A Context-Aware Information Push Service in Tourism. [Citation Graph (, )][DBLP]

  30. eTourism Curriculum Development: A Destination Management Organisation Perspective. [Citation Graph (, )][DBLP]

  31. An Automated Approach for Deriving Semantic Annotations of Tourism Products based on Geospatial Information. [Citation Graph (, )][DBLP]

  32. E-Business Readiness, Intensity and Impact - An Austrian Hotel Study. [Citation Graph (, )][DBLP]

  33. etPlanner: An IT Framework for Comprehensive and Integrative Travel Guidance. [Citation Graph (, )][DBLP]

  34. Towards @Destination: A DEA-based Decision Support Framework. [Citation Graph (, )][DBLP]

  35. Web Usage Mining in Tourism - A Query Term Analysis and Clustering Approach. [Citation Graph (, )][DBLP]

  36. ICT Efficiency and Effectiveness in the Hotel Sector - A Three-Stage DEA Approach. [Citation Graph (, )][DBLP]

  37. Application of QR Codes in Online Travel Distribution. [Citation Graph (, )][DBLP]

  38. Dual evolution of planar parametric spline curves and T-spline level sets. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002