Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen
Publikationen
Ergebnisse pro Seite:  10

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.

KI. Bd. 24. H. 2. 2010 S. 159 - 160


Bergmann, Ralph

KI im Daten-Tsunami.

KI. Bd. 24. H. 4. 2010 S. 279 - 281


J. Timm, Ingo; D. Lattner, Andreas

Künstliche Intelligenz in der Logistik.

KI. Bd. 24. H. 2. 2010 S. 99 - 103



Dallmeyer, Jörg; Bogon, Tjorben; Lorion, Yann et al.

Migration simulation on potential field based landscapes.

SimuTools. 2010 S. 73


Fernau, Henning

minimum dominating set of queens: A trivial programming exercise?

Discrete Applied Mathematics. Bd. 158. H. 4. 2010 S. 308 - 318


Fernau, Henning

Parameterized algorithmics for -Hitting Set.

Int. J. Comput. Math. Bd. 87. H. 14. 2010 S. 3157 - 3174