|
Aumüller, David |
2004 |
Usability Meets Instant Gratification on the Semantic Web |
Report |
pdf |
|
Wolter, Frank |
1998 |
Fragments of Common knowledge Logics |
Report |
pdf |
|
Wolter, Frank |
1998 |
The product of converse PDL and polymodal K |
Report |
pdf |
|
Wolter, Frank Zakharyaschev, Michael... |
1999 |
Modal description logics: modalizing roles |
Report |
pdf |
|
Wolter, Frank Zakharyaschev, Michael... |
1998 |
Dynamic description logics |
Report |
pdf |
|
Wolter, Frank Zakharyaschev, Michael... |
1998 |
Temporalizing description logics |
Report |
pdf |
|
Wolter, Frank Zakharyaschev, Michael... |
1998 |
Intuitionistic Modal Logics |
Report |
pdf |
|
Wolter, Frank Zakharyaschev, Michael... |
1998 |
Multi-dimensional description logics |
Report |
pdf |
|
Wolter, Frank Zakharyaschev, Michael... |
1998 |
Intuitionistic Modal Logics as fragments of Classical Bimodal Logics |
Report |
pdf |
|
Wagner, Gerd |
1996 |
From Partial to Possibilistic Logic |
Report |
pdf |
|
Wagner, Gerd |
1996 |
VIVA Multi-Agent Logic Programming |
Report |
pdf |
|
Wagner, Gerd |
1996 |
Conceptual Foundations of Artificial Agents (Zusammenfassung der wissenschaftlichen Ergebnisse zur Habilitationsschrift) |
Report |
pdf |
|
Wagner, Gerd |
1996 |
Vivid Agents - How they Deliberate, How They React, How They Are Verified |
Report |
pdf |
|
Spruth, Wilhelm G. Hering, Klaus ... |
1999 |
Zwischenbericht zur Arbeit im DFG-Projekt Partitionierungsalgorithmen für Modelldatenstrukturen zur parallelen compilergesteuert |
Report |
pdf |
|
Spruth, Wilhelm G. Hering, Klaus ... |
1997 |
Zwischenbericht zur Arbeit im DFG-Projekt |
Report |
pdf |
|
Steffen, M. Herrmann, Paul ... |
1998 |
Zwischenbericht zum Projekt ''FPGA-Entwurfssystem'' |
Report |
pdf |
|
Schmidt, Marco Möhrke, Ulrich ... |
1996 |
Verhaltensbeschreibung in der High-Level-Synthese |
Report |
pdf |
|
Schmidt, Marco Möhrke, Ulrich ... |
1996 |
VH2FG ein VHDL-nach-Flussgraph-Converter fuer CADDY |
Report |
pdf |
|
Sklyar, Nataliya |
2001 |
Survey of existing Bio-ontologies |
Report |
pdf |
|
Sosna, Dieter |
2007 |
Phonetische Suche in neugriechischen Texten |
Report |
pdf |
|
Sosna, Dieter |
2001 |
Der Annotationsserver als mathematischer Bedienprozeß, Teil 1 |
Report |
pdf |
|
Sosna, Dieter |
2000 |
Annotationen in Dokumenten einer verteilten digitalen Bibliothek |
Report |
|
|
Sosna, Dieter |
1997 |
Document Version Management Using an Adapted Segment Tree |
Report |
pdf |
|
Sosna, Dieter Zschoettge, Steffen |
1995 |
Zellulare Automaten und ihre Anwendung bei der Modellierung von Wellenerscheinungen |
Report |
pdf |
|
Ramsch, Jan Sosna, Dieter |
1997 |
Das Metainformationssystem DST für ATKIS |
Report |
pdf |
|
Rogler, Frank Dötsch, Volker |
1997 |
Das Konzept der Therapievollständigkeit medizinischer Wissensbasen |
Report |
pdf |
|
Schierwagen, Andreas |
1995 |
Blickkontrolle in neuraler Architektur für Aktive Sehsysteme |
Report |
pdf |
|
Rahm, Erhard |
1998 |
Evaluation of object-relational database systems for fulltext retrieval |
Report |
pdf |
|
Rahm, Erhard Stöhr, Thomas |
1994 |
Controlling Disk Contention for Parallel Query Processing in Shared Disk Database Systems |
Report |
pdf |
|
Rahm, Erhard Bernstein, Philip A. |
2001 |
On Matching Schemas Automatically |
Report |
pdf |
|
Ramsch, Jan Sosna, Dieter |
1997 |
Temporale Datenmodelle und Metainformationssysteme für GIS |
Report |
pdf |
|
Pullwitt, Daniel |
2003 |
Clusteralgorithmen für Textdaten |
Report |
pdf |
|
Müller, Robert Greiner, Ulrike ... |
2003 |
AgentWork: A Workflow System Supporting Event-Oriented Workflow Adaptation |
Report |
pdf |
|
Möhrke, Ulrich Herrmann, Paul ... |
1996 |
Das Xilinx-LCA-Format |
Report |
pdf |
|
Märtens, Holger |
1998 |
Disk Scheduling for Intermediate Results of Large Join Queries in Shared-Disk Parallel Database Systems |
Report |
pdf |
|
Märtens, Holger |
1998 |
Options in Scan Processing for Shared-Disk Parallel Database Systems |
Report |
pdf |
|
Möhrke, Ulrich Herrmann, Paul ... |
1998 |
Ein Branch&Bound-Ansatz zur Verdrahtung von Field Programmable Gate-Arrays |
Report |
pdf |
|
Melnik, Sergey |
1998 |
Architektur und Realisierung eines verteilten XML-basierten Informationssystems |
Report |
pdf |
|
Melnik, Sergey Rahm, Erhard ... |
2003 |
Rondo: A Programming Platform for Generic Model Management (Extended Version) |
Report |
pdf |
|
Jain, Sanjay Kinber, Efim ... |
1997 |
Learning languages and functions by erasing |
Report |
|
|
Jain, Sanjay Lange, Steffen ... |
1997 |
On the learnability of recursively enumerable languages from good examples |
Report |
|
|
Jantke, Klaus P. Dötsch, Volker |
1997 |
Theoretical Investigations and Experimental Explorations of the Necessity of User Guidance in Case-Based Knowledge Acquisition |
Report |
|
|
Jantke, Klaus P. Dötsch, Volker |
1997 |
Extended Experimental Explorations of the Necessity of User Guidance in Case-Based Learning |
Report |
|
|
Khalil, Hesham |
2004 |
Normalizing Disjunctive Rule Bases by Retraction |
Report |
|
|
Kirsten, Toralf Do, Hong-Hai ... |
2004 |
A Data Warehouse for Multidimensional Gene Expression Analysis |
Report |
|
|
Hering, Klaus Haupt, Reiner ... |
1995 |
Cone-basierte, hierarchische Modellpartitionierung zur parallelen compilergesteuerten Logiksimulation beim VLSI-Design |
Report |
pdf |
|
Hering, Klaus Haupt, Reiner ... |
1995 |
An Improved Mixture of Experts Approach for Model Partitioning in VLSI-Design Using Genetic Algorithms |
Report |
pdf |
|
Herre, Heinrich Wagner, Gerd |
1996 |
Solving Practical Reasoning Problems with Extended Disjunctive Logic Programming |
Report |
pdf |
|
Herre, Heinrich Wagner, Gerd |
1996 |
Stable Semantics of Temporal Deduktive Databases |
Report |
pdf |
|
Herrmann, Paul Kebschull, Udo ... |
1998 |
Hard- und Software-Entwicklung eines ATM-Testgenerators/Monitors |
Report |
pdf |
