TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 23.

Article

Hoos, Holger H. ; Hamel, K. A. ; Renz, K. ; Kilian, J. (2001)
Representing score-level music: using the Guido music-notation format.
In: Computing in musicology, 12
Article, Bibliographie

Stützle, Thomas ; Hoos, Holger H. (2000)
MAX-MIN ant system.
In: Future generation computer systems, 16
Article, Bibliographie

Hoos, Holger H. ; Stützle, T. (2000)
Stochastic local search for SAT: an empirical evaluation.
In: Journal of automated reasoning, 24
Article, Bibliographie

Hoos, Holger H. ; Stützle, T. (1999)
Towards a characterisation of the behaviour of stochastic local search for SAT.
In: Artificial intelligence, 12
Article, Bibliographie

Book Section

Hoos, Holger H. ; Stützle, T. (2000)
Local search algorithms for SAT: an empirical evaluation.
In: Highlights of satisfiability research in the year 2000: SAT 2000
Book Section, Bibliographie

Hoos, Holger H. ; Stützle, T. (2000)
SATLIB: an online resource for research on SAT.
In: Highlights of satisfiability research in the year 2000: SAT 2000
Book Section, Bibliographie

Hoos, Holger H. ; Stützle, T. (1999)
Systematic versus local search.
In: KI-99: Advances in artificial intelligence
Book Section, Bibliographie

Stützle, Thomas ; Hoos, Holger H. (1998)
MAX-MIN ant system and local search for combinatorial optimization problems.
In: Meta-Heuristics: Advances and trends in local search paradigms for optimization
Book Section, Bibliographie

Hoos, Holger H. (1996)
Solving hard combinatorial problems with GSAT - a case study.
In: KI-96: Advances in Artificial Intelligence
Book Section, Bibliographie

Book

Stützle, Thomas ; Hoos, Holger H. ; Roli, A. (2001)
A review of the literature on local search algorithms for MAX-SAT.
Book, Bibliographie

Kilian, Jürgen ; Hoos, Holger H. (1997)
Fermata: Flexible tempo detection for MIDI-file quantization.
Book, Bibliographie

Conference or Workshop Item

Kilian, Jürgen ; Hoos, Holger H. (2002)
Voice separation : a local optimisation approach.
Conference or Workshop Item, Bibliographie

Hoos, Holger H. ; Renz, K. ; Görg, M. (2001)
GUIDO/MIR - an experimental musical information retrieval system based on GUIDO music notation.
Conference or Workshop Item, Bibliographie

Renz, Kai ; Hoos, Holger H. (2001)
Web delivery of music using the GUIDO NoteServer.
Conference or Workshop Item, Bibliographie

Stützle, Thomas ; Hoos, Holger H. (1999)
Analyzing the run-time behaviour of iterated local search for the TSP.
Conference or Workshop Item, Bibliographie

Hoos, Holger H. ; Stützle, T. (1999)
On the empirical evaluation of Las Vegas algorithms.
Conference or Workshop Item, Bibliographie

Stützle, Thomas ; Hoos, Holger H. (1998)
Ameisenalgorithmen zur Lösung kombinatorischer Optimierungsprobleme.
Conference or Workshop Item, Bibliographie

Hoos, Holger H. ; Stützle, T. (1998)
Evaluating Las Vegas algorithms - pitfalls and remedies.
Conference or Workshop Item, Bibliographie

Brafman, Ronan I. ; Hoos, Holger H. ; Boutilier, Craig (1998)
LPSP: a linear, plan-level stochastic planner.
17th Workshop of the UK Planning and Scheduling Special Interest Group. West York, UK (September 1998)
Conference or Workshop Item, Bibliographie

Hoos, Holger H. ; Stützle, T. (1998)
Some surprising regularities in the behaviour of stochastic local search (Poster summery).
Conference or Workshop Item, Bibliographie

Stützle, Thomas ; Hoos, Holger H. (1997)
Improvements on the ant system: Introducing MAX-MIN ant system.
Conference or Workshop Item, Bibliographie

Stützle, Thomas ; Hoos, Holger H. (1997)
The MAX-MIN ant system and local search for the traveling salesman problem.
Conference or Workshop Item, Bibliographie

Ph.D. Thesis

Hoos, Holger H. (1999)
Stochastic local search: methods, models, applications.
Technische Universität Darmstadt
Ph.D. Thesis, Bibliographie

This list was generated on Tue May 28 01:44:06 2024 CEST.