|
Search the dblp DataBase
Matthias Fuchs:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Matthias Fuchs
A Feature-Based Learning Method for Theorem Proving. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1998, pp:457-462 [Conf]
- Matthias Fuchs
Experiments in the Heuristic Use of Past Proof Experience. [Citation Graph (0, 0)][DBLP] CADE, 1996, pp:523-537 [Conf]
- Matthias Fuchs
Evolving Combinators. [Citation Graph (0, 0)][DBLP] CADE, 1997, pp:416-430 [Conf]
- Dirk Fuchs, Matthias Fuchs
CODE: A Powerful Prover for Problems of Condensed Detachment. [Citation Graph (0, 0)][DBLP] CADE, 1997, pp:260-263 [Conf]
- Matthias Fuchs
Flexible Re-enactment of Proofs. [Citation Graph (0, 0)][DBLP] EPIA, 1997, pp:13-24 [Conf]
- Matthias Fuchs, Geoff Sutcliffe
Homogeneous Sets of ATP Problems. [Citation Graph (0, 0)][DBLP] FLAIRS Conference, 2002, pp:57-61 [Conf]
- Matthias Fuchs
Large Populations Are Not Always The Best Choice In Genetic Programming. [Citation Graph (0, 0)][DBLP] GECCO, 1999, pp:1033-1038 [Conf]
- 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]
- Marc Fuchs, Matthias Fuchs
Applying Case-Based Reasoning to Automated Deduction. [Citation Graph (0, 0)][DBLP] ICCBR, 1997, pp:23-32 [Conf]
- Matthias Fuchs
Learning Proof Heuristics by Adaptive Parameters. [Citation Graph (0, 0)][DBLP] ICML, 1995, pp:235-243 [Conf]
- 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]
- Jörg Denzinger, Matthias Fuchs
Goal Oriented Equational Theorem Proving Using Team Work. [Citation Graph (0, 0)][DBLP] KI, 1994, pp:343-354 [Conf]
- Matthias Fuchs, Andreas Abecker
Optimized Nearest-Neighbor Classifiers Using Generated Instances. [Citation Graph (0, 0)][DBLP] KI, 1996, pp:71-83 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Rollin' Justin - Design considerations and realization of a mobile platform for a humanoid upper body. [Citation Graph (, )][DBLP]
Rollin' Justin - Mobile platform with variable base. [Citation Graph (, )][DBLP]
On the kinematic modeling and control of a mobile platform equipped with steering wheels and movable legs. [Citation Graph (, )][DBLP]
The DLR-Crawler: A testbed for actively compliant hexapod walking based on the fingers of DLR-Hand II. [Citation Graph (, )][DBLP]
Dynamics of step-climbing with deformable wheels and applications for mobile Robotics. [Citation Graph (, )][DBLP]
Context-based Adaptation of Ubiquitous Web Applications in Tourism. [Citation Graph (, )][DBLP]
Selling Accommodation Packages in Online Auctions - The Case of eBay. [Citation Graph (, )][DBLP]
Evaluating Recommender Systems in Tourism - A Case Study from Austria. [Citation Graph (, )][DBLP]
Adoption of E-mail Marketing in the Hotel Sector. [Citation Graph (, )][DBLP]
CAIPS: A Context-Aware Information Push Service in Tourism. [Citation Graph (, )][DBLP]
eTourism Curriculum Development: A Destination Management Organisation Perspective. [Citation Graph (, )][DBLP]
An Automated Approach for Deriving Semantic Annotations of Tourism Products based on Geospatial Information. [Citation Graph (, )][DBLP]
E-Business Readiness, Intensity and Impact - An Austrian Hotel Study. [Citation Graph (, )][DBLP]
etPlanner: An IT Framework for Comprehensive and Integrative Travel Guidance. [Citation Graph (, )][DBLP]
Towards @Destination: A DEA-based Decision Support Framework. [Citation Graph (, )][DBLP]
Web Usage Mining in Tourism - A Query Term Analysis and Clustering Approach. [Citation Graph (, )][DBLP]
ICT Efficiency and Effectiveness in the Hotel Sector - A Three-Stage DEA Approach. [Citation Graph (, )][DBLP]
Application of QR Codes in Online Travel Distribution. [Citation Graph (, )][DBLP]
Dual evolution of planar parametric spline curves and T-spline level sets. [Citation Graph (, )][DBLP]
Search in 0.051secs, Finished in 0.053secs
|