Searching for authors named "Matthias Fuchs" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
Volume 4 Number 1 2004
- …Strategy development in tourism destinations: a DEA approach Abstract. The aim of the paper is to introduce an application of Data Envelopment Analysis (DEA) for benchmarking the efficiency of (tourism) service production processes on the level of tourism destinations. After a brief discussion of th…
- Add To MetaCart
-
Variational Shape Detection in Microscope Images Based on Joint Shape and Image Feature Statistics
- …This paper presents a novel variational formulation incorporating statistical knowledge to detect shapes in images. We propose to train an energy based on joint shape and feature statistics inferred from training data. Variational approaches to shape detection traditionally involve energies consisti…
- Add To MetaCart
-
Experiments in the Heuristic Use of Past Proof Experience
- …Problems stemming from the study of logic calculi in connection with an inference rule called "condensed detachment" are widely acknowledged as prominent test sets for automated deduction systems and their search guiding heuristics. It is in the light of these problems that we demonstrate the power …
- Cited by 16 (4 self) – Add To MetaCart
-
Learning Proof Heuristics By Adapting Parameters
- …We present a method for learning heuristics employed by an automated prover to control its inference machine. The hub of the method is the adaptation of the parameters of a heuristic. Adaptation is accomplished by a genetic algorithm. The necessary guidance during the learning process is provided by…
- Cited by 14 (5 self) – Add To MetaCart
-
Automatic Selection Of Search-Guiding Heuristics For Theorem Proving
- …Theorem proving essentially amounts to solving search problems. The intricacy of these in general undecidable problems makes the use of appropriate search-guiding heuristics indispensable. However, the appropriateness of a heuristic critically depends on the problem to be solved. Given a set of he…
- Cited by 5 (1 self) – Add To MetaCart
-
The application of goal-oriented heuristics for proving equational theorems via the unfailing Knuth-Bendix completion procedure A case study: lattice ordered groups
- …In this report we present a case study of employing goal-oriented heuristics when proving equational theorems with the (unfailing) Knuth-Bendix completion procedure. The theorems are taken from the domain of lattice ordered groups. It will be demonstrated that goal-oriented (heuristic) criteria for …
- Cited by 5 (3 self) – Add To MetaCart
-
An Evolutionary Approach To Support Web Page Design
- …Arranging pictures or photographs on a wall or a sheet of paper can be viewed as a layout problem that consists in placing a set of rectangles on a large rectangle so that there are no overlaps, and all edges are parallel to either the vertical or horizontal edge of the large rectangle. Automating t…
- Cited by 1 (0 self) – Add To MetaCart
-
Downloaded from
- …On behalf of:…
- Add To MetaCart
-
An alternative for handling AC
- …A method for efficiently handling associativity and commutativity (AC) in implementations of (equational) theorem provers without incorporating AC as an underlying theory will be presented. The key of substantial efficiency gains resides in a more suitable representation of permutation-equations (su…
- Add To MetaCart
-
Zielorientiertes Gleichheitsbeweisen mit Hilfe von Teamwork
- …edur, indem sie das Wissen durch Reduktion kompakt halt. Hier manifestiert sich auch der Haupt-Nachteil bei der rein zielorien1 tierten Vorgehensweise, die sich nur auf die Anwendung der Axiome stutzt, so da jede Anwendung essentieller Lemmata immer wieder durch die gleiche Folge von Anwendungen vo…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
