dblp.uni-trier.dewww.uni-trier.de

Matthias Fuchs Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
29EEMarkus Zanker, Matthias Fuchs, Wolfram Höpken, Mario Tuta, Nina Müller: Evaluating Recommender Systems in Tourism - A Case Study from Austria. ENTER 2008: 24-34
28EEMatthias Fuchs, Mario Tuta, Wolfram Höpken: Adoption of E-mail Marketing in the Hotel Sector. ENTER 2008: 279-290
27EEMatthias Fuchs, Wolfram Höpken, Alexander Eybl, Jürgen Ulrich: Selling Accommodation Packages in Online Auctions - The Case of eBay. ENTER 2008: 291-302
26EEWolfram Höpken, Markus Scheuringer, Dirk Linke, Matthias Fuchs: Context-based Adaptation of Ubiquitous Web Applications in Tourism. ENTER 2008: 533-544
25EEMartin Görner, Thomas Wimböck, A. Baumann, Matthias Fuchs, Thomas Bahls, Markus Grebenstein, Christoph Borst, Jörg Butterfaß, Gerd Hirzinger: The DLR-Crawler: A testbed for actively compliant hexapod walking based on the fingers of DLR-Hand II. IROS 2008: 1525-1531
24EERobert Feichtinger, Matthias Fuchs, Bert Jüttler, Otmar Scherzer, Huaiping Yang: Dual evolution of planar parametric spline curves and T-spline level sets. Computer-Aided Design 40(1): 13-24 (2008)
23EEMatthias Fuchs, Otmar Scherzer: Regularized Reconstruction of Shapes with Statistical a priori Knowledge. International Journal of Computer Vision 79(2): 119-135 (2008)
2007
22EEThomas Beer, Matthias Fuchs, Wolfram Höpken, Jörg Rasinger, Hannes Werthner: CAIPS: A Context-Aware Information Push Service in Tourism. ENTER 2007: 129-140
21EEMatthias Fuchs, Wolfram Höpken, Peter Mirski, Andreas Lembacher, Bernd Ainedter: eTourism Curriculum Development: A Destination Management Organisation Perspective. ENTER 2007: 523-534
20EEAlexander Wilhelm, William W. Melek, Jan Paul Huissoon, Christopher Michael Clark, Gerd Hirzinger, Norbert Sporer, Matthias Fuchs: Dynamics of step-climbing with deformable wheels and applications for mobile Robotics. IROS 2007: 783-788
19EEThomas Beer, Jörg Rasinger, Wolfram Höpken, Matthias Fuchs, Hannes Werthner: Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages. RuleML 2007: 199-206
2006
18EEHuaiping Yang, Matthias Fuchs, Bert Jüttler, Otmar Scherzer: Evolution of T-Spline Level Sets with Distance Field Constraints for Geometry Reconstruction and Image Segmentation. SMI 2006: 37
2005
17EEMarkus Grasmair, Frank Lenzen, Andreas Obereder, Otmar Scherzer, Matthias Fuchs: A Non-convex PDE Scale Space. Scale-Space 2005: 303-315
2002
16 Matthias Fuchs, Geoff Sutcliffe: Homogeneous Sets of ATP Problems. FLAIRS Conference 2002: 57-61
2000
15 Matthias Fuchs: Proofs as Schemas and Their Heuristic Use. J. Symb. Comput. 30(1): 37-61 (2000)
1999
14 Marc Fuchs, Dirk Fuchs, Matthias Fuchs: Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. GECCO 1999: 1027-1032
13 Matthias Fuchs: Large Populations Are Not Always The Best Choice In Genetic Programming. GECCO 1999: 1033-1038
1998
12 Matthias Fuchs: A Feature-Based Learning Method for Theorem Proving. AAAI/IAAI 1998: 457-462
11 Marc Fuchs, Matthias Fuchs: Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving. AI Commun. 11(3-4): 175-189 (1998)
1997
10EEDirk Fuchs, Matthias Fuchs: CODE: A Powerful Prover for Problems of Condensed Detachment. CADE 1997: 260-263
9EEMatthias Fuchs: Evolving Combinators. CADE 1997: 416-430
8 Matthias Fuchs: Flexible Re-enactment of Proofs. EPIA 1997: 13-24
7 Marc Fuchs, Matthias Fuchs: Applying Case-Based Reasoning to Automated Deduction. ICCBR 1997: 23-32
6 Jörg Denzinger, Marc Fuchs, Matthias Fuchs: High Performance ATP Systems by Combining Several AI Methods. IJCAI (1) 1997: 102-107
1996
5EEMatthias Fuchs: Experiments in the Heuristic Use of Past Proof Experience. CADE 1996: 523-537
4 Matthias Fuchs, Andreas Abecker: Optimized Nearest-Neighbor Classifiers Using Generated Instances. KI 1996: 71-83
1995
3 Matthias Fuchs: Learning Proof Heuristics by Adaptive Parameters. ICML 1995: 235-243
2EEJürgen Avenhaus, Jörg Denzinger, Matthias Fuchs: DISCOUNT: A SYstem for Distributed Equational Deduction. RTA 1995: 397-402
1994
1 Jörg Denzinger, Matthias Fuchs: Goal Oriented Equational Theorem Proving Using Team Work. KI 1994: 343-354

Coauthor Index

1Andreas Abecker [4]
2Bernd Ainedter [21]
3Jürgen Avenhaus [2]
4Thomas Bahls [25]
5A. Baumann [25]
6Thomas Beer [19] [22]
7Christoph Borst [25]
8Jörg Butterfaß [25]
9Christopher Michael Clark [20]
10Jörg Denzinger [1] [2] [6]
11Alexander Eybl [27]
12Robert Feichtinger [24]
13Dirk Fuchs [10] [14]
14Marc Fuchs [6] [7] [11] [14]
15Martin Görner [25]
16Markus Grasmair [17]
17Markus Grebenstein [25]
18Gerd Hirzinger [20] [25]
19Wolfram Höpken [19] [21] [22] [26] [27] [28] [29]
20Jan Paul Huissoon [20]
21Bert Jüttler [18] [24]
22Andreas Lembacher [21]
23Frank Lenzen [17]
24Dirk Linke [26]
25William W. Melek [20]
26Peter Mirski [21]
27Nina Müller [29]
28Andreas Obereder [17]
29Jörg Rasinger [19] [22]
30Otmar Scherzer [17] [18] [23] [24]
31Markus Scheuringer [26]
32Norbert Sporer [20]
33Geoff Sutcliffe [16]
34Mario Tuta [28] [29]
35Jürgen Ulrich [27]
36Hannes Werthner [19] [22]
37Alexander Wilhelm [20]
38Thomas Wimböck [25]
39Huaiping Yang [18] [24]
40Markus Zanker [29]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)