SearchBrowse

close this section of the libraryftp://ftp.uni-kl.de (224)
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/system_software/1991/papers/TR-217-91.Mehl.TechnicalReport.english.ps.Z, 19921023
- 1 - Breaking Ties Deterministically in Distributed Simulation Schemes Horst Mehl Department of Computer Science, University of Kaiserslautern, P.O. Box 3049, D 6750 Kaiserslautern, Fed. Rep. of Germany Email: horst@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/system_software/1992/papers/Becker.11.92.Tech.Rep.english.ps.Z, 19921109
An Approach to Transparent Fault Tolerance for Client-Server Models Thomas Becker October 1992 Technical Report University of Kaiserslautern, P.O. Box 3049, D-6750 Kaiserslautern, FRG email: tbecker@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/HR90.AvR.ps.Z, 19921130
Nutzung neuer Speicherarchitekturen in Hochleistungs-Transaktionssystemen Theo H rder, Erhard Rahm, Universit t Kaiserslautern
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/Bo89.MMB89.ps.Z, 19921130
-1- Erschinen im Tagungsband der 5. GI/NTG Fachtagung "Messung, Modellierung und Bewertung von Rechensystemen und Netzen", Brauschweig, September 1989 Charakteristische Eigenschaften von Transaktionslasten in DB/DC-Systemen Volker Bohn Universit t Kaiserslautern, Fachbereich Informatik, Postfach 3049,
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1989/papers/Dessloch.DHMM89.DSKME.english.ps.Z, 19921130
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/HPS89.ZRI6-89.ps.Z, 19921130
Technische Modellierung und DB-gest tzte Datenhaltung - ein Ansatz f r ein durchg ngiges, integriertes Produktmodell Cristoph H bel, Rolf Paul, Bernd Sutter 6/89 Juni 1989 1 Technische Modellierung und DB-gest tzte Datenhaltung - ein An- satz f r ein durchg ngiges, integriertes Produktmodell Ch. H bel1,
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/HKS90.SFB26-90.ps.Z, 19921130
Ein Client/Server-System als Basiskomponente f r ein kooperierendes Datenbanksystem Ch. H bel, W. K fer, B. Sutter Mai 1990 SFB 124 Bericht-Nr. 26/90 Universit t Kaiserslautern Erwin-Schr dinger-Stra e 6750 Kaiserslautern - 2 -
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1992/papers/Dessloch.DHLM92.OFE.english.ps.Z, 19921130
- 1 - KRISYS - a KBMS Supporting the Development and Processing of Advanced Engineering Applications S. De loch, T. H rder, F.-J. Leick, N.M. Mattos1 University of Kaiserslautern, CS Department P.O.Box 3049, 6750 Kaiserslautern, Germany e-mail: {dessloch,haerder,leick}@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1991/papers/Dessloch.De91.BTW.english.ps.Z, 19921130
- 1 - appeared in: Proc. BTW 91, Kaiserslautern, March 1991, IFB 270, Springer, pp. 89-108. Handling Integrity in a KBMS Architecture for Workstation/Server Environments Stefan De loch University of Kaiserslautern P.O. Box 3049, 6750 Kaiserslautern Federal Republic of Germany e-mail:
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/HPS90.CIM-Management.ps.Z, 19921130
-1- lDatenbank-gest tzte technische Modellierung - ein Ansatz f r die CAD/CAP-Integration Christoph H bel, Bernd Sutter, Universit t Kaiserslautern und Rolf Paul, Technische Universit t Magdeburg, z.Z. Universit t Kaiserslautern In der aktuellen Forschung werden vielf ltige Ans tze zum Entwurf von
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SFB_124/1991/papers/Huebel.HMGGKSH92.SFB24-91.english.ps.Z, 19921130
Using PRIMA-DBMS as a Testbed for Parallel Complex-Object Processing C. H bel, B. Mitschang, M. Gesmann, A. Grasnickel, W. K fer, H. Sch ning, T. H rder SFB-Bericht Nr. 24/91 Universit t Kaiserslautern, Fachbereich Informatik Postfach 3049 6750 Kaiserslautern Dezember 1991
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/GHKSS91.MMB91.ps.Z, 19921130
Messen und Bewerten paralleler Client/Server-Architekturen - am Beispiel des kooperierenden Non-Standard-Datenbanksystems PRIMA Michael Gesmann, Christoph H bel, Wolfgang K fer, Harald Sch ning, Bernd Sutter Universit t Kaiserslautern, Fachbereich Informatik Postfach 3049, 6750 Kaiserslautern
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1991/papers/Rahm.Ra91.HPTS-4.english.ps.Z, 19921130
in: Proc. 4th Int. Workshop on High Performance Transaction Systems, Asilomar, CA, Sep. 1991 Use of Global Extended Memory for Distributed Transaction Processing Erhard Rahm University of Kaiserslautern, Dept. of Computer Science 6750 Kaiserslautern, Germany E-Mail: rahm@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1989/papers/Mattos.MM89.ER.english.ps.Z, 19921130
Modeling with KRISYS: the Design Process of DB Applications Reviewed N. M. Mattos, M. Michels University of Kaiserslautern, Department of Computer Science, P.O. Box 3049, 6750 Kaiserslautern, West Germany e-mail: mattos@uklirb.uucp, phone: (0631) 2053280 During the last few years, various approaches to
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1988/papers/Mattos.Ma88.ICSC.english.ps.Z, 19921130
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/HK89.SFB26-89.ps.Z, 19921130
Modellierung und Handhabung versionierter Objekte Christoph H bel, Wolfgang K fer SFB 124 Forschungsbericht Nr. 26/89 Universit t Kaiserslautern Erwin-Schr dinger-Stra e 6750 Kaiserslautern Dezember 1989 2 Kurzfassung Die Modellierung, die Handhabung und die Kontrolle von Objektversionen bestimmen in
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/Ra91.VTS.ps.Z, 19921130
Klassifikation und Vergleich verteilter Transaktionssysteme Erhard Rahm Universit t Kaiserslautern, Fachbereich Informatik E-Mail: rahm@informatik.uni-kl.de 1. Einf hrung Transaktionssysteme befinden sich in weit verbreitetem Einsatz in der kommerziellen Datenverarbeitung, insbesondere im Rahmen
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1990/papers/Mattos.Ma90b.ISAI.english.ps.Z, 19921130
- 1 - Performance Measurements and Analyses of Coupling Approaches of Database and Expert Systems and Consequences to their Integration Nelson Mattos University of Kaiserslautern Department of Computer Science P.O. Box 3049, 6750 Kaiserslautern, West Germany e-mail: mattos@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/Re92.ZRI5-92.ps.Z, 19921130
Sicherung der Referentiellen Integrit t Optimierung durch Schemaanalyse Joachim Reinert 5/92 Univ. Kaiserslautern Fachbereich Informatik Postfach 3049 6750 Kaiserslautern Juli 1992 Sicherung der Referentiellen Integrit t Optimierung durch Schemaanalyse Joachim Reinert Universit t Kaiserslautern
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/PS91.BTW.ps.Z, 19921130
- 1 - Technisches Modellieren - Ein Zugang zur integrierten Produktdatenverwaltung Rolf Paul1, Bernd Sutter2 1TU Magdeburg, Sektion Informatik Postfach 124, O - 3010 Magdeburg 2Universit t Kaiserslautern, Fachbereich Informatik Postfach 3049, W - 6750 Kaiserslautern Email: sutter@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1989/papers/Schoening.89.english.ps.Z, 19921130
Integrating Complex Objects and Recursion Harald Sch ning University Kaiserslautern P.O.-Box 3049 6750 Kaiserslautern Federal Republic of Germany The molecule-atom data model (MAD model) supports the management of complex objects in databases. It allows for the dynamic definition of complex object
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1992/papers/Schoening.Schoe92b.english.ps.Z, 19921130
A Graphical Interface to a Complex-Object Database Management System Harald Sch ning University of Kaiserslautern Federal Republic of Germany email: schoenin@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SFB_124/1991/papers/Schoening.Schoe91.SFB21-91.german.ps.Z, 19921130
Das Molek l-Atom-Datenmodell in der praktischen Anwendung - eine Zwischenbilanz - Harald Sch ning April 1991 SFB 124 Forschungsbericht Nr. 21/91 Universit t Kaiserslautern Erwin-Schr dinger-Stra e D-6750 Kaiserslautern berblick Zur Unterst tzung von Non-Standard-Anwendungen wie z.B. den VLSI-Entwurf
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1992/papers/Marek.MR92.PARLE.english.ps.Z, 19921130
Performance Evaluation of Parallel Transaction Processing in Shared Nothing Database Systems Robert Marek Erhard Rahm University of Kaiserslautern Dept. of Computer Science 6750 Kaiserslautern, GERMANY
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1992/papers/Kaefer.KS92a.english.ps.Z, 19921130
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1991/papers/Kaefer.Kae91.DASFAA91.english.ps.Z, 19921130
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1988/papers/Sikeler.EDBT88.english.ps.Z, 19921130
VAR-PAGE-LRU A Buffer Replacement Algorithm Supporting Different Page Sizes Andrea Sikeler University of Kaiserslautern Erwin-Schr dinger-Stra e, D-6750 Kaiserslautern, West-Germany
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1992/papers/Mattos.MMM.DKE92.english.ps.Z, 19921130
- 1 - Grand Tour of Concepts for Object-Orientation from a Database Point of View Nelson M. Mattos1, Klaus Meyer-Wegener2, and Bernhard Mitschang University of Kaiserslautern Department of Computer Science P.O. Box 30 49 6750 Kaiserslautern Federal Republic of Germany e-mail: mitsch@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1989/papers/Haerder.HSS89a.english.ps.Z, 19921130
Parallel Query Evaluation: A New Approach to Complex Object Processing T. H rder H. Sch ning A. Sikeler University Kaiserslautern, Department of Computer Science, P.O. Box 3049, D-6750 Kaiserslautern, West Germany
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1989/papers/Yan.YM89.MFDBS.english.ps.Z, 19921130
Transitive Closure and the LOGA+-Strategy for its Efficient Evaluation W. Yan Central South University of Technology, Changsha, China current address: Department of Computer Science, University of Kaiserslautern P.O. Box 3049, 6750 Kaiserslautern, West Germany N. Mattos Department of Computer Science,
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1991/papers/Rahm.Ra91.FTCS-21.english.ps.Z, 19921130
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SFB_124/1989/papers/Haerder.HSS89.SFB23-89.english.ps.Z, 19921130
Evaluation of Hardware Architectures for Parallel Execution of Complex Database Operations T. H rder H. Sch ning A. Sikeler April 1989 SFB 124 Report No. 23/89 University Kaiserslautern Erwin-Schr dinger-Stra e D-6750 Kaiserslautern West Germany Proceedings of the 3rd Annual Parallel Processing
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1992/papers/Dessloch.DHLM+92.OFE.english.ps.Z, 19921130
- 1 - COCOON and KRISYS a comparison S. De loch, T. H rder, F.-J. Leick, N.M. Mattos1, University of Kaiserslautern, CS Department P.O.Box 3049, 6750 Kaiserslautern, Germany e-mail: {dessloch,haerder,leick}@informatik.uni-kl.de C. Laasch2, C. Rich2, M. Scholl2, H.-J. Schek ETH Z rich, CS Department, ETH
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SFB_124/1990/papers/Kaefer.KRS90.SFB22-90.english.ps.Z, 19921130
Support for Temporal Data by Complex Objects W. K fer, N. Ritter, H. Sch ning University Kaiserslautern May 1990 SFB 124 Report No. 22/90 University Kaiserslautern Erwin-Schr dinger-Stra e D-6750 Kaiserslautern West Germany appeared in: Proc. of the 16th Int. Conf. on Very Large Data Bases, Brisbane,
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/ZRI/1990/papers/Dessloch.DLM90.ZRI-4-90.english.ps.Z, 19921130
- 1 - A State-oriented Approach to the Specification of Rules and Queries in KBMS S. De loch, F.-J. Leick, N.M. Mattos University of Kaiserslautern, CS Department P.O. Box 3049, 6750 Kaiserslautern, West Germany Mail Address: mattos@uklirb.uucp
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1992/papers/Butsch.BR92.AvR.german.ps.Z, 19921130
Architekturans tze zur Unterst tzung heterogener Datenbanken Karl-Ludwig Butsch Erhard Rahm Universit t Kaiserslautern Fachbereich Informatik Postfach 3049 6750 Kaiserslautern
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1989/papers/Leick.LM89.BSDB.english.ps.Z, 19921130
A Framework for an Efficient Processing of Knowledge Bases on Secondary Storage F. - J. Leick, N. M. Mattos University of Kaiserslautern, Department of Computer Science P.O. Box 3049, 6750 Kaiserslautern, West Germany e-mail : mattos@uklirb.uucp 1. Motivation During the last few years a variety of
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/Schoe89.BTW89.ps.Z, 19921130
Rekursion im MAD-Modell: Rekursivmolek le als Objekte des Datenmodells Harald Sch ning Universit t Kaiserslautern berblick Das Molek l-Atom-Datenmodell unterst tzt die Datenbank-Verwaltung komplexer Objekte. Es bietet Operationen zum Zugriff, ndern, L schen und Einf gen an, die auf Mengen von dynamisch
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/Su90.Workshop-KL.ps.Z, 19921130
Ein datenbankbasierter Ansatz zur Integration von Ingenieuranwendungen Ch. H bel, B. Sutter Universit t Kaiserslautern, Fachbereich Informatik D-6750 Kaiserslautern 1. Einleitung Ingenieuraufgaben verschiedenster Art werden zunehmend durch Rechner unterst tzt. Dabei wurden bislang spezielle, auf
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/Kae89.BTW89.ps.Z, 19921130
Ein Geschichts- und Versionsmodell f r komplexe Objekte Wolfgang K fer Universit t Kaiserslautern berblick Nicht-Standard-Datenbanksysteme (NDBS) werden zur Verwaltung komplex strukturierter Objekte, wie sie beispielsweise in Ingenieur- oder B roanwendungen vorkommen, entwickelt. Die Integration der
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SFB_124/1989/papers/Schoening.SS89.SFB21-89.english.ps.Z, 19921130
Cluster Mechanisms Supporting the Dynamic Construction of Complex Objects H. Sch ning A. Sikeler University Kaiserslautern February 1989 SFB 124 Report No. 21/89 University Kaiserslautern Erwin-Schr dinger-Stra e D-6750 Kaiserslautern West Germany Proceedings of the International Conference on
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1991/papers/Mattos.MDL91.IEA-AIE.english.ps.Z, 19921130
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1991/papers/Bohn.BHR91.MMB91.english.ps.Z, 19921130
Extended Memory Support for High Performance Transaction Systems V. Bohn, T. H rder, E. Rahm Univ. of Kaiserslautern, Germany
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1990/papers/Schoening.Schoe90.Entwurf.Betrieb.verteilter.Systeme.german.ps.Z, 19921130
Realisierungskonzepte f r die parallele Bearbeitung von Anfragen auf komplexen Objekten Harald Sch ning Sonderforschungsbereich 124, Teilprojekt D2 Universit t Kaiserslautern Postfach 3049 6750 Kaiserslautern berblick Datenbanksysteme f r Nicht-Standard-Anwendungsbereiche m ssen besonderen
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1990/papers/Haerder.HM90.TECHNO-DATA-90.english.ps.Z, 19921130
- 1 - An Enhanced DBMS Architecture Supporting Intelligent CAD T. H rder, N. Mattos University of Kaiserslautern, West Germany
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/HRS91.BTW.ps.Z, 19921130
- 1 - Ein Ansatz zur Informationsstrukturierung in durchg ngigen Entwurfsumgebungen Christoph H bel, Joachim Reinert, Bernd Sutter Universit t Kaiserslautern, Fachbereich Informatik 1. Einleitung und Motivation Mit der zunehmenden Komplexit t von Entwurfsaufgaben und dem steigenden Bed rfnis nach einer
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1992/papers/Rahm.Ra92.SIGMOD.english.ps.Z, 19921130
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/Kae88.SFB27-88.ps.Z, 19921130
Ein Modell zur Integration der Zeit in relationale Datenbanksysteme Wolfgang K fer Universit t Kaiserslautern SFB 124 Bericht-Nr. 27/88 Universit t Kaiserslautern Erwin-Schr dinger-Stra e 6750 Kaiserslautern - 2 - berblick Bei der Darstellung eines Ausschnitts der realen Welt (Miniwelt), der mit einem
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1990/papers/Schoening.90.english.ps.Z, 19921130
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1992/papers/Rahm.Ra92.DBsharing.english.ps.Z, 19921130
Concurrency and Coherency Control in Database Sharing Systems Erhard Rahm University of Kaiserslautern, Dept. of Computer Science 6750 Kaiserslautern, Germany E-mail: rahm@informatik.uni-kl.de TECHNICAL REPORT ZRI 3/91, Dec. 1991 REVISED: August 1992
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1991/papers/Dessloch.DHMS91.SARA.english.ps.Z, 19921130
- 1 - Handling Functional Constraints of Technical Modeling Systems in a KBMS Environment Stefan Dessloch, Christoph H bel, Nelson Mendonca Mattos, Bernd Sutter University of Kaiserslautern, Department of Computer Science P.O. Box 3049, DW-6750 Kaiserslautern, Germany phone: +49 (631) 205-3284
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1992/papers/Schoening.Schoe92a.english.ps.Z, 19921130
1 Optimization of Complex-Object Queries in PRIMA - Statement of Problems Harald Sch ning University of Kaiserslautern P.O.-Box 3049 6750 Kaiserslautern Federal Republic of Germany email: schoenin@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1991/papers/Schoening.Schoe91.BTW91.german.ps.Z, 19921130
Praktische Behandlung von Nullwerten - Realisierung im Molek l-Atom-Datenmodell Harald Sch ning Universit t Kaiserslautern Postfach 3049 6750 Kaiserslautern berblick Der folgende Beitrag gibt einen berblick ber den Umgang mit Nullwerten im Molek l-Atom-Datenmodell (MAD-Modell) und dessen Implementierung
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/HKPS90.IFB-Dagstuhl.ps.Z, 19921130
Basismechanismen zur Kooperation beim parallelen VLSI-Entwurf Christoph H bel, Wolfgang K fer (Teilprojekt D2) Horst Pahle, Ernst Siepmann (Teilprojekt B4) Sonderforschungsbereich 124 Fachbereich Informatik Universit t Kaiserslautern berblick Der Entwurf komplexer hochintegrierter Schaltkreise erfolgt
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1992/papers/Kaefer.KS92b.english.ps.Z, 19921130
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1991/papers/Kaefer.KS91.Workshop.Tolouse.english.ps.Z, 19921130
1 Temporal Queries to Complex Objects Wolfgang K fer, Harald Sch ning University Kaiserslautern Germany email: {kaefer, schoenin}@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1989/papers/Sikeler.ICCI89.english.ps.Z, 19921130
SUPPORTING OBJECT-ORIENTED PROCESSING BY REDUNDANT STORAGE STRUCTURES Andrea Sikeler University Kaiserslautern, Department of Computer Science, P.O. Box 3049, D-6750 Kaiserslautern, West Germany The development of a new generation of database management systems (DBMS) capable of supporting advanced
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/HS89.ZRI5-89.ps.Z, 19921130
Verarbeitung komplexer DB-Objekte in Ingenieuranwendungen Cristoph H bel, Bernd Sutter 5/89 Juni 1989 1 Verarbeitung komplexer DB-Objekte in Ingenieuranwendungen Christoph H bel, Bernd Sutter Universit t Kaiserslautern Erwin-Schr dingerstra e 6750 Kaiserslautern berblick Nicht-Standard-Datenbanksysteme
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SFB_124/1992/papers/Schoening.SS92.SFB31-92.english.ps.Z, 19921130
Extending and Configuring a Non- Standard Database Management System Harald Sch ning, Andrea Sikeler 1 October 1992 SFB 124 Forschungsbericht Nr. 31/92 Universit t Kaiserslautern Erwin-Schr dinger-Stra e D-6750 Kaiserslautern An extended abstract of this paper has appeared in: Proc. International
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SFB_124/1990/papers/Schoening.SS90.SFB25-90.english.ps.Z, 19921130
Design of Storage Schemes for Enhanced Database Management Systems H. Sch ning A. Sikeler University Kaiserslautern May 1990 SFB 124 Report No. 25/90 University Kaiserslautern Erwin-Schr dinger-Stra e D-6750 Kaiserslautern West Germany
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1989/papers/Dessloch.DHMM89.CADCG.english.ps.Z, 19921130
reference type has_subclasses in a recursive manner) and then to their instances (exploiting the reference type has_instances ). Additionally, for all schema objects, their attributes are also retrieved (taking the reference type has_attributes). The molecule diagram of this generalization hierarchy is
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1990/papers/Mattos.Ma90a.ISAI.english.ps.Z, 19921130
- 1 - An Approach to DBS-based Knowledge Management Nelson Mattos University of Kaiserslautern Department of Computer Science P.O. Box 3049, D - 6750 Kaiserslautern, West Germany e-mail:mattos@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1990/papers/Dessloch.De90.FMLDO.english.ps.Z, 19921130
- 1 - Enforcing Integrity in the KBMS KRISYS Stefan De loch University of Kaiserslautern P.O. Box 3049, 6750 Kaiserslautern Federal Republic of Germany e-mail: dessloch@informatik.uni-kl.de 1. Introduction During the last few years, the database community has focused more and more on the support of
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1988/papers/Haerder.HSS88.english.ps.Z, 19921201
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/system_software/1992/papers/assenmacher.PANDA_survey_ECOOP93.english.ps.Z, 19921203
1 1. Introduction Systems for parallel and distributed object-oriented programming can be classified into two basic categories. First, there is a variety of programming languages developed especially to serve experimental purposes. Different object models for parallel and distributed programming can be
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SFB_124/1992/papers/Assenmacher.SFB124-27-92.Panda.technical-report.english.ps.Z, 19921207
Panda Runtime Package The Panda - System Runtime Environment Holger Assenmacher Sonderforschungsbereich 124 VLSI Entwurfsmethoden und Parallelitaet" Report No. SFB124-27/92 University of Kaiserslautern Computer Science Department P.O.Box 3049 W{6750 Kaiserslautern Germany EMail:
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SFB_124/1992/papers/Mehl.TechnicalReport.SFB124-32-92.english.ps.Z, 19921218
How to Integrate Shared Variables in Distributed Simulation Horst Mehl and Stefan Hammes Department of Computer Science, University of Kaiserslautern, P.O. Box 3049, D 6750 Kaiserslautern, Fed. Rep. of Germany email: horst@informatik.uni{kl.de, hammes@informatik.uni{kl.de December 17, 1992
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1993/papers/Haerder.Profit.Schoening.Supporting.Parallelism.ps.Z, 19930106
Supporting Parallelism in Engineering Databases by Nested Transactions T. H rder, M. Profit, H. Sch ning December 1992 SFB 124 Forschungsbericht Nr. 34/92 Universit t Kaiserslautern Erwin-Schr dinger-Stra e D-6750 Kaiserslautern
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SFB_124/1992/papers/Schwarz.92.holygrail.english.ps.Z, 19930112
1 Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail1 Reinhard Schwarz Department of Computer Science, University of Kaiserslautern, P.O. Box 3049, D - 6750 Kaiserslautern, Germany schwarz@informatik.uni-kl.de Friedemann Mattern Department of Computer Science,
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1993/papers/Sonntag.SR-93-02.english.ps.Z, 19930131
Extending automatic theorem proving by planning Inger Sonntag, Jorg Denzinger Fachbereich Informatik Universitat Kaiserslautern E-mail: fsonntag, denzingeg@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1990/papers/Dessloch.DHMS90.IEA-AIE.english.ps.Z, 19930203
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/HKS91.KIVS91.ps.Z, 19930216
Ein Client/Server-System als Basiskomponente f r ein kooperierendes Datenbanksystem Christoph H bel, Wolfgang K fer, Bernd Sutter Universit t Kaiserslautern Fachbereich Informatik berblick Konventionelle Datenbanksysteme besitzen erhebliche Leistungsschw chen bei der Abarbeitung aufwendiger
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1993/papers/Avenhaus.SR-93-03.english.ps.Z, 19930303
Canonical Conditional Rewrite Systems Containing Extra Variables Jurgen Avenhaus Carlos Lor a-S aenz Fachbereich Informatik, Universitat Kaiserslautern 6750 Kaiserslautern (Germany) E-mail: favenhaus , loriag@informatik.uni-kl.de March 1, 1993
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1992/papers/Deiss.SR-92-12.english.ps.Z, 19930305
Conditional semi-Thue Systems for Presenting Monoids1 Thomas Deiss Fachbereich Informatik, Universitat Kaiserslautern Erwin Schrodinger Strasse W-6750 Kaiserslautern deiss@informatik.uni-kl.de 1A short version of this paper was presented at STACS'92,
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/system_software/1993/papers/Mehl.SharedVarsInDisSim_PADS93.english.ps, 19930317
SHARED VARIABLES IN DISTRIBUTED SIMULATION (Invited Paper) Horst Mehl and Stefan Hammes Department of Computer Science, University of Kaiserslautern, P.O. Box 3049, D 6750 Kaiserslautern, Fed. Rep. of Germany email: horst@informatik.uni{kl.de, hammes@informatik.uni{kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1991/papers/Steinbach.SR-91-14.english.ps.Z, 19930402
Termination Proofs of Rewriting Systems Heuristics for Generating Polynomial Orderings1) Joachim STEINBACH Universitat Kaiserslautern FB Informatik Postfach 3049 D-6750 Kaiserslautern Germany e-mail: steinba@informatik.uni-kl.de December 20, 1991 1)This research was supported by the Deutsche
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/software_engineering/1993/papers/Broeckers.Language-Report.english.ps.Z, 19930413
- i -
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/software_engineering/1993/papers/Broeckers.Language-Report-Apdx.english.ps.Z, 19930413
Anhang A ISPW-7 Software Process Example The following examples of process, product, resource, and attribute models are excerpted from the ISPW-6 Software Process Example . In order to save space, we do not include the problem description here. If interested, the reader may mail a request for a full
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/software_engineering/1993/papers/Lott.ISPW-6-Solution.english.ps.Z, 19930413
A MVP-L1 Solution for the Software-Process Modeling Problem Christopher M. Lott+ and H. Dieter Rombach+* Department of Computer Science+ and Institute for Advanced Computer Studies* University of Maryland College Park, Maryland 20742 E-mail address:
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/software_engineering/1993/papers/Rombach.How-to-Assess.english.ps.Z, 19930413
Fachbereich Informatik Interner Bericht Universit t Kaiserslautern Postfach 3049 D-6750 Kaiserslautern How To Assess a Software Process Modeling Formalism H. Dieter Rombach Martin Verlage From a Project Member s Point of View 231/93 How To Assess a Software Process Modeling Formalism H. Dieter Rombach
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/software_engineering/1993/papers/Lott.ISPW-7-Solution.english.ps.Z, 19930413
A MVP-L Solution for the Software{Process Modeling Problem Christopher M. Lott Marcos Pantelis H. Dieter Rombach Department of Computer Science University of Maryland College Park, Maryland 20742 Tel.: (301) 405-2707 Fax: (301) 405-6707 E-mail address: dieter@cs.umd.edu April 13, 1993
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/mobile_robots/1991/papers/Edlinger.Pos_Estimation.ps.Z, 19930428
a Accurate Position Estimation for an Autonomous Mobile Robot Fusing Shaft Encoder Values and Laser Range Data a Thomas Edlinger, Ewald von Puttkamer, Rainer Trieb a Computer Science Department, University of Kaiserslautern Erwin-Schroedinger-Stra e, D-6750 Kaiserslautern, Germany Tel.: +49 631 205 2812
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/mobile_robots/1991/papers/Edlinger.Eff_Navigation.ps.Z, 19930428
a This paper describes the navigation component of MOBOT III, a laser radar based autonomous mobile robot for indoor applications. MOBOT III has no preloaded world model, but builds up an internal map, while exploring the environment. Based on a continuously updated part of the world model, consisting
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/mobile_robots/1991/papers/Knieriemen.euromicro_91.ps.Z, 19930428
a Extracting Lines, Circular Segments and Clusters from Radar Pictures in Real-Time for an Autonomous Mobile Robot a T. Knieriemen, E. von Puttkamer, J. Roth a University of Kaiserslautern, Computer Science Department P.O. Box 3049, D-6750 Kaiserslautern a
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SFB_124/1993/papers/Schoening.Molekuel.Atom.Datenmodell.und.Anfragesprache.MQL.ps.Z, 19930517
Das Molek l-Atom-Datenmodell und seine Anfragesprache MQL Beschreibung des aktuellen Standes der Realisierung H. Sch ning Mai 1993 SFB 124 Forschungsbericht Nr. 23/93 Universit t Kaiserslautern Erwin-Schr dinger-Stra e D-6750 Kaiserslautern Kurzfassung Das Molek l-Atom-Datenmodell hat seit seiner ersten
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1993/papers/Rahm.VLDB93.english.ps.Z, 19930518
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1993/papers/Rahm.DCS93.english.ps.Z, 19930518
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1993/papers/Avenhaus.SR-93-06.ps.Z, 19930608
Distributing equational theorem proving1 J. Avenhaus J. Denzinger Fachbereich Informatik, Universitat Kaiserslautern 6750 Kaiserslautern favenhaus , denzingeg@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1993/papers/Kamp.SWP-93-01.ps.Z, 19930609
SEKI Working Paper Leicht abgewandelte Fassung der Diplomarbeit R aumliches Schliessen Vera Kamp Juni 1993 Betreuung: Prof. Dr. Michael M. Richter Universitat Kaiserslautern Zusammenfassung Den Allen'schen Ansatz zum "Zeitlichen Schliessen im Auge, wird in dieser Arbeit ein qualitativer Ansatz zum
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1993/papers/Gramlich.SR-93-09.ps.Z, 19930720
Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems Bernhard Gramlich Fachbereich Informatik, Universitat Kaiserslautern Erwin-Schroedinger-Str., 67663 Kaiserslautern, Germany gramlich@informatik.uni-kl.de June 10, 1993
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1993/papers/Reinert.SR-93-08.ps.Z, 19930720
On Grobner Bases in Monoid and Group Rings Klaus Madlener Birgit Reinert Fachbereich Informatik, Universitat Kaiserslautern W{67653 Kaiserslautern, Germany email: madlener@informatik.uni-kl.de, reinert@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1992/papers/Huang.SR-92-22.ps.Z, 19930720
{mkrp A Proof Development Environment Xiaorong Huang Manfred Kerber Michael Kohlhase Erica Melis Dan Nesmith Jorn Richts Jorg Siekmann Fachbereich Informatik Universitat des Saarlandes 6600 Saarbrucken Germany
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1993/papers/Avenhaus.SR-93-11.ps.Z, 19931108
Preface This report contains a collection of abstracts for talks given at the Deduktionstreffen" held at Kaiserslautern, October 6 to 8, 1993. The Deduktionstreffen is the annual meeting of the Fachgruppe Deduktionssysteme in the Gesellschaft fur Informatik (GI). This Fachgruppe represents the German
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1992/papers/Huebel.HKS92.EDAC.english.ps.Z, 19931109
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/software_engineering/1993/papers/Rombach.EntwicklungsumgebungenZurUnterstuetzungQualitatesorientierterProjektplaene.ps.Z, 19931111
Tagungsband GI-Fachtagung Softwaretechnik 93 Kurzfassung Software-Projekte bestehen aus einer Vielzahl von Teilaufgaben, die durch komplexe Wechselbeziehungen miteinander verkn pft sind. Systematische Unterst tzung bei der Durchf hrung von Software-Projekten erfordert deshalb nicht nur die isolierte
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1993/papers/Rahm.HPTS93.parallel.SD.ps.Z, 19931119
1 Parallel Query Processing in Shared Disk Database Systems Erhard Rahm University of Kaiserslautern, Germany E-Mail: rahm@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1993/papers/MAREK.PARLE93.english.ps.Z, 19931123
On the Performance of Parallel Join Processing in Shared Nothing Database Systems Robert Marek Erhard Rahm University of Kaiserslautern, GERMANY
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1993/papers/Thomas.VLDB93.ps.Z, 19931201
A Plan-Operator Concept for Client-Based Knowledge Processing J. Thomas, S. De loch University of Kaiserslautern, CS Department P.O.Box 3049, 6750 Kaiserslautern, Germany e-mail: {thomas | dessloch}@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1993/papers/Dessloch.BTW93.ps.Z, 19931201
The KRISYS Project: a Summary of What We Have Learned so far S. De loch, F.-J. Leick, N.M. Mattos1, J. Thomas University of Kaiserslautern, CS Department P.O.Box 3049, 6750 Kaiserslautern, Germany e-mail: {dessloch,leick,thomas}@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1993/papers/Thomas.CIKM93.ps.Z, 19931201
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1993/papers/Gramlich.SR-93-17.ps.Z, 19940112
New Abstract Criteria for Termination and Confluence of Conditional Rewrite Systems Bernhard Gramlich Fachbereich Informatik, Universitat Kaiserslautern Erwin-Schroedinger-Str., 67663 Kaiserslautern, Germany gramlich@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1993/papers/Steinbach.SR-93-18.ps.Z, 19940117
On the Complexity of Simplification Orderings Joachim STEINBACH Universitat Kaiserslautern FB Informatik Postfach 3049 67653 Kaiserslautern Germany e-mail: steinba@informatik.uni-kl.de December 17, 1993
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1993/papers/Sattler.SR-93-19.ps.Z, 19940117
ABOUT CHANGING THE ORDERING DURING KNUTH-BENDIX COMPLETION Andrea Sattler-Klein Fachbereich Informatik, Universitat Kaiserslautern D-67653 Kaiserslautern, Germany email: sattler@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SFB_124/1992/papers/Mehl.TechnicalReport.SFB124-33-92.english.ps.Z, 19940128
Distributed Shared Memory | A Survey | Horst Mehl Department of Computer Science, University of Kaiserslautern, P.O. Box 3049, D 6750 Kaiserslautern, Fed.Rep. of Germany email: horst@informatik.uni{kl.de December 17, 1992
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1994/papers/Kohlhase.SR-94-01.ps.Z, 19940203
Higher-Order Order-Sorted Resolution Michael Kohlhase Fachbereich Informatik, Universit at des Saarlandes 66041 Saarbr ucken, Germany +49-681-301-4627 fkohlhaseg@cs.uni-sb.de January 1994
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1993/papers/Schuett.SWP-93-02.ps.Z, 19940204
A Mathematical Knowledge Base for Proving Theorems in Semigroup and Automata Theory { Part I { Barbara Schutt Manfred Kerber Fachbereich Informatik, Universitat des Saarlandes Im Stadtwald, D-66041 Saarbrucken Germany
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1993/papers/Kerber.SR-93-20.ps.Z, 19940204
A Mechanization of Strong Kleene Logic for Partial Functions Manfred Kerber Michael Kohlhase Fachbereich Informatik, Universitat des Saarlandes 66041 Saarbrucken, Germany +49-681-302-f4628j4627g fkerber|kohlhaseg@cs.uni-sb.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1994/papers/Fuchs.SR-94-02.ps.Z, 19940221
- 1 - The application of goal-oriented heuristics for proving equational theorems via the unfailing Knuth-Bendix completion procedure A case study: lattice ordered groups1 Matthias Fuchs FB Informatik Universit t Kaiserslautern 67663 Kaiserslautern Germany E-mail: fuchs@informatik.uni-kl.de February
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1994/papers/Fuchs.SR-94-03.ps.Z, 19940308
- 1 - An alternative for handling AC1 Matthias Fuchs Universit t Kaiserslautern Fachbereich Informatik Postfach 3049 67653 Kaiserslautern Germany E-mail: fuchs@informatik.uni-kl.de March 1994
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/papers/Bergmann.Wilke.Paper-4.german.ps.Z, 19940325
Lernen von Abstraktionshierarchien zur Optimierung der Auswahl von maschinell abstrahierten Pl anen Ralph Bergmann und Wolfgang Wilke Universit at Kaiserslautern FB Informatik - AG-Richter Postfach 3049 67653 Kaiserslautern E-Mail: fbergmann,wilkeg@informatik.uni-kl.de Zusammenfassung Mit Hilfe von
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/papers/Bauer.Paul.Paper-2.english.ps.Z, 19940325
Logic-based Plan Recognition for Intelligent Help Systems Mathias Bauer and Gabriele Paul German Research Center for Artificial Intelligence (DFKI) Stuhlsatzenhausweg 3, 66123 Saarbr ucken, Germany e-mail: flastnameg@dfki.uni-sb.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/papers/Mueller.Sommer.Paper-13.german.ps.Z, 19940325
Verarbeitung heuristischen Konfigurationswissens mit Fuzzy-Methoden in MoKon Michael M uller FORWISS Erlangen (FG Wissenserwerb) Am Weichselgarten 7 91058 Erlangen Telefon: (+49) 9131/691-198 Telefax: (+49) 9131/691-185 E-mail: mlmuelle@forwiss.uni-erlangen.de Claudia Sommer Sommer Automation
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/posters/Hoch.Paulokat.Poster-6.german.ps.Z, 19940325
Steuerung des Konzeptions- und Konfigurationsprozesses in IDAX Holger Hoch, J urgen Paulokat Universit at Kaiserslautern, FB Informatik Postfach 3049, D-67653 Kaiserslautern fhhoch j paulokatg@informatik.uni-kl.de 1 Einleitung Komplexe Aufgaben werden bei ihrer Bearbeitung oftmals in einfachere
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/papers/Kreyss.Paper-12.german.ps.Z, 19940325
PausE: Der Planer f ur die Inhaltsplanung von erwartungsverletzenden, nat urlichsprachlichen Diskursen auf der Basis abstrakter Operatoren Jutta Kreyss Universit at Bremen Fachbereich 3 - Informatik/ Arbeitsgruppe KI Postf. 33 0440/ Bibliotheksstrasse 1 28334 Bremen Telefon: 0421/ 218-3316 Fax: 0421/
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/papers/Herrmann.Paper-7.german.ps.Z, 19940325
MASCHINELLES LERNEN F R DESIGN-AUFGABEN J rgen Herrmann Universit t Dortmund, Informatik I, 44221 Dortmund Email: herrmann@ls1.informatik.uni-dortmund.de Zusammenfassung Es werden verschiedene Einsatzm glichkeiten von maschinellen Lernstrategien f r DesignProbleme aufgezeigt. Die Integrationsm
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/papers/Jaervinen.Funke.Paper-8.german.ps.Z, 19940325
Optimierung innerhalb des Konfigurierungsprozesses Silja J rvinen Birger Funke RWTH Aachen ELITE Foundation Operations Research Promenade 9 52056 Aachen 52076 Aachen Tel. 0241 / 806182 Tel. 02408 / 945832 silja@prokon.mitgmbh.de birger@prokon.mitgmbh.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/papers/Koehler.Paper-10.english.ps.Z, 19940325
An Application of Terminological Logics to Case-based Reasoning Jana Koehler German Research Center for Artificial Intelligence (DFKI) Stuhlsatzenhausweg 3, D-66123 Saarbr ucken, Germany e-mail: koehler@dfki.uni-sb.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/papers/Klingspor.Paper-9.german.ps.Z, 19940325
Repr asentation operationaler Begriffe Volker Klingspor Universit at Dortmund Lehrstuhl Informatik VIII D-44221 Dortmund volker@ls8.informatik.uni-dortmund.de Zusammenfassung Um Handlungen autonomer mobiler Robotern zu planen und auszuf uhren, reichen Operatoren, die nur die Handlungen umfassen, nicht
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/posters/Weberskirch.Paulokat.Poster-11.german.ps.Z, 19940325
CAPlan { Ein generisches Werkzeug f ur die Entwicklung von Aktionsplanungssystemen Frank Weberskirch, J urgen Paulokat Universit at Kaiserslautern, FB Informatik Postfach 3049, D-67653 Kaiserslautern fweberski j paulokatg@informatik.uni-kl.de 1 Einleitung Bei der Bearbeitung von Planungsproblemen aus
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/posters/Dellen.Paulokat.Poster-3.german.ps.Z, 19940325
Verwaltung von impliziten Abh angigkeiten bei der strukturorientierten Konfiguration in IDAX Barbara Dellen, J urgen Paulokat Universit at Kaiserslautern, FB Informatik Postfach 3049, D-67653 Kaiserslautern fdellen j paulokatg@informatik.uni-kl.de 1 Einleitung Bei der L osung einer Konfigurationsaufgabe
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/posters/Meyer.Paulokat.Poster-8.german.ps.Z, 19940325
Verarbeitung von Constraints in der Expertensystementwicklungsumgebung IDAX Harald Meyer auf'm Hofe, J urgen Paulokat Universit at Kaiserslautern, FB Informatik Postfach 3049, D-67663 Kaiserslautern fhmeyer j paulokatg@informatik.uni-kl.de 1 Konfigurierung in IDAX IDAX ist eine Entwicklungsumgebung zur
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/papers/Beckstein.Kraetzschmar.Schneeberger.Paper-3.english.ps.Z, 19940325
Distributed Plan Maintenance for Scheduling and Execution C. Beckstein University of Erlangen, IMMD-8 (Computer Science, AI Department) Am Weichselgarten 9 D-91058 Erlangen, Germany Fax: +49-9131-699-198 clemens@immd8.informatik.uni-erlangen.de G. Kraetzschmar, J. Schneeberger FORWISS (Bavarian Research
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/papers/Feldmann.Koch.Paper-5.german.ps.Z, 19940325
1 Surface Mounted Device 1 Optimierungsbasiertes Konfigurieren unter besonderer Ber cksichtigung von Pr ferenzmodellen Klaus Feldmann, Martin Koch Universit t Erlangen, Lehrstuhl f r Fertigungsautomatisierung und Produktionssystematik Egerlandstr. 7, 91058 Erlangen e mail: (feldmann, koch)@faps.uni
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/posters/Posthoff.Schlosser.Poster-9.german.ps.Z, 19940325
Mengentheoretische Grundlagen f ur optimale Strategien beim Planen und Konfigurieren Christian Posthoff Dept. of Mathematics and Computer Science University of West Indies St. Augustin, Trinidad Michael Schlosser Technische Universit at Chemnitz Fakult at f ur Informatik PSF 964, D-09009 Chemnitz
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/posters/Praeger.Poster-10.german.ps.Z, 19940325
1 Lernen von Kontrollstrategien f r die Planung aus kritischen Zielkonflikten Reinhard Praeger Fachbereich Informatik Universit t Kaiserslautern 67653 Kaiserslautern e-mail: praeger@informatik.uni-kl.de Zusammenfassung Das Lernen von Kontrollstrategien aus Planungserfahrungen f r suchraumorientierte
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/papers/Kramer.Unger.Paper-11.english.ps.Z, 19940325
References M. Kramer. Improving operating system usage. In Proceedings of the 16th German AI-Conference (GWAI-92), number 671 in Lecture Notes in AI, pages 32033, Bonn, Germany, 1993. Springer. E.D. Sacerdoti. Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 5:11535,
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/posters/Cheikhrouhou.Paulokat.Poster-2.german.ps.Z, 19940325
Fallauswahlwissen in CAPlan/CbC Lassaad Cheikhrouhou, J urgen Paulokat Universit at Kaiserslautern, FB Informatik Postfach 3049, D-67653 Kaiserslautern flassaad j paulokatg@informatik.uni-kl.de 1 Einleitung Das Ziel der fallbasierten Planung ist die Reduzierung des Suchaufwands bei der L osung eines
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1994/papers/Scheja.SWP-94-02.ps.Z, 19940330
1 Einleitung Die K unstliche Intelligenz (KI) untersucht kognitive Funktionen und die M oglichkeit deren Modellierung. Das Gebiet der Deduktionssysteme ist eine wichtige Teildisziplin, die effektive Verfahren der Formalisierung und des logischen Schliessens untersucht. Hier ist neben der Korrektheit und
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/posters/Lindner.Poster-7.german.ps.Z, 19940330
Das Plannetzverwaltungssystem PNMS und der Assistenzplaner Plopp! Matthias Lindner FG Intellektik, FB Informatik Technische Hochschule Darmstadt Alexanderstr.10, D-W6100 Darmstadt M arz 1994 1 Einleitung Klassische Planungsverfahren gingen von korrekten Welt- und Aktionsbeschreibungen aus und
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/papers/Appelrath.Bruns.Henseler.Sauer.Paper-1.german.ps.Z, 19940330
Planner s Workbench - eine Werkzeugumgebung zur Modellierung und Konfigurierung von Ablaufplanungssystemen H.-J. Appelrath, R. Bruns, H. Henseler, J. Sauer Universit t Oldenburg, FB Informatik Postfach 2503, 26111 Oldenburg @informatik.uni-oldenburg.de Projektbeschreibung Im Mittelpunkt des
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/papers/Schaedler.Paper-14.german.ps.Z, 19940330
Eine eineindeutige Repr sentation f r Konfigurationen* Kristina Sch dler Institut f r Informatik Martin-Luther-Universit t Halle 06099 Halle schaedler@informatik.uni-halle.d400.de 0. Problemstellung Beim Konfigurieren werden zusammengesetzte Objekte betrachtet, die durch ihre Bestandteile und die
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/knowledge-based_systems/PuK94/posters/Bauer.Biundo.Dengler.Koehler.Paul.Poster-1.english.ps.Z, 19940330
The System PHI M. Bauer S. Biundo D. Dengler J. Koehler G. Paul German Research Center for Artificial Intelligence (DFKI) Stuhlsatzenhausweg 3, 66123 Saarbr ucken e-mail: flastnameg@dfki.uni-sb.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1994/papers/Eschbach.SWP-94-03.ps.Z, 19940413
ART Modularisierung von Induktionsbeweisen uber Gleichungsspezifikationen Dokumentation Robert Eschbach Universit at Kaiserslautern Erwin Schr odinger Strasse D-67663 Kaiserslautern Inhaltsverzeichnis 1 Einf uhrung 1 2 ASF 4 2.1 Einf uhrung : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1994/papers/Denzinger.SR-94-05.ps.Z, 19940413
Analysis and Representation of Equational Proofs Generated by a Distributed Completion Based Proof System Jorg Denzinger, Stephan Schulz fdenzinge, s schulzg@informatik.uni-kl.de Department of Computer Science University of Kaiserslautern Postfach 3049 67653Kaiserslautern April 6, 1994
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1994/papers/Denzinger.SR-94-04.ps.Z, 19940413
Goal oriented equational theorem proving using team work Jorg Denzinger, Matthias Fuchs Department of Computer Science University of Kaiserslautern Postfach 3049 67653 Kaiserslautern Email: fdenzinge, fuchsg@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/numerical_algorithms/1994/papers/Keller.Radiance.ps.Z, 19940505
Quasi-Monte Carlo Methods in Computer Graphics, Part II: The Radiance Equation Stefan Heinrich Alexander Keller Fachbereich Informatik AG Numerische Algorithmen Universit at Kaiserslautern Postfach 3049, D-67653 Kaiserslautern e-mail: heinrich@informatik.uni-kl.de keller@informatik.uni-kl.de 243/94
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/mobile_robots/1994/papers/Zimmer.Visual_Search.ps.Z, 19940505
IIZUKA 94, Fukuoka, Japan August 1-7, 1994, Invited paper Connectionist Decision Systems for a Visual Search Problem Uwe R. Zimmer University of Kaiserslautern - Computer Science Department - Research Group Prof. E. v. Puttkamer 67663 Kaiserslautern - Germany Phone: 49 631 205 2624 - Fax: 49 631 205
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/numerical_algorithms/1994/papers/Keller.QMC_Buffer.ps.Z, 19940505
Quasi-Monte Carlo Methods in Computer Graphics, Part I: The QMC-Buffer Stefan Heinrich Alexander Keller Fachbereich Informatik AG Numerische Algorithmen Universit at Kaiserslautern Postfach 3049, D-67653 Kaiserslautern e-mail: heinrich@informatik.uni-kl.de keller@informatik.uni-kl.de 242/94 April 21,
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/system_software/1993/papers/ECOOP93.ps.gz, 19940516
PANDA Supporting Distributed Programming in C++ H. Assenmacher, T. Breitbach, P. Buhler, V. H bsch, R. Schwarz Department of Computer Science, University of Kaiserslautern P.O. Box 3049, W - 6750 Kaiserslautern Germany
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/system_software/1994/papers/ParallelPanda.ps.gz, 19940516
Parallel Programming in PANDA H. Assenmacher, T. Breitbach, P. Buhler, V. H bsch, H. Peine, R. Schwarz University of Kaiserslautern, Department of Computer Science PO Box 3049, 67653 Kaiserslautern, Germany 1
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/system_software/1994/papers/SIGOPS_workshop94.ps.gz, 19940516
Meeting the Application in User Space (position paper) H. Assenmacher et University of Kaiserslautern, Department of Computer Science Erwin-Schr dinger-Stra e, D - 67663 Kaiserslautern, Germany al. 1 Email: assen@informatik.uni-kl.de Motivation Today s operating systems still offer a static interface,
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1994/papers/Nesmith.SR-94-06.SEKI.ps.Z, 19940526
An Application of Klop's Counterexample to a Higher-Order Rewrite System Dan Nesmith Department of Computer Science University of the Saarland Postfach 151150 66041 Saarbr ucken Germany email: nesmith@cs.uni-sb.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/system_software/1994/papers/Becker.TransparentFT.ps.Z, 19940608
Computer Science Department University of Kaiserslautern, P.O. Box 3049, D-67653 Kaiserslautern, Germany email: tbecker@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/software_engineering/1994/papers/Verlage.Multi-ViewModelingOfSoftwareProcesses.ps, 19940715
Multi-View Modeling of Software Processes Martin Verlage Fachbereich Informatik, Universit at Kaiserslautern, 67653 Kaiserslautern, Germany Position Paper: 3rd European Workshop on Software Process Technology, Villard de Lans, France, February 1994 1 Introduction The objective of software process
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/system_software/1991/papers/SFB-26:91.Coin.ps.Z, 19940803
COIN - An Object Model and Environment for Distributed Programming Peter Buhler and Peter Sturm Department of Computer Science, University of Kaiserslautern P.O. Box 3049, D-6750 Kaiserslautern, Federal Republic of Germany Email: buhler@informatik.uni-kl.de and sturm@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1994/papers/Steinbach.PhDThesis.ps.Z, 19940812
TERMINATION OF REWRITING Extensions, Comparison and Automatic Generation of Simplification Orderings Vom Fachbereich Informatik der Universit at Kaiserslautern zur Verleihung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.) genehmigte Dissertation von Dipl.-Inform. Joachim
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/mobile_robots/1994/papers/Weiss.Position_from_scans.ps.Z, 19940815
Gerhard Wei , Christopher Wetzler, Ewald von Puttkamer Paper-Ref-Nr. E047 1/7 Keeping Track of Position and Orientation of Moving Indoor Systems by Correlation of Range-Finder Scans Gerhard Wei , Christopher Wetzler, Ewald von Puttkamer University of Kaiserslautern Computer Science Department Research
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/mobile_robots/1994/papers/Edlinger.Exploration.ps.Z, 19940923
Thomas Edlinger Ewald von Puttkamer edlinger@informatik.uni-kl.de puttkam@informatik.uni-kl.de Department of Computer Science, University of Kaiserslautern Erwin-Schr dinger -Stra e, P.O.Box 3049, D-67653 Kaiserslautern, Germany Tel.: +49 631 205 2624 Telex: 45627 unikl d Telefax: +49 631 205 2803 IROS
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/rewriting_systems/1994/papers/Deiss_250_94.ps.Z, 19941107
An Outsiders Evaluation of PAISLey Thomas Deiss 250/94 Fachbereich Informatik Universit at Kaiserslautern Erwin-Schr odinger Strasse 67663 Kaiserslautern, Germany deiss@informatik.uni-kl.de An Outsiders Evaluation of PAISLey Thomas Deiss Fachbereich Informatik Universit at Kaiserslautern
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/papers/Ma.ZRI3-93.ps.Z, 19941114
Ein Kostenmodell der parallelen Anfragebearbeitung in Shared-Nothing-Datenbanksystemen Robert Marek University of Kaiserslautern Dept. of Computer Science 67618 Kaiserslautern, GERMANY Tel: +49 631 205 3272, FAX: +49 631 205 3558 E-mail: marek@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/software_engineering/1994/papers/Rombach.TR-256-94.GERMAN.ps.Z, 19941121
Fachbereich Informatik Interner Bericht Universit t Kaiserslautern Postfach 3049 D-67653 Kaiserslautern Qualit tsorientierte, proze -sensitive H. Dieter Rombach, Andreas Birk, Alfred Br ckers, Christopher M. Lott und Martin Verlage Softwareentwicklungsumgebungen im MVP-Projekt 256/94 Qualit
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/deductive_databases/1994/papers/Decker.dip94.ps.gz, 19941123
Uberpr ufung von Integrit atsbedingungen in Deduktiven Datenbanken Diplomarbeit von Stefan Decker November 1994 AG Grundlagen der Programmierung Fachbereich Informatik Universit at Kaiserslautern Betreuer: Prof. Dr. Otto Mayer Dr. Christoph Lingenfelder Erkl arung Hiermit erkl are ich, Stefan Decker,
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/deductive_databases/1994/papers/Decker.WLP94.ps.gz, 19941123
Uberpr ufung von Integrit atsbedingungen in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung Stefan Decker Universit at Kaiserslautern Fachbereich Informatik Christoph Lingenfelder IBM Deutschland Entwicklung GmbH 71003 B oblingen
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1994/papers/Kronenburg.SR-94-09.ps.Z, 19950103
Planning for distributed theorem proving: The team work approach J org Denzinger, Martin Kronenburg Department of Computer Science University of Kaiserslautern Postfach 3049 67653 Kaiserslautern Email: fdenzinge, kronburgg@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1994/papers/Lunde.SWP-94-05.ps.Z, 19950103
ASF+ | eine ASF- ahnliche Spezifikationssprache R udiger Lunde, Claus-Peter Wirth 22. Dezember 1994 SEKI-WORKING-PAPER SWP45 (SFB) Fachbereich Informatik, Universit at Kaiserslautern, D7663 Kaiserslautern Zusammenfassung: Ohne auf wesentliche Aspekte der in vorgestellten
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1994/papers/Wirth.SWP-94-04.ps.Z, 19950103
Writing Positive/Negative-Conditional Equations Conveniently Claus-Peter Wirth, R udiger Lunde December 22, 1994 SEKI-WORKING-PAPER SWP{94{04 (SFB) Fachbereich Informatik, Universit at Kaiserslautern, D{67663 Kaiserslautern
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/system_software/1994/papers/SIGOPS_workshop94.proceedings.ps.gz, 19950206
Email: assen@informatik.uni-kl.de In modern programming environments, the increasing variety of programming models cannot be satisfactorily matched by a single operating system interface. An interface adaptable to specific application needs requires a user-level realization of system services. The
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1995/papers/Sauter.BTW95.ps.Z, 19950206
Ein objektorientierter Ansatz zur Restrukturierung der betrieblichen Informationsverarbeitung G nter Sauter1, Joachim Thomas Universit t Kaiserslautern, FB Informatik 67653 Kaiserslautern e-mail: thomas@informatik.uni-kl.de berblick In vielen Unternehmen wird der aktuelle Datenbestand durch heterogene
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1995/papers/Thomas.DASFAA95.ps.Z, 19950206
Implementing Dynamic Code Assembly for Client-Based Query Processing J. Thomas, T. Gerbes, T. H rder, B. Mitschang Dept. of Computer Science, University of Kaiserslautern 67653 Kaiserslautern, Germany e-mail: {thomas | gerbes | haerder | mitsch}@informatik.uni-kl.de As determined by the applications
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1995/papers/Dessloch.BTW95.ps.Z, 19950206
Design and Implementation of Advanced Knowledge Processing in the KBMS KRISYS S. De loch1, N. Mattos1, B. Mitschang, J. Thomas Department of Computer Science University of Kaiserslautern 67653 Kaiserslautern, Germany e-mail: {thomas | mitsch}@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/system_software/1993/papers/FTDS93.ps.gz, 19950206
The PANDA System Architecture A Pico-Kernel Approach H. Assenmacher, T. Breitbach, P. Buhler, V. H bsch, R. Schwarz University of Kaiserslautern, Department of Computer Science Erwin-Schr dinger-Stra e, D - 67663 Kaiserslautern, Germany 1
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1991/papers/Lindner.SR-91-17.ps.gz, 19950303
A Guide to UNICOM, an Inductive Theorem Prover Based on Rewriting and Completion Techniques Bernhard Gramlich, Wolfgang Lindner Fachbereich Informatik, Universitat Kaiserslautern Erwin-Schrodinger-Strasse, Postfach 3049 D-6750 Kaiserslautern Germany gramlich@informatik.uni-kl.de December 1991
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/software_engineering/1995/Broeckers.MVP-L_Language_Report_Version_2.AG_Software_Engineering.ps.gz, 19950315
Fachbereich Informatik Interner Bericht Universit t Kaiserslautern Postfach 3049 D-67653 Kaiserslautern MVP-L Language Report Version 2 Alfred Br ckers Christopher M. Lott H. Dieter Rombach Martin Verlage 265 / 95 MVP-L Language Report Version 2 Alfred Br ckers Christopher M. Lott H. Dieter Rombach
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/numerical_algorithms/1994/papers/Keller.Radiosity.ps.gz, 19950317
A Quasi-Monte Carlo Algorithm for the Global Illumination Problem in the Radiosity Setting Alexander Keller Fachbereich Informatik AG Numerische Algorithmen Universit at Kaiserslautern Postfach 3049, D-67653 Kaiserslautern e-mail: keller@informatik.uni-kl.de 260/94
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1994/papers/Ritter.Mitschang.Haerder.Gesmann.Schoening.DE94.ps.gz, 19950403
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1995/papers/Haerder.Mitschang.Ritter.CEF95.ps.gz, 19950403
An Infrastructure For Cooperative Work Arrangements Theo H rder*, Bernhard Mitschang**, Norbert Ritter*
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/numerical_algorithms/1992/papers/Heinrich.RandomApprox.ps.gz, 19950407
Random Approximation in Numerical Analysis Stefan Heinrich Fachbereich Informatik, Universit at Kaiserslautern 1 Introduction One of the most intensively disputed questions of computational mathematics is the following: What is the use of Monte Carlo methods, i. e. can it be of help to involve chance,
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/numerical_algorithms/1993/papers/Heinrich.Complexity.ps.gz, 19950412
Complexity of integral equations and relations to s-numbers Stefan Heinrich Fachbereich Informatik, Universit at Kaiserslautern Dedicated to Joe Traub on the occasion of his 60th birthday
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1994/papers/Haerder.Ritter.EDAF94.ps.gz, 19950412
Transaction-Based Design Data Processing in the PRIMA Framework Theo H arder, Norbert Ritter Department of Computer Science University of Kaiserslautern P.O.Box 3049, 67653 Kaiserslautern, Germany e-mail: haerderjritter@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1994/papers/Ritter.Mitschang.Haerder.Nink.STAK94.ps.gz, 19950412
1 Unterst tzung der Ablaufsteuerung in Entwurfsumgebungen durch Versionierung und Konfigurierung N. Ritter, B. Mitschang, T. H rder, U. Nink Fachbereich Informatik Universit t Kaiserslautern 67653 Kaiserslautern e-mail: {ritter / mitsch / haerder / nink }@informatik.uni-kl.de Zusammenfassung Eine
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1994/papers/Ritter.CSCW-INFRASTRUCTURE-WS94.ps.gz, 19950412
1 An Infrastructure For Cooperative Applications Based On Conventional Database Transactions Norbert Ritter Department of Computer Science University of Kaiserslautern P.O.Box 3049, 67653 Kaiserslautern, Germany e-mail: ritter@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/numerical_algorithms/1994/papers/Frank.LocalIEQ.ps.gz, 19950412
Complexity of local solution of integral equations Karin Frank Stefan Heinrich Fachbereich Informatik Universit at Kaiserslautern Postfach 3049, D{67653 Kaiserslautern e-mail: frank@informatik.uni-kl.de heinrich@informatik.uni-kl.de 28th March 1994
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/software_engineering/ISERN/ISERN_Write-up.ps.gz, 19950412
PostScript Lang. Ref. Man., 2nd Ed., H.2.4 says EPS must not call setpagedevice
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/numerical_algorithms/1994/papers/Frank.LocalMIEQ.ps.gz, 19950412
Complexity of local solution of multivariate integral equations Karin Frank Fachbereich Informatik Universit at Kaiserslautern Postfach 3049, D{67653 Kaiserslautern 7th July 1994
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/mobile_robots/1995/Weiss.Map_from_Laserscans.ps.gz, 19950505
A MAP BASED ON LASERSCANS WITHOUT GEOMETRIC INTERPRETATION G. WEISS and E. v. PUTTKAMER University of Kaiserslautern, Depar tment for Computer Science, Research Group v . Puttkamer, P.O.-Box 3049, D-67653 Kaiserslautern, Germany
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1995/papers/Gesmann.Komplexobjektaufbau.german.ps.gz, 19950505
Strategien zum dynamischen Aufbau komplexer Objekte in der Anfrageverarbeitung Michael Gesmann Universit t Kaiserslautern email: gesmann@informatik.uni-kl.de Kurzfassung Strukturell objektorientierte Datenbanksysteme bieten die M glichkeit zur direkten Modellierung und Verarbeitung komplexer Objekte,
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1994/papers/Gesmann.Performance_RCS.ps.gz, 19950509
1 Performance Evaluation of the Remote Cooperation System in PRIMA Michael Gesmann University of Kaiserslautern Federal Republic of Germany email: gesmann@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1995/Reinert.SR-95-01.ps.gz, 19950516
On Gr obner Bases for Two-Sided Ideals in Nilpotent Group Rings Klaus Madlener, Birgit Reinert Fachbereich Informatik, Universit at Kaiserslautern 67663 Kaiserslautern, Germany SR-95-01
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1995/Avenhaus.SR-95-07.ps.gz, 19950516
General Algorithms for Permutations in Equational Inference J urgen Avenhaus Universit at Kaiserslautern Fachbereich Informatik D-67663 Kaiserslautern e-mail: avenhaus@informatik.uni-kl.de David A. Plaisted Department of Computer Science University of North Carolina at Chapel Hill Chapel Hill, NC
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1995/Avenhaus.SR-95-03.ps.gz, 19950516
A Reduction Ordering for Higher-Order Terms J urgen Avenhaus1, Carlos Lor a-S aenz2, and Joachim Steinbach3 1 Universit at Kaiserslautern Fachbereich Informatik, Postfach 3049 67653 Kaiserslautern (Germany) 2 Instituto Tecnologico de Costa Rica Departamento de Computaction Apartado 159-7050 Cartago
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1995/Gramlich.SR-95-08.ps.gz, 19950614
A Note on a Parameterized Version of the Well-Founded Induction Principle Bernhard Gramlich Fachbereich Informatik, Universit at Kaiserslautern Postfach 3049, 67653 Kaiserslautern, Germany gramlich@informatik.uni-kl.de May 23, 1995 SEKI-Report SR{95{08 (SFB)
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1995/Sattler.SR-95-06.ps.gz, 19950614
Proof Lengths for Equational Completion David A. Plaisted Department of Computer Science University of North Carolina at Chapel Hill Chapel Hill, NC 27599-3175 e-mail: plaisted@cs.unc.edu Andrea Sattler-Klein Universit at Kaiserslautern Fachbereich Informatik D-67663 Kaiserslautern e-mail:
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1995/Wirth.SR-95-09.ps.gz, 19950811
Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems Claus-Peter Wirth SEKI-Report SR{95{09 July 23, 1995 Universit at Kaiserslautern Fachbereich Informatik D-67663 Kaiserslautern
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/software_engineering/ISERN/ISERN.member-list.ps.gz, 19950823
Current List of ISERN Members University of Maryland at College Park; USA Contact: Prof. Dr. V.R. Basili Institute for Adv. Comp. Science Department of Computer Science University Maryland College Park MD 20742 USA VTT Electronics; Finland Contact: Dr. Markku Oivo VTT Electronics P.O. Box 1100 FIN-90571
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/software_engineering/ISERN/ISERN.benfits.ps.gz, 19950823
Benefits Benefits from Network Experimental software engineering research requires the cooperation of industry and academia. We anticipate the participation of industrial as well as academic groups in ISERN. The following sections list a number of benefits each type of participant could expect from
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/software_engineering/ISERN/ISERN.member.ps.gz, 19950823
University of Maryland at College Park (USA) Software engineering research is performed by the software engineering and programming languages group of the Department of Computer Science, the Institute for Advanced Computer Studies, and the Software Engineering Laboratory (SEL), a joint research venture
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/software_engineering/ISERN/ISERN.terminology.ps.gz, 19950823
ISERN basic terminology Experimental Software Engineering Software 1. Software is part of a system solution that can be encoded to execute on a computer as a set of instructions; it includes all the associated documentation necessary to understand, transform and use that solution. 2. Software is the
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/numerical_algorithms/1995/Frank.Sobolev.ps.gz, 19950914
Information Complexity of Multivariate Fredholm Integral Equations in Sobolev Classes Karin Frank, Stefan Heinrich, Sergei Pereverzev Fachbereich Informatik Universit at Kaiserslautern Postfach 3049, D{67653 Kaiserslautern 11th January 1995
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/system_software/1995/Schwarz.Dagstuhl.speedup.ps.gz, 19950914
Speedup Limits for Tightly-Coupled Parallel Computations Reinhard Schwarz University of Kaiserslautern, Department of Computer Science, PO Box 3049, D{67653 Kaiserslautern, Germany
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1995/Denzinger.SR-95-11.ps.gz, 19951128
Completion and Equational Theorem Proving using Taxonomic Constraints J org Denzinger Department of Computer Science University of Kaiserslautern Postfach 3049, 67653 Kaiserslautern E-mail: denzinge@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1995/Fuchs.SR-95-10.ps.gz, 19951129
Experiments in the Heuristic Use of Past Proof Experience Matthias Fuchs Fachbereich Informatik, Universit at Kaiserslautern Postfach 3049, 67653 Kaiserslautern Germany E-mail: fuchs@informatik.uni-kl.de November 28, 1995
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1995/Fuchs.SR-95-02.ps.gz, 19951205
Learning proof heuristics by adapting parameters Matthias Fuchs Fachbereich Informatik, Universit at Kaiserslautern Postfach 3049, 67653 Kaiserslautern Germany E-mail: fuchs@informatik.uni-kl.de December 5, 1995
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/mobile_robots/1995/Edlinger.Exp_Nav_Loc.ps.gz, 19951208
Autonome mobile Systeme '95, Karlsruhe, Germany, 30. Nov. - 1. Dez. 1995 page 1 of 10 Exploration, Navigation and Self-Localization in an Autonomous Mobile Robot Thomas Edlinger Gerhard Wei edlinger@informatik.uni-kl.de weiss@informatik.uni-kl.de University of Kaiserslautern, Department of Computer
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1995/Reinert.PhDThesis.ps.gz, 19951220
On Gr obner Bases in Monoid and Group Rings Vom Fachbereich Informatik der Universit at Kaiserslautern zur Verleihung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.) genehmigte Dissertation von Dipl.-Math. Birgit Reinert Datum der wissenschaftlichen Aussprache: 14. Juni 1995
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1995/Gramlich.SR-95-13.ps.gz, 19960129
Confluence without Termination via Parallel Critical Pairs Bernhard Gramlich Fachbereich Informatik, Universit at Kaiserslautern Postfach 3049, 67653 Kaiserslautern, Germany gramlich@informatik.uni-kl.de SEKI-Report SR{95{13 (SFB)
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1995/Avenhaus.SR-95-14.ps.gz, 19960130
Theorem Proving in Hierarchical Clausal Specifications J. Avenhaus K. Madlener Universit at Kaiserslautern Fachbereich Informatik Postfach 3049 67653 Kaiserslautern
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1995/Wirth.SR-95-15.ps.gz, 19960325
Inductive Theorem Proving in Theories Specified by Positive/Negative- Conditional Equations Claus-Peter Wirth Ulrich K uhler SEKI-Report SR-95-15 (SFB) December 13, 1995 Universit at Kaiserslautern Fachbereich Informatik D-67663 Kaiserslautern
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1996/Becker.SR-96-02.ps.gz, 19960415
How to Prove Ground Confluence Klaus Becker Universit at Kaiserslautern,67663 Kaiserslautern, Germany email: klbecker@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/nink96.cad.ps.gz, 19960725
Effizienzbetrachtungen zu SDAI auf OODBS1 Dipl.-Inform. Udo Nink Universit t Kaiserslautern, AG Datenverwaltungssysteme Postfach 3049, 67653 Kaiserslautern email: nink@informatik.uni-kl.de Zusammenfassung STEP erlaubt die elektronische Verwaltung aller w hrend des gesamten Lebenszyklus eines Produktes
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/nink95.btw.ps.gz, 19960725
SDAI auf DBS implementieren und anwenden1 U. Nink Fachbereich Informatik, Universit t Kaiserslautern, Postfach 3049, 67653 Kaiserslautern e-mail: nink@informatik.uni-kl.de Zusammenfassung: STEP erlaubt die elektronische Verwaltung aller w hrend des gesamten Lebenszyklus eines Produktes anfallenden
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1996/Gesmann.mapping_codbms.ps.gz, 19960819
Mapping a Parallel Complex-Object DBMS to Operating System Processes Michael Gesmann Department of Computer Science - University of Kaiserslautern E-Mail: gesmann@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/electrical_engineering/asynchronous-circuits/ifip94.ps.gz, 19961007
VMEbus Controller Synthesis by Communicating Asynchronous Sequential Circuits Eisele, W.; Eckstein, G.; Beister, J. Department of Electrical Engineering Kaiserslautern University, D-67653 Kaiserslautern E-Mail: eckstein@rhrk.uni-kl.de December 20, 1994
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/electrical_engineering/asynchronous-circuits/ifip93.ps.gz, 19961007
1 Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required Behavior J. Beister and R. Wollowski Department of Electrical Engineering, University of Kaiserslautern, Germany
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/electrical_engineering/asynchronous-circuits/oxfo93.ps.gz, 19961007
AN ASYNCHRONOUS CONTROLLER FOR A DAISY- CHAINABLE VME BUS INTERRUPTER Jochen Beister, Matthias Kuhn, Ralf Wollowski Department of Electrical Engineering University of Kaiserslautern, D-67653 Kaiserslautern, Germany
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/german/hmnr95.ife.ps.gz, 19961007
1 Workstation/Server-Architekturen f r datenbankbasierte Ingenieuranwendungen T. H rder, B. Mitschang, U. Nink, N. Ritter Fachbereich Informatik Universit t Kaiserslautern Postfach 3049 67653 Kaiserslautern e-mail: { haerder / mitsch / nink / ritter }@informatik.uni-kl.de Zusammenfassung
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/rewriting_systems/1996/Buch_1996_2.ps.gz, 19961009
WALDMEISTER: High performance equational theorem proving Arnim Buch Thomas Hillenbrand Roland Fettig Universit at Kaiserslautern, FB Informatik, 67653 Kaiserslautern, Germany email: fbuch,hillen,fettigg@informatik.uni-kl.de Today the application area of deduction systems is yet too small to let them
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/rewriting_systems/1996/Buch_1996_1.ps.gz, 19961009
On gaining efficiency in completion{based theorem proving Thomas Hillenbrand Arnim Buch Roland Fettig Universit at Kaiserslautern, FB Informatik, 67653 Kaiserslautern, Germany email: fhillen,buch,fettigg@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1996/HaerderReinert.AccessPathSupportForReferentialIntegrityInSQL2.ps.gz, 19961009
1 Access Path Support for Referential Integrity in SQL2 Theo H rder, Joachim Reinert University of Kaiserslautern Dept. of Computer Science, P.O.Box 3049 67653 Kaiserslautern, Germany Phone: +49 631 205 4030 Fax: +49 631 205 3558 e-mail: {haerder | jreinert} @informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1996/Fuchs.SR-96-07.ps.gz, 19961010
Towards Full Automation of Deduction: A Case Study Matthias Fuchs Centre for Learning Systems and Applications (LSA) Fachbereich Informatik, Universit at Kaiserslautern Postfach 3049, 67653 Kaiserslautern Germany E-mail: fuchs@informatik.uni-kl.de October 4, 1996
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1993/HaerderRothermel.ConcurrencyControl.ps.gz, 19961021
1 Concurrency Control Issues in Nested Transactions Prof. Dr. Theo H rder University of Kaiserslautern D-6750 Kaiserslautern Fed. Rep. of Germany Phone: ++49-631-205-4031 Fax: ++49-631-205-3558 e-mail:haerder@informatik.uni-kl.de Prof. Dr. Kurt Rothermel University of Stuttgart D-7000 Stuttgart 80 Fed.
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1996/Fuchs.SR-96-08.ps.gz, 19961111
Evolving Combinators Matthias Fuchs Fachbereich Informatik Universit at Kaiserslautern Postfach 3049 67653 Kaiserslautern Germany E-mail: fuchs@informatik.uni-kl.de October 28, 1996
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1996/Denzinger.SR-96-09.ps.gz, 19961111
High Performance ATP Systems by Combining Several AI Methods J org Denzinger, Matthias Fuchs Centre for Learning Systems and Applications (LSA) Fachbereich Informatik, Universit at Kaiserslautern Postfach 3049 67653 Kaiserslautern Germany E-mail: fdenzingejfuchsg@informatik.uni-kl.de Marc Fuchs Fakult
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1996/Buch.SR-96-01.ps.gz, 19961204
WALDMEISTER: Development of a High Performance Completion{Based Theorem Prover Arnim Buch Thomas Hillenbrand SEKI{Report SR-96-01 Universit at Kaiserslautern, Fachbereich Informatik, D-67653 Kaiserslautern, FRG email: fbuch,hilleng@informatik.uni-kl.de December 3, 1996
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1996/Kuehler.SR-96-11.ps.gz, 19961210
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving Ulrich K uhler Claus-Peter Wirth SEKI-Report SR{96{11 November 20, 1996 Fachbereich Informatik Universit at Kaiserslautern Postfach 3049 D-67653 Kaiserslautern fkuehler,wirthg@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1996/Fuchs.SR-96-12.ps.gz, 19970128
Inference Rights for Controlling Search in Generating Theorem Provers Dirk Fuchs Fachbereich Informatik, Universit at Kaiserslautern Postfach 3049 67653 Kaiserslautern Germany E-mail: dfuchs@informatik.uni-kl.de December 20, 1996
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1997/Fuchs.SR-97-01.ps.gz, 19970128
Flexible Re-enactment of Proofs Matthias Fuchs Center for Learning Systems and Applications (LSA) Fachbereich Informatik Universit at Kaiserslautern Postfach 3049 67653 Kaiserslautern Germany E-mail: fuchs@informatik.uni-kl.de January 20, 1997
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1997/Eschbach.SR-97-02.ps.gz, 19970526
Robert Eschbach Inger Sonntag PLATIN A Planning System for Inductive Theorem Proving Implementation and Experiences Fachbereich Informatik, Universit t Kaiserslautern, Postfach 3049, D-67653 Kaiserslautern, {eschbach,sonntag}@informatik.uni-kl.de, SEKI-Report SR-97-02, March 24, 1997
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1997/Denzinger.SR-97-04.ps.gz, 19970526
Using Teamwork for the Distribution of Approximately Solving the Traveling Salesman Problem with Genetic Algorithms J org Denzinger, Stephan Scholz Fachbereich Informatik, Universit at Kaiserslautern Postfach 3049 67653 Kaiserslautern Germany E-mail: fdenzingejstscholzg@informatik.uni-kl.de April 25,
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1997/Fuchs.SR-97-03.ps.gz, 19970526
Cooperation in Theorem Proving by Loosely Coupled Heuristics Dirk Fuchs, J org Denzinger Fachbereich Informatik, Universit at Kaiserslautern Postfach 3049, 67653 Kaiserslautern Germany E-mail: fdfuchsjdenzingeg@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/database_systems/1997/papers/Zhang.Haerder.ADBIS97.ps.gz, 19970814
- 1 - On Modeling Power of Object-Relational Data Models in Technical Applications Nan Zhang, Theo H rder Department of Computer Science, University of Kaiserslautern 67653 Kaiserslautern, Germany E-mail: {zhang | haerder}@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1997/Fuchs.SR-97-07.ps.gz, 19980113
Coupling Saturation-Based Provers by Exchanging Positive/Negative Information Dirk Fuchs Fachbereich Informatik, Universit at Kaiserslautern Postfach 3049, 67653 Kaiserslautern Germany E-mail: dfuchs@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1997/Fuchs.SR-97-11.ps.gz, 19980113
Knowledge-based Cooperation between Theorem Provers by Techs Dirk Fuchs, J org Denzinger Fachbereich Informatik, Universit at Kaiserslautern Postfach 3049, 67653 Kaiserslautern Germany E-mail: fdfuchsjdenzingeg@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1998/Fuchs.SR-98-02.ps.gz, 19980113
Requirement-Based Cooperative Theorem Proving Dirk Fuchs Fachbereich Informatik, Universit at Kaiserslautern Postfach 3049, 67653 Kaiserslautern Germany E-mail: dfuchs@informatik.uni-kl.de
open this document and view contentsftp://ftp.uni-kl.de/reports_uni-kl/computer_science/SEKI/1998/Fuchs.SR-98-01.ps.gz, 19980113
Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer Dirk Fuchs Fachbereich Informatik, Universit at Kaiserslautern Postfach 3049, 67653 Kaiserslautern Germany E-mail: dfuchs@informatik.uni-kl.de