Gagliolo, Matteo and Zhumatiy, Viktor and Schmidhuber, Juergen (2004) Adaptive Online Time Allocation to Search Algorithms. Technical Report UNSPECIFIED