Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Binkele-Raible, Daniel; Fernau, Henning
Enumerate and Measure: Improving Parameter Budget Management.IPEC. 2010 S. 38 - 49
Binkele-Raible, Daniel; Fernau, Henning; Gaspers, Serge et al.
Exact exponential-time algorithms for finding bicliques.Inf. Process. Lett. Bd. 111. H. 2. 2010 S. 64 - 67
Costa Florêncio, Christophe; Fernau, Henning
Finding Consistent Categorial Grammars of Bounded Value: A Parameterized Approach.LATA. 2010 S. 202 - 213
Weyers, Benjamin; Luther, Wolfram
Formal Modeling and Reconfiguration of User Interfaces.SCCC. 2010 S. 236 - 245
Costa Florêncio, Christophe; Fernau, Henning
Hölder Norms and a Hierarchy Theorem for Parameterized Classes of CCG.ICGI. 2010 S. 280 - 283
D. Lattner, Andreas; J. Timm, Ingo
Interview with Paul Davidsson.Künstliche Intell. Bd. 24. H. 2. 2010 S. 159 - 160
Bergmann, Ralph
KI im Daten-Tsunami.Künstliche Intell. Bd. 24. H. 4. 2010 S. 279 - 281
J. Timm, Ingo; D. Lattner, Andreas
Künstliche Intelligenz in der Logistik.Künstliche Intell. Bd. 24. H. 2. 2010 S. 99 - 103
Dediu, Adrian-Horia; Fernau, Henning; Martín-Vide, Carlos
Language and Automata Theory and Applications, 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. ProceedingsSpringer 2010
Dallmeyer, Jörg; Bogon, Tjorben; Lorion, Yann et al.
Migration simulation on potential field based landscapes.SimuTools. 2010 S. 73