|
Rahm, Erhard |
1998 |
Evaluation of Object-Relational Databases for Fulltext Retrieval. |
Paper |
|
|
Müller, Robert Stöhr, Thomas ... |
1998 |
Evaluierung von technischen Metadaten-Tools. |
Paper |
|
|
Märtens, Holger Sauer, J. |
1998 |
Ein Ablaufplanungssystem auf Basis Neuronaler Netze. |
Paper |
|
|
Sosna, Dieter |
1998 |
Musikinstrumentenmuseum - online, |
Paper |
|
|
Bogdan, M. |
1998 |
Signalverarbeitung biologischer Nervensignale zur Steuerung einer Prothese mit Hilfe künstlicher neuronaler Netze |
Paper |
|
|
Bogdan, M. Rosenstiel, Wolfgang |
1998 |
Real Time Processing of Nerve Signals for Controlling a Limb Prostheses |
Paper |
|
|
Lindemann, Christoph |
1998 |
Performance Modelling with Deterministic and Stochastic Petri Nets |
Paper |
|
|
Zakharyaschev, Michael Wolter, Frank... |
1998 |
Advanced Modal logic |
Paper |
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 |
|
Wolter, Frank Zakharyaschev, Michael... |
1998 |
On the decidability of description logics with modal operators |
Paper |
pdf |
|
Weber, S. |
1998 |
Investigations in Belnap's Logic of Inconsistent and Unknown Information |
Diss |
pdf |
|
Wolter, Frank |
1998 |
Fragments of Common knowledge Logics |
Report |
pdf |
|
Wolter, Frank |
1998 |
The algebraic face of minimality |
Paper |
pdf |
|
Wolter, Frank |
1998 |
On Logics with Coimplication |
Paper |
pdf |
|
Wolter, Frank |
1998 |
The product of converse PDL and polymodal K |
Report |
pdf |
|
Türpe, Sven |
1998 |
Entwicklung eines Systems zur dezentralen Online-Ticketerstellung und -kontrolle |
Dipl |
pdf |
|
Rektor der Universität Leipzig |
1998 |
Habilitationsordnung der Fakultät für Mathematik und Informatik |
Universitary |
pdf |
|
Steffen, M. Herrmann, Paul ... |
1998 |
Zwischenbericht zum Projekt ''FPGA-Entwurfssystem'' |
Report |
pdf |
|
Seharsch, Andre' |
1998 |
Klassifikation von Dokumenten mit statistischen und regelbasierten Verfahren |
Dipl |
pdf |
|
Siedschlag, Thomas |
1998 |
Iterative Modellpartitionierungsverfahren für die parallele Logiksimulation |
Dipl |
pdf |
|
Schulze, Hendrik |
1998 |
Entwicklung, Untersuchung und Implementierung von Parallelen Evolutionären Algorithmen für die Modellpartitionierungskomponente |
Dipl |
pdf |
|
Schlieder,Torsten |
1998 |
Dynamische Datenbankorganisation für multimediale Informationssysteme |
Dipl |
pdf |
|
Rahm, Erhard Schwipper, Katja ... |
1998 |
Dienst für Online-Dokumente gestartet |
Paper |
pdf |
|
Rahm, Erhard |
1998 |
Evaluation of object-relational database systems for fulltext retrieval |
Report |
pdf |
|
Pauli, Dirk |
1998 |
Spezifikation und Implementierung einer Übungssoftware deutsch-arabisch |
Dipl |
pdf |
|
Müller, Robert Heller, Barbara ... |
1998 |
HematoWork: A Knowledge-based Workflow System for Distributed Cancer Therapy |
Paper |
pdf |
|
Müller, Jean-Alexander |
1998 |
ATM versus Gigabit Ethernet im TCP/IP-LAN. Design und Implementierung eines Hochgeschwindigkeitsnetzwerkes für TCP/IP |
Dipl |
pdf |
|
Neumeister, Matthias |
1998 |
Fallbasiertes Lernen von Bewertungsfunktionen |
Dipl |
pdf |
|
Müller, Robert Rahm, Erhard |
1998 |
A Petri Net-based Model for Knowledge-based Workflows in Distributed Cancer Therapy |
Paper |
pdf |
|
Möhrke, Ulrich Herrmann, Paul ... |
1998 |
Ein Branch&Bound-Ansatz zur Verdrahtung von Field Programmable Gate-Arrays |
Report |
pdf |
|
Müller, Arnd |
1998 |
Ein Billardroboter. Praktische Realisierung von ausgewählten Konzepten der Robotik |
Dipl |
pdf |
|
Märtens, Holger |
1998 |
Skew-Insensitive Join Processing in Shared-Disk Database Systems |
Paper |
pdf |
|
Märtens, Holger |
1998 |
Skew-tolerantes, dynamisches LPT-Scheduling zur Join-Verarbeitung in parallelen Shared-Disk-Datenbanksystemen |
Paper |
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 |
|
Melnik, Sergey |
1998 |
Architektur und Realisierung eines verteilten XML-basierten Informationssystems |
Report |
pdf |
|
Miarka, Ralph |
1998 |
Formal Specification and Verification of Knowledge and its Application |
Dipl |
pdf |
|
Mader, Michael |
1998 |
Simulation von Token Ring Netzwerken |
Dipl |
pdf |
|
Institut für Informatik |
1998 |
Kommentiertes Vorlesungsverzeichnis des Instituts für Informatik, Wintersemester 1997/98 |
Universitary |
pdf |
|
Institut für Informatik |
1998 |
Jahresbericht 1997 |
Universitary |
pdf |
|
Herrmann, Paul Kebschull, Udo ... |
1998 |
Hard- und Software-Entwicklung eines ATM-Testgenerators/Monitors |
Report |
pdf |
|
Hamzaoui, Raouf Saupe, Dietmar ... |
1998 |
Rate-distortion based video coding with adaptive mean-removed vector quantization |
Paper |
pdf |
|
Hartwig, Rolf |
1998 |
Termersetzungssysteme |
Lecture notes |
pdf |
|
Hartwig, Rolf |
1998 |
Grundlagen der Programmverifikation |
Lecture notes |
pdf |
|
Haupt, Reiner Hering, Klaus ... |
1998 |
Integration of a Local Search Operator into Evolutionary Algorithms for VLSI-Model Partitioning |
Paper |
pdf |
|
Gräbe, Hans-Gert |
1998 |
About the Polynomial System Solve Facility of Axiom, Macsyma, Maple, Mathematica, MuPAD, and Reduce. |
Book |
pdf |
