Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 1994
Alle Filter entfernen
Zeige Ergebnisse 91 bis 100 von 105

  1. Cornelia Fischer

    PAntUDE -- An Anti-Unification Algorithm for Expressing Refined Generalizations

    DFKI, DFKI Technical Memos (TM), Vol. 94-04, 1994.

  2. Victoria Hall

    Uncertainty-Valued Horn Clauses

    DFKI, DFKI Technical Memos (TM), Vol. 94-03, 1994.

  3. Rainer Bleisinger; Berthold Kröll

    Representation of Non-Convex Time Intervals and Propagation of Non-Convex Relations

    DFKI, DFKI Technical Memos (TM), Vol. 94-02, 1994.

  4. Rainer Bleisinger; Klaus-Peter Gores

    Text Skimming as a Part in Paper Document Understanding

    DFKI, DFKI Technical Memos (TM), Vol. 94-01, 1994.

  5. Gert Smolka

    A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards

    DFKI, DFKI Research Reports (RR), Vol. 94-03, 1994.

  6. Elisabeth Andre; Thomas Rist

    Von Textgeneratoren zu Intellimedia-Präsentationssystemen

    DFKI, DFKI Research Reports (RR), Vol. 94-02, 1994.

  7. Elisabeth Andre; Thomas Rist

    Multimedia Presentations: The Support of Passive and Active Viewing

    DFKI, DFKI Research Reports (RR), Vol. 94-01, 1994.

  8. Wray Buntine; Hans-Jürgen Bürckert

    On Solving Equations and Disequations

    In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994.

  9. Hans-Jürgen Bürckert

    A Resolution Principle for Constrained Logics

    In: Artificial Intelligence (AIJ), Vol. 66, Pages 235-271, Elsevier, 1994.

  10. Dieter Hutter; Jürgen Cleve

    A Methodology for Equational Reasoning

    In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: …

Jahr