Search the dblp DataBase

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]