DFKI Research Reports 1995

[Back]

 E RR-95-20
Typed Feature Structures, Definite Equivalences, Greatest Model Semantics, and Nonmonotonicity
 E RR-95-19
Distributed Parsing With HPSG Grammar
 E RR-95-18
Efficient Parameterizable Type Expansion for Typed Feature Formalisms
 E RR-95-17
Classification and Representation of Types in TDL
 E RR-95-14
Functional Computation as Concurrent Computation
 E RR-95-13
Deduction-based Refinement Planning
 E RR-95-12
Research in Constraint-Based Layout, Visualization, CAD, and Related Topics: A Bibliographical Survey
 E RR-95-11
Incremental Generation for Real-Time Applications
 E RR-95-10
The Oz Programming Model
 E RR-95-09
A Refined Architecture for Terminological Systems:
Terminology = Schema + Views
 E RR-95-08
An Abstract Machine for Oz
 E RR-95-07
The Complexity of Concept Languages
 E RR-95-06
FEGRAMED
An interactive Graphics Editor for Feature Structures
 E RR-95-05
A First-Order Axiomatization of the Theory of Finite Trees
 E RR-95-04
Task Acquisition with a Description Logic Reasoner
 E RR-95-03
Document Analysis at DFKI Part 2: Information Extraction
 E RR-95-02
Document Analysis at DFKI
Part 1: Image Analysis and Text Recognition
 E RR-95-01
Cooperative Transportation Scheduling
an application Domain for DAI

This Document was last updated at 11:08 on Thursday, July 21, 2005.

Back to the DFKI Publications Page, First Year(90), Previous Year(94), Last Year(04)

DFKI-Bibliothek (bib@dfki.uni-kl.de)

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.