Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Brankovic, Ljiljana; Fernau, Henning

Combining Two Worlds: Parameterised Approximation for Vertex Cover.

ISAAC (1). 2010 S. 390 - 402


Fernau, Henning; Kaufmann, Michael; Poths, Mathias

Comparing trees via crossing minimization.

J. Comput. Syst. Sci. Bd. 76. H. 7. 2010 S. 593 - 608


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