Blättern nach Person
Ebene hoch |
2002
Kilian, Jürgen ; Hoos, Holger H. (2002)
Voice separation : a local optimisation approach.
Konferenzveröffentlichung, Bibliographie
2001
Hoos, Holger H. ; Renz, K. ; Görg, M. (2001)
GUIDO/MIR - an experimental musical information retrieval system based on GUIDO music notation.
Konferenzveröffentlichung, Bibliographie
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
Artikel, Bibliographie
Renz, Kai ; Hoos, Holger H. (2001)
Web delivery of music using the GUIDO NoteServer.
Konferenzveröffentlichung, Bibliographie
Stützle, Thomas ; Hoos, Holger H. ; Roli, A. (2001)
A review of the literature on local search algorithms for MAX-SAT.
Buch, Bibliographie
2000
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
Buchkapitel, Bibliographie
Stützle, Thomas ; Hoos, Holger H. (2000)
MAX-MIN ant system.
In: Future generation computer systems, 16
Artikel, 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
Buchkapitel, Bibliographie
Hoos, Holger H. ; Stützle, T. (2000)
Stochastic local search for SAT: an empirical evaluation.
In: Journal of automated reasoning, 24
Artikel, Bibliographie
1999
Stützle, Thomas ; Hoos, Holger H. (1999)
Analyzing the run-time behaviour of iterated local search for the TSP.
Konferenzveröffentlichung, Bibliographie
Hoos, Holger H. ; Stützle, T. (1999)
On the empirical evaluation of Las Vegas algorithms.
Konferenzveröffentlichung, Bibliographie
Hoos, Holger H. (1999)
Stochastic local search: methods, models, applications.
Technische Universität Darmstadt
Dissertation, Bibliographie
Hoos, Holger H. ; Stützle, T. (1999)
Systematic versus local search.
In: KI-99: Advances in artificial intelligence
Buchkapitel, Bibliographie
Hoos, Holger H. ; Stützle, T. (1999)
Towards a characterisation of the behaviour of stochastic local search for SAT.
In: Artificial intelligence, 12
Artikel, Bibliographie
1998
Stützle, Thomas ; Hoos, Holger H. (1998)
Ameisenalgorithmen zur Lösung kombinatorischer Optimierungsprobleme.
Konferenzveröffentlichung, Bibliographie
Hoos, Holger H. ; Stützle, T. (1998)
Evaluating Las Vegas algorithms - pitfalls and remedies.
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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
Buchkapitel, Bibliographie
Hoos, Holger H. ; Stützle, T. (1998)
Some surprising regularities in the behaviour of stochastic local search (Poster summery).
Konferenzveröffentlichung, Bibliographie
1997
Kilian, Jürgen ; Hoos, Holger H. (1997)
Fermata: Flexible tempo detection for MIDI-file quantization.
Buch, Bibliographie
Stützle, Thomas ; Hoos, Holger H. (1997)
Improvements on the ant system: Introducing MAX-MIN ant system.
Konferenzveröffentlichung, Bibliographie
Stützle, Thomas ; Hoos, Holger H. (1997)
The MAX-MIN ant system and local search for the traveling salesman problem.
Konferenzveröffentlichung, Bibliographie
1996
Hoos, Holger H. (1996)
Solving hard combinatorial problems with GSAT - a case study.
In: KI-96: Advances in Artificial Intelligence
Buchkapitel, Bibliographie