Ursel Hahn

Learn More
An approach to knowledge-based understanding of realistic texts from the medical domain (viz. findings of gastro-intestinal diseases) is presented. We survey major methodological features of an object-oriented, fully lexicalized, dependency-based grammar model which is tightly linked to domain knowledge representations based on description logics. The(More)
This paper describes the verification methods and techniques that were established to verify the microarchitecture and architectural correctness of the z990 microprocessor and storage subsystem. The ring-based, four-book storage subsystem links 64 superscalar microprocessors together in this system. The verification process started at the unit level, which(More)
  • 1