Content
Veröffentlichungen in der Reihe CIS-Berichte
2003
Hristo Ganchev; Stoyan Mihov; Klaus U. Schulz
(2003)
How to Reduce k Tapes to One
CIS-Bericht-03-133
How to Reduce k Tapes to One
CIS-Bericht-03-133
Stoyan Mihov; Klaus U. Schulz
(2003)
Fast Approximate Search in Large Dictionaries
CIS-Bericht-03-132
Fast Approximate Search in Large Dictionaries
CIS-Bericht-03-132
Christian Strohmaier; Christoph Ringlstetter; Klaus U. Schulz
(2003)
Lexical Postcorrection of OCR-Results: The Web as a Dynamic Secondary Dictionary
CIS-Bericht-03-131
Lexical Postcorrection of OCR-Results: The Web as a Dynamic Secondary Dictionary
CIS-Bericht-03-131
2002
John Peterson
(2002)
Cross-Linguistic Reference Grammar (Final report). (AVG 2.0, Allgemein-vergleichende Grammatik)
CIS-Bericht-02-130
Cross-Linguistic Reference Grammar (Final report). (AVG 2.0, Allgemein-vergleichende Grammatik)
CIS-Bericht-02-130
2001
Matthias Nickles
(2001)
Systematics - Ein XML-basiertes Internet-Datenbanksystem für klassifikationsgestützte Sprachbeschreibungen
CIS-Bericht-01-129
Systematics - Ein XML-basiertes Internet-Datenbanksystem für klassifikationsgestützte Sprachbeschreibungen
CIS-Bericht-01-129
Hans Leiss
(2001)
Zweitstufige Prälogische Relationen und Repräsentationsunabhängigkeit
CIS-Bericht-01-128
Zweitstufige Prälogische Relationen und Repräsentationsunabhängigkeit
CIS-Bericht-01-128
Klaus U. Schulz; Stoyan Mihov
(2001)
Fast String Correction with Levenshtein-Automata
CIS-Bericht-01-127
Fast String Correction with Levenshtein-Automata
CIS-Bericht-01-127
2000
Klaus U. Schulz; Holger Meuss
(2000)
Complete Answer Aggregates for Answer Mappings to Sequence, Tree and Graph Databases
CIS-Bericht-00-125
Complete Answer Aggregates for Answer Mappings to Sequence, Tree and Graph Databases
CIS-Bericht-00-125
1999
Christian Strohmaier; Holger Meuss
(1999)
A Filter for Structured Document Retrieval
CIS-Bericht-99-123
A Filter for Structured Document Retrieval
CIS-Bericht-99-123
Boyd Buchin
(1999)
Die Generierung natürlicher Sprache aus einer formalen Repräsentation
CIS-Bericht-99-122
Die Generierung natürlicher Sprache aus einer formalen Repräsentation
CIS-Bericht-99-122
Anton Benz
(1999)
Bereiche einer verallgemeinerten Mengenlehre zur Modellierung nichtfundierter Strukturen
CIS-Bericht-99-119
Bereiche einer verallgemeinerten Mengenlehre zur Modellierung nichtfundierter Strukturen
CIS-Bericht-99-119
1998
Manfred Schmidt-Schauß; Klaus U. Schulz
(1998)
Solvability of Context Equations with two Context Variables is Decidable
CIS-Bericht-98-114
Solvability of Context Equations with two Context Variables is Decidable
CIS-Bericht-98-114
Holger Meuss; Klaus U. Schulz
(1998)
Complete Answer Aggregates for Structured Document Retrieval
CIS-Bericht-98-112
Complete Answer Aggregates for Structured Document Retrieval
CIS-Bericht-98-112
Antonia Happ
(1998)
Komparierte Adjektive: Struktur, Bedeutung und Kombinationen mit noch
CIS-Bericht-98-110
Komparierte Adjektive: Struktur, Bedeutung und Kombinationen mit noch
CIS-Bericht-98-110
1997
Anton Benz; Gerhard Jäger
(1997)
MunDial'97. Munich Workshop on Formal Semantics and Pragmatics of Dialogue. Proceedings
CIS-Bericht-97-106
MunDial'97. Munich Workshop on Formal Semantics and Pragmatics of Dialogue. Proceedings
CIS-Bericht-97-106
1996
Klaus U. Schulz; Tomek Mikolajewski
(1996)
Between Finite State and Prolog: Constraint-Based Automata for Efficient Recognition of Phrases
CIS-Bericht-96-102
Between Finite State and Prolog: Constraint-Based Automata for Efficient Recognition of Phrases
CIS-Bericht-96-102
Martin Emms; Hans Leiß
(1996)
Extending the Type Checker of SML by Polymorphic Recursion -- A Correctness Proof
CIS-Bericht-96-101
Extending the Type Checker of SML by Polymorphic Recursion -- A Correctness Proof
CIS-Bericht-96-101
Klaus U. Schulz
(1996)
Combining Unification and Disunification Algorithms -- Tractable and Intractable Instances
CIS-Bericht-96-99
Combining Unification and Disunification Algorithms -- Tractable and Intractable Instances
CIS-Bericht-96-99
Stefan Langer; Petra Maier; Jürgen Oesterle
(1996)
CISLEX - An Electronic Dictionary for German: Its Structure and a Lexicographic Application
CIS-Bericht-96-97; Proceedings of COMPLEX '96 S.155-164
CISLEX - An Electronic Dictionary for German: Its Structure and a Lexicographic Application
CIS-Bericht-96-97; Proceedings of COMPLEX '96 S.155-164
Karsten Wenger
(1996)
Vorschlagsgenerierung und Eliminierung von Sackgassen in DCGs
CIS-Bericht-96-96
Vorschlagsgenerierung und Eliminierung von Sackgassen in DCGs
CIS-Bericht-96-96
Burkhard Wittek
(1996)
Klassifikation von Berufen und beruflichen Tätigkeiten für das Information Retrieval
CIS-Bericht-96-95
Klassifikation von Berufen und beruflichen Tätigkeiten für das Information Retrieval
CIS-Bericht-96-95
Stefan Langer
(1996)
Selektionsklassen und Hyponymie im Lexikon
Semantische Klassifizierung von Nomina für das elektronische Wörterbuch CISLEX CIS-Bericht-96-94 (Dissertation, 1996)
Selektionsklassen und Hyponymie im Lexikon
Semantische Klassifizierung von Nomina für das elektronische Wörterbuch CISLEX CIS-Bericht-96-94 (Dissertation, 1996)
Elizabeth Klobusicky-Mailänder
(1996)
Vernetzte Kommunikation und Tutorensysteme im interkulturellen Austausch
CIS-Bericht-96-93
Vernetzte Kommunikation und Tutorensysteme im interkulturellen Austausch
CIS-Bericht-96-93
Klaus U. Schulz; Stephan Kepser
(1996)
UNIF 96, Extended Abstracts of the Tenth International Workshop on Unification
CIS-Bericht-96-91
UNIF 96, Extended Abstracts of the Tenth International Workshop on Unification
CIS-Bericht-96-91
Franz Baader; Klaus U. Schulz
(1996)
Combination of Constraint Solvers for Free and Quasi-Free Structures
CIS-Bericht-96-90, auch erschienen in: Theoretical Computer Science, 192 (1988) pp. 107-161.
Combination of Constraint Solvers for Free and Quasi-Free Structures
CIS-Bericht-96-90, auch erschienen in: Theoretical Computer Science, 192 (1988) pp. 107-161.
Hans Leiß
(1996)
Bounded Fixed-Point Definability and Tabular Recognition of Languages
CIS-Bericht-96-89 Published in: Proceedings Computer Science Logic, CSL'95, Springer LNCS 1092.
Bounded Fixed-Point Definability and Tabular Recognition of Languages
CIS-Bericht-96-89 Published in: Proceedings Computer Science Logic, CSL'95, Springer LNCS 1092.
Martin Emms
(1996)
Documentation for polyrec_sml: An Extension of SML with Typechecking for Polymorphic Recursion
CIS-Bericht-96-88
Documentation for polyrec_sml: An Extension of SML with Typechecking for Polymorphic Recursion
CIS-Bericht-96-88
Klaus U. Schulz; Stephan Kepser
(1996)
Combination of Constraint Systems II: Rational Amalgamation
CIS-Bericht-96-86
Combination of Constraint Systems II: Rational Amalgamation
CIS-Bericht-96-86
1995
Franz Baader; Klaus U. Schulz
(1995)
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers
CIS-Bericht-95-120
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers
CIS-Bericht-95-120
1994
Franz Baader; Klaus U. Schulz
(1994)
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers
CIS-Bericht-94-82
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers
CIS-Bericht-94-82
Ulrich Schatz
(1994)
Bidirektionale Sprachverarbeitung mit Unifikationsgrammatiken
CIS-Bericht-94-79
Bidirektionale Sprachverarbeitung mit Unifikationsgrammatiken
CIS-Bericht-94-79
Jürgen Oesterle
(1994)
Syntaktische und semantische Aspekte von Maß konstruktionen im Deutschen
CIS-Bericht-94-78
Syntaktische und semantische Aspekte von Maß konstruktionen im Deutschen
CIS-Bericht-94-78
Franz Baader; Klaus U. Schulz
(1994)
Combination of Constraint Solving Techniques: An Algebraic Point of View
CIS-Bericht-94-75
Combination of Constraint Solving Techniques: An Algebraic Point of View
CIS-Bericht-94-75
Robert F. Stärk
(1994)
A General Semiunification Algorithm and its Correctness Proof
CIS-Bericht-94-74
A General Semiunification Algorithm and its Correctness Proof
CIS-Bericht-94-74
Burkhard Wittek
(1994)
Ein natürlichsprachliches Zugangssystem für relationale Datenbanken des Schmierstoffe-Wissensbereichs
CIS-Bericht-94-73
Ein natürlichsprachliches Zugangssystem für relationale Datenbanken des Schmierstoffe-Wissensbereichs
CIS-Bericht-94-73
1993
Franz Baader; Klaus U. Schulz
(1993)
Combination Techniques and Decision Problems for Disunification
CIS-Bericht-93-65
Combination Techniques and Decision Problems for Disunification
CIS-Bericht-93-65
1992
Leila Behrens
(1992)
Lexikalische Ambiguität und Disambiguierung im Kontext der Maschinellen Übersetzung
in: Lutzeier, P.R. (Hrsg.) Akten der Tagung Wortfeldtheorie, München 29.-31. Juli 1991 CIS-Bericht-92-62,
Lexikalische Ambiguität und Disambiguierung im Kontext der Maschinellen Übersetzung
in: Lutzeier, P.R. (Hrsg.) Akten der Tagung Wortfeldtheorie, München 29.-31. Juli 1991 CIS-Bericht-92-62,
Anne Lehrndorfer
(1992)
Simplified English von AECMA - Beschreibung und Diskussion
CIS-Bericht-92-60
Simplified English von AECMA - Beschreibung und Diskussion
CIS-Bericht-92-60
Franz Baader; Klaus U. Schulz
(1992)
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
CIS-Bericht-92-59
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
CIS-Bericht-92-59
Franz Baader; Klaus U. Schulz
(1992)
General A- and AX-Unification via Optimized Combination Procedures
CIS-Bericht-92-58
General A- and AX-Unification via Optimized Combination Procedures
CIS-Bericht-92-58
Jörg Hudelmaier
(1992)
A Decision Procedure for Intuitionistic Propositional Logic
in: Journal of Logic and Computation CIS-Bericht-92-57
A Decision Procedure for Intuitionistic Propositional Logic
in: Journal of Logic and Computation CIS-Bericht-92-57
Stefan Langer; Karin Krüger-Thielmann; Robert Pasero; Nathalie Richardet; Paul Sabatier
(1992)
KOMBE. Communication Aids for the Handicapped
CIS-Bericht-92-55
KOMBE. Communication Aids for the Handicapped
CIS-Bericht-92-55
Matilde Celma; Juan Carlos Casamayor
(1992)
A Derivation Path Recording Method for Integrity Checking in Deductive Databases
CIS-Bericht-92-49
A Derivation Path Recording Method for Integrity Checking in Deductive Databases
CIS-Bericht-92-49
1991
Hans Leiß
(1991)
Combining Dynamic and Recursive Types
Published in: Proceedings TLCA'93, Typed Lambda Calculus and Applications. Springer LNCS 664 CIS-Bericht-92-48
Combining Dynamic and Recursive Types
Published in: Proceedings TLCA'93, Typed Lambda Calculus and Applications. Springer LNCS 664 CIS-Bericht-92-48
Klaus U. Schulz
(1991)
Word Unification and Transformation of Generalized Equations
CIS-Bericht-91-46
Word Unification and Transformation of Generalized Equations
CIS-Bericht-91-46
Dov M. Gabbay; Klaus U. Schulz
(1991)
Logic Finite Automata and Constraint Logic Finite Automata
CIS-Bericht-91-45
Logic Finite Automata and Constraint Logic Finite Automata
CIS-Bericht-91-45
Karin Krüger-Thielmann
(1991)
Wissensbasierte Sprachlernsysteme: Neue Möglichkeiten für den computergestützten Sprachunterricht
CIS-Bericht-91-44
Wissensbasierte Sprachlernsysteme: Neue Möglichkeiten für den computergestützten Sprachunterricht
CIS-Bericht-91-44
Andreas Edmüller
(1991)
Eine Davidsonsche Semantik für die Diskurs-Repräsentationstheorie
CIS-Bericht-91-41
Eine Davidsonsche Semantik für die Diskurs-Repräsentationstheorie
CIS-Bericht-91-41
H. Méloni; P. Gilles; A. Betari
(1991)
Representation of Acoustic and Phonetic Knowledge for Speaker-Independent Recognition of Small Vocabularies
CIS-Bericht-91-40
Representation of Acoustic and Phonetic Knowledge for Speaker-Independent Recognition of Small Vocabularies
CIS-Bericht-91-40
Klaus U. Schulz
(1991)
Makanin's Algorithm - Two Improvements and a Generalization
CIS-Bericht-91-39
Makanin's Algorithm - Two Improvements and a Generalization
CIS-Bericht-91-39
1990
Hans Leiß
(1990)
On Kilbury's Modification of Earley's Algorithm
CIS-Bericht-90-34, erschienen in ACM Transactions on programming Languages and Systems, Vol. 12, No. 4, 1990, 610--640
On Kilbury's Modification of Earley's Algorithm
CIS-Bericht-90-34, erschienen in ACM Transactions on programming Languages and Systems, Vol. 12, No. 4, 1990, 610--640
Karsten Wenger
(1990)
Ein Expertensystem für das Arbeitsförderungsgesetz
CIS-Bericht-90-33; in Computer und Recht, 1990, 12, 801-805
Ein Expertensystem für das Arbeitsförderungsgesetz
CIS-Bericht-90-33; in Computer und Recht, 1990, 12, 801-805
Jörg Hudelmaier
(1990)
A Decision Procedure for Intuitionistic Propositional Logic
CIS-Bericht-90-32, in Logic and Computation
A Decision Procedure for Intuitionistic Propositional Logic
CIS-Bericht-90-32, in Logic and Computation
Ulrich Schatz; Christoph Lehner
(1990)
Implementation of the Comprehensive Unification Formalism
CIS-Bericht-90-31
Implementation of the Comprehensive Unification Formalism
CIS-Bericht-90-31
Hans Leiß
(1990)
Polymorphic Constructs in Natural and Programming Languages
CIS-Bericht-90-26, in Proceedings JELIA 1990, Springer Verlag.
Polymorphic Constructs in Natural and Programming Languages
CIS-Bericht-90-26, in Proceedings JELIA 1990, Springer Verlag.
Christoph Lehner
(1990)
Constraint Logic Programming for Natural Language Analysis I
CIS-Bericht-90-25
Constraint Logic Programming for Natural Language Analysis I
CIS-Bericht-90-25
Leila Behrens; Andrea Förtsch
(1990)
Semantics in METAL (Disambiguation, Semantic features, PP Semantics)
CIS-Bericht-90-19
Semantics in METAL (Disambiguation, Semantic features, PP Semantics)
CIS-Bericht-90-19
Leila Behrens; Heike Winhart
(1990)
Lexikalische Disambiguierung in METAL, 2. Teil -- Nomina
CIS-Bericht-90-17
Lexikalische Disambiguierung in METAL, 2. Teil -- Nomina
CIS-Bericht-90-17
Petra Maier
(1990)
Definite Referenz und Common Knowledge in der Situations-Theorie
CIS-Bericht-90-16
Definite Referenz und Common Knowledge in der Situations-Theorie
CIS-Bericht-90-16
Marcus Brown; Elisabeth Maier
(1990)
A Goal-Oriented Treatment of Text Structures in Text Planning
CIS-Bericht-90-13
A Goal-Oriented Treatment of Text Structures in Text Planning
CIS-Bericht-90-13
Hans Tillmann; Hans Georg Piroth; Barbara Eisen
(1990)
Development and Experimental Use of PHONWORK, A New Phonetic Work Bench
CIS-Bericht-90-12, in International Conference on Spoken Language Processing, Kobe (Japan), 1990
Development and Experimental Use of PHONWORK, A New Phonetic Work Bench
CIS-Bericht-90-12, in International Conference on Spoken Language Processing, Kobe (Japan), 1990
Hans Tillmann
(1990)
Max Speech understanding systems: Development of a system for phonetic segmentation and transcription (PST)
CIS-Bericht-90-11, auch in: Institut für Phonetik und sprachliche Kommunikation der Universität München, Forschungsberichte 28 (1990)
Max Speech understanding systems: Development of a system for phonetic segmentation and transcription (PST)
CIS-Bericht-90-11, auch in: Institut für Phonetik und sprachliche Kommunikation der Universität München, Forschungsberichte 28 (1990)
Manfred Krifka; Karsten Wenger
(1990)
Graduierung und Dimension
CIS-Bericht-90-10, erschienen in Linguistische Berichte, 1990, 478--504.
Graduierung und Dimension
CIS-Bericht-90-10, erschienen in Linguistische Berichte, 1990, 478--504.
Wolfgang Kreitmair
(1990)
Unifikation und Constraints: Theoretische Grundlagen und Algorithmen
CIS-Bericht-90-8
Unifikation und Constraints: Theoretische Grundlagen und Algorithmen
CIS-Bericht-90-8
Wolfgang Kreitmair
(1990)
Metamorphosen-Grammatik als theoretische Basis für natürlich-sprachliche Systeme
CIS-Bericht-90-7
Metamorphosen-Grammatik als theoretische Basis für natürlich-sprachliche Systeme
CIS-Bericht-90-7
Colette Colmerauer
(1990)
Une grammaire des rapports financiers du journal Le Monde
CIS-Bericht-90-5
Une grammaire des rapports financiers du journal Le Monde
CIS-Bericht-90-5
Jörg Hudelmaier
(1990)
A Decision Procedure for Propositional N-PROLOG
CIS-Bericht-90-4, in P. Schroeder-Heister (Hrsg.) Extensions of Logic Programming, Springer Verlag.
A Decision Procedure for Propositional N-PROLOG
CIS-Bericht-90-4, in P. Schroeder-Heister (Hrsg.) Extensions of Logic Programming, Springer Verlag.
Jörg Hudelmaier
(1990)
Bounds for Cut Elimination for Propositional Intuitionistic Logic
CIS-Bericht-90-3, erschienen im Archive for Mathematical Logic, 1991.
Bounds for Cut Elimination for Propositional Intuitionistic Logic
CIS-Bericht-90-3, erschienen im Archive for Mathematical Logic, 1991.
(1990)
Features and Values 1988
CIS-Bericht-90-2, in J. Wedekind & C. Rohrer (Hrsg.) Unification Formalisms, MIT Press
Features and Values 1988
CIS-Bericht-90-2, in J. Wedekind & C. Rohrer (Hrsg.) Unification Formalisms, MIT Press
(1990)
Computerlinguistik: `A Personal View''
CIS-Bericht-90-1 in Festschrift für David Reibel, Tübingen
Computerlinguistik: `A Personal View''
CIS-Bericht-90-1 in Festschrift für David Reibel, Tübingen