| 2008 |
|---|
| 21 | EE | Robert 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) |
| 20 | EE | Matthias Fuchs,
Otmar Scherzer:
Regularized Reconstruction of Shapes with Statistical a priori Knowledge.
International Journal of Computer Vision 79(2): 119-135 (2008) |
| 2007 |
|---|
| 19 | EE | 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.
RuleML 2007: 199-206 |
| 2006 |
|---|
| 18 | EE | 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.
SMI 2006: 37 |
| 2005 |
|---|
| 17 | EE | Markus 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 |
|---|
| 10 | | Dirk Fuchs,
Matthias Fuchs:
CODE: A Powerful Prover for Problems of Condensed Detachment.
CADE 1997: 260-263 |
| 9 | | Matthias 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 |
|---|
| 5 | | Matthias 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 |
| 2 | | Jü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 |
