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: 22.

Kilian, Jürgen and Hoos, Holger H. (2002):
Voice separation : a local optimisation approach.
In: International Conference on Music Information Retrieval <2002, Paris>: ISMIR 2002 conference proceedings, third International Conference ... Oct. 13-17, 2002, IRCAM.- Paris, 2002.- S. 36-46, [Conference or Workshop Item]

Hoos, Holger H. and Renz, K. and Görg, M. (2001):
GUIDO/MIR - an experimental musical information retrieval system based on GUIDO music notation.
In: ISMIR 2001: International Symposium on Music Information Retrieval <2, 2001>: Proceedings, [Conference or Workshop Item]

Hoos, Holger H. and Hamel, K. A. and Renz, K. and Kilian, J. (2001):
Representing score-level music: using the Guido music-notation format.
12[Other]

Renz, Kai and Hoos, Holger H. (2001):
Web delivery of music using the GUIDO NoteServer.
In: Webdelmusic 2001: International Conference on WEB Delivering of Music <1, 2001, Florence>: Proceedings. S. 193. - Los Alamitos, Calif.: IEEE, 2001, Los Alamitos, Calif., IEEE, [Conference or Workshop Item]

Stützle, Thomas and Hoos, Holger H. and Roli, A. (2001):
A review of the literature on local search algorithms for MAX-SAT.
AIDA--Darmstadt, Techn. Univ., FB 20, FG Intellektik, [Book]

Hoos, Holger H. and Stützle, T. (2000):
Local search algorithms for SAT: an empirical evaluation.
In: Highlights of satisfiability research in the year 2000: SAT 2000. Hrsg.: I. Gent, H. van Maaren, T. Walsh. - Amsterdam (u.a.): IOS Press, 2000. S. 43-86, Amsterdam (u.a.), IOS Press, [Book Section]

Stützle, Thomas and Hoos, Holger H. (2000):
MAX-MIN ant system.
In: Future generation computer systems, 16. pp. S. 889-914, [Article]

Hoos, Holger H. and Stützle, T. (2000):
SATLIB: an online resource for research on SAT.
In: Highlights of satisfiability research in the year 2000: SAT 2000. Hrsg.: I. Gent, H. van Maaren, T. Walsh. - Amsterdam (u.a.): IOS Press, 2000. S.283-292, Amsterdam (u.a.), IOS Press, [Book Section]

Hoos, Holger H. and Stützle, T. (2000):
Stochastic local search for SAT: an empirical evaluation.
In: Journal of automated reasoning, 24pp. S. 421-481, [Article]

Stützle, Thomas and Hoos, Holger H. (1999):
Analyzing the run-time behaviour of iterated local search for the TSP.
In: Metaheuristics Conference <3, 1999, Angra Dos Reis, Brasilia>: Proceedings. S. 449-453, [Conference or Workshop Item]

Hoos, Holger H. and Stützle, T. (1999):
On the empirical evaluation of Las Vegas algorithms.
In: IJCAI'99: International Joint Conference on Artificial Intelligence <14, 1999, Stockholm>; Workshop on Empirical AI; Proceedings. Hrsg.: A. Moukus. - Berlin (u.a.): Springer, 1999 (Lecture notes in artificial intelligence; 1788), Berlin (u.a.), Springer, [Conference or Workshop Item]

Hoos, Holger H. (1999):
Stochastic local search: methods, models, applications.
215St. Augustin: Infix, 1999. X, 219 S,
St. Augustin, Infix, TU Darmstadt, [Ph.D. Thesis]

Hoos, Holger H. and Stützle, T. (1999):
Systematic versus local search.
In: KI-99: Advances in artificial intelligence. Hrsg.: W. Burgard, T. Christaller, A.B. Cremers. - Berlin (u.a.): Springer, 1999. S. 289-293 (Lecture notes in artificial intelligence; 1701), Berlin (u.a.), Springer, [Book Section]

Hoos, Holger H. and Stützle, T. (1999):
Towards a characterisation of the behaviour of stochastic local search for SAT.
In: Artificial intelligence, 12pp. 213-232, [Article]

Stützle, Thomas and Hoos, Holger H. (1998):
Ameisenalgorithmen zur Lösung kombinatorischer Optimierungsprobleme.
In: LIT'98: Leipziger Informatiktage <6, 1998, Leipzig>: Hrsg.: W.S. Wittig u. G. Grieser. S. 71-76, [Conference or Workshop Item]

Hoos, Holger H. and Stützle, T. (1998):
Evaluating Las Vegas algorithms - pitfalls and remedies.
In: UAI'98: Conference on Uncertainty in Artificial Intelligence <14, 1998, Madison, Wis.>: Proceedings. - San Francisco, CA: Morgan Kaufmann, 1998. S. 238-245, San Francisco, CA, Morgan Kaufmann, [Conference or Workshop Item]

Stützle, Thomas and 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. Hrsg.: S. Voss (u.a.) - Boston (u.a.): Kluwer, 1998. S. 137-154, Boston (u.a.), Kluwer, [Book Section]

Hoos, Holger H. and Stützle, T. (1998):
Some surprising regularities in the behaviour of stochastic local search (Poster summery).
1520In: CP'98: International Conference on Principles and Practice of Constraint Programming <4, 1998, Pisa>: Proceedings. Hrsg.: M. Maher (u.a.) - Berlin (u.a.): Springer, 1998. S. 470, Berlin (u.a.), Springer, [Conference or Workshop Item]

Kilian, Jürgen and Hoos, Holger H. (1997):
Fermata: Flexible tempo detection for MIDI-file quantization.
Darmstadt: Techn. Hochschule, FB 20, Inst. für Theoretische Informatik, 1997. 4 S,
Darmstadt, Techn. Hochschule, FB 20, Inst. für Theoret. Informatik, [Book]

Stützle, Thomas and Hoos, Holger H. (1997):
Improvements on the ant system: Introducing MAX-MIN ant system.
In: International Conference on Artificial Neural Networks and Genetic Algorithms <1997>: Proceedings. Hrsg.: G.D. Smith (u.a.) - Wien (u.a.): Springer,1997. S. 246-250, Wien (u.a.), Springer, [Conference or Workshop Item]

Stützle, Thomas and Hoos, Holger H. (1997):
The MAX-MIN ant system and local search for the traveling salesman problem.
In: IEEE International Conference on Evolutionary Computation and Evolutionary Programming Conference <1997>: Proceedings. Hrsg.; T. Baeck (u.a.) - IEEE Press 1997. S. 309-314, IEEE Press 1997, IEEE Press 1997, [Conference or Workshop Item]

Hoos, Holger H. (1996):
Solving hard combinatorial problems with GSAT - a case study.
In: KI-96: Advances in Artificial Intelligence. Hrsg.: G. Görz (u.a.) - Berlin (u.a.): Springer, 1996. S. 107-119, Berlin (u.a.), Springer, [Book Section]

This list was generated on Tue Aug 4 00:44:54 2020 CEST.