default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDissertations in Artificial Intelligence
Dissertationen zur Künstlichen Intelligenz (DISKI)
355Jonas Philipp Haldimann
:
Nonmonotonic Reasoning with Defeasible Rules on Feasible and Infeasible Worlds - Exploring a Landscape of Inductive Inference Operators. Diss. Artif. Intell. 355, IOS Press 2024, ISBN 978-1-64368-529-8- 354Lisa Grumbach:
Flexible Workflows - A Constraint- and Case-Based Approach. Diss. Artif. Intell. 354, IOS Press 2023, ISBN 978-1-64368-396-6, pp. 1-318 - 353Leonid Berov:
From Narratology to Computational Story Composition and Back - An Exploratory Study in Generative Modeling. Diss. Artif. Intell. 353, IOS Press 2023, ISBN 978-1-64368-382-9, pp. 1-344 - 352Kai Sauerwald:
Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability. University of Hagen, Germany, Diss. Artif. Intell. 352, IOS Press 2022, ISBN 978-3-89838-768-2 - 351Peter Bourgonje:
Shallow discourse parsing for German. University of Potsdam, Germany, Diss. Artif. Intell. 351, IOS Press 2021 - 350Steven Kutsch:
Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions. University of Hagen, Germany, Diss. Artif. Intell. 350, IOS Press 2021, ISBN 978-3-89838-760-6, pp. 1-172 - 349Markus Schwinn:
Ontologie-basierte Informationsextraktion zum Aufbau einer Wissensbasis für Dokumentgetriebene Workflows. University of Trier, Germany, Diss. Artif. Intell. 349, IOS Press 2020, ISBN 978-3-89838-755-2, pp. i-xx, 1-322 - 348Pascal Welke:
Efficient Frequent Subtree Mining Beyond Forests. University of Bonn, Germany, Diss. Artif. Intell. 348, IOS Press 2019, ISBN 978-3-89838-753-8, pp. 1-176 - 347Johannes Hellrich:
Word embeddings: reliability & semantic change. University of Jena, Germany, Diss. Artif. Intell. 347, Akademische Verlagsgesellschaft AKA GmbH 2019, ISBN 978-3-89838-744-6, pp. 1-168 - 346Mark Wernsdorfer:
Symbol grounding as the generation of mental representations. University of Bamberg, Germany, DISKI 346, IOS Press 2019, ISBN 978-3-89838-741-5, pp. 1-269 - ...….
- 344Jan Ole Berndt:
Self-organizing multiagent negotiations: cooperation and competition of concurrently acting agents with limited knowledge. DISKI 344, IOS Press, Amsterdam 2018, ISBN 978-3-89838-731-6, pp. 1-589 - 343Alexander Steen:
Extensional paramodulation for higher-order logic and its effective implementation Leo-III. Free University of Berlin, Dahlem, Germany, DISKI 345, IOS Press 2018, ISBN 978-1-61499-919-5, pp. 1-231 - 343Emmanuelle-Anna Dietz Saldanha:
From Logic Programming to Human Reasoning: How to be Artificially Human. Dresden University of Technology, Germany, DISKI 343, IOS Press 2017, ISBN 978-3-89838-732-3, pp. 1-214 - 342Marc Finthammer:
Concepts and algorithms for computing maximum entropy distributions for knowledge bases with relational probabilistic conditionals. University of Hagen, Germany, DISKI 342, Akademische Verlagsgesellschaft AKA GmbH 2017, ISBN 978-3-89838-342-4, pp. 1-309 - 341Jasper van de Ven:
Supporting communication in spatially distributed groups: privacy as a service for ambient intelligence. University of Bremen, Germany, DISKI 341, Akademische Verlagsgesellschaft AKA GmbH 2016, ISBN 978-3-89838-341-7, pp. 1-201 - 340Nina Dethlefs:
Hierarchical joint learning for natural language generation. University of Bremen, DISKI 340, AKA 2013, ISBN 978-3-89838-340-0, pp. 1-238 - 339Jens Haupert:
DOMeMan: Repräsentation, Verwaltung und Nutzung von digitalen Objektgedächtnissen. Saarland University, DISKI 339, IOS Press 2013, ISBN 978-3-89838-339-4, pp. 1-286 - 338Mari Carmen Suárez-Figueroa:
NeOn methodology for building ontology networks: specification, scheduling and reuse. Technical University of Madrid, Spain, DISKI 338, AKA 2012, ISBN 978-3-89838-338-7, pp. 1-268 - 337Nicola Pirlo:
Zur Robustheit eines modellgestützten Verfolgungsansatzes in Videos von Straßenverkehrszenen. Karlsruhe Institute of Technology, DISKI 337, AKA 2012, ISBN 978-3-89838-337-0, pp. 1-290 - 336Matthias Thimm:
Probabilistic Reasoning with Incomplete and Inconsistent Beliefs. DISKI 336, AKA 2012, ISBN 978-3-89838-336-3, pp. I-XIII, 1-336 - 335René Schumann:
Engineering Coordination - A Methodology for the Coordination of Planning Systems. Goethe University Frankfurt am Main, DISKI 335, AKA 2011, ISBN 978-3-89838-652-4, pp. I-XXVIII, 1-314 - 334Marvin R. G. Schiller:
Granularity Analysis for Tutoring Mathematical Proofs. Saarland University, Saarbrücken, Germany, DISKI 334, IOS Press 2011 - 333Marc Wagner:
A change-oriented architecture for mathematical authoring assistance. Saarland University, Saarbrücken, Germany, DISKI 333, IOS Press 2011, ISBN 978-3-89838-333-2, pp. 1-289 - 332Robert Jäschke:
Formal concept analysis and tag recommendations in collaborative tagging systems. University of Kassel, DISKI 332, IOS Press 2011, ISBN 978-3-89838-332-5, pp. 1-201 - 331Thijs Urlings:
Heuristics and metaheuristics for heavily constrained hybrid flowshop problems. University of Valencia, Spain, DISKI 331, IOS Press 2011 - 330Markus Müller:
Interactive concept description with bayesian partition models: an approach for the analysis of hierarchically structured quality data in the automotive industry. University of Bamberg, DISKI 330, IOS Press 2010, ISBN 978-3-89838-330-1, pp. 1-206 - 329Uwe Bubeck:
Model-based transformations for quantified boolean formulas. University of Paderborn, DISKI 329, IOS Press 2010, ISBN 978-3-89838-329-5, pp. 1-211 - 328Jens Fisseler:
Learning and modeling with probabilistic conditional logic. FernUniversität in Hagen, DISKI 328, IOS Press 2010, ISBN 978-3-89838-328-8, pp. 1-223 - 327Simone Paolo Ponzetto:
Knowledge acquisition from a collaboratively generated encyclopedia. University of Stuttgart, DISKI 327, IOS Press 2010, ISBN 978-3-89838-327-1, pp. 1-212 - ...….
- 308Yll Haxhimusa:
The Structurally Optimal Dual Graph Pyramid and its Application in Image Partitioning. DISKI 308, IOS Press 2007, ISBN 978-1-58603-743-7, pp. I-XXIII, 1-193 - ...….
- 288Andreas Lüdtke:
Kognitive Analyse Formaler Sicherheitskritischer Steuerungssysteme auf Basis eines integrierten Mensch-Maschine-Modells. Carl von Ossietzky University of Oldenburg, Germany, DISKI 288, Infix Akademische Verlagsgesellschaft 2005, ISBN 978-3-89838-288-5, pp. I-XIV, 1-320 - ...….
- 281Alke Martens:
Ein Tutoring Prozess Modell für fallbasierte intelligente Tutoring Systeme. University of Rostock, Germany, DISKI 281, Infix Akademische Verlagsgesellschaft 2004, ISBN 978-3-89838-281-6, pp. I-XIX, 1-243 - ...….
- 272Ji-Young Lim:
Discrete scale-space formulation and multiscale edge extraction toward higher dimensions. University of Hamburg, Germany, DISKI 272, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-272-4, pp. I-XIII, 1-202 - 271Heiko Milde:
Qualitative Analyse von Störungen in elektrischen Systemen. DISKI 271, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-271-7, pp. I-XII, 1-233 - 270Stephen B. Balakirsky:
A framework for planning with incrementally created graphs in attributed problem spaces. University of Bremen, Germany, DISKI 270, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-270-0, pp. I-XX, 1-259 - 269Detlef Küpper:
Benutzermodellierung für benutzerspezifische Plangenerierung und -präsentation. University of Duisburg-Essen, Germany, DISKI 269, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-269-4, pp. I-XIX, 1-346 - 268Jörg Baus:
Ressourcenadaptierende hybride Personennavigation. DISKI 268, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-268-7, pp. I-XIV, 1-186 - 267Frank Wittig:
Maschinelles Lernen Bayes'scher Netze für benutzeradaptive Systeme. Saarland University, Saarbrücken, Germany, DISKI 267, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89839-267-9, pp. I-XIII, 1-219 - 266Claudia Brand:
Neuronale Identifikation von Totzeiten. Technical University Munich, Germany, DISKI 266, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-266-3, pp. I-XX, 1-127 - 265Stefan Kopp:
Synthese und Koordination von Sprache und Gestik für virtuelle multimodale Agenten. Bielefeld University, Germany, DISKI 265, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-265-6, pp. I-XIV, 1-260 - 264Jens Woch:
Integrated natural language generation with Schema-TAGs. University of Koblenz-Landau, Germany, DISKI 264, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-264-9, pp. I-XX, 1-159 - 263Michael H. Breitner:
Nichtlineare, multivariate Approximation mit Perzeptrons und anderen Funktionen auf verschiedenen Hochleistungsrechnern. DISKI 263, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-263-2, pp. I-XIV, 1-520 - 262Thomas Roth-Berghofer:
Knowledge maintenance of case-based reasoning systems - the SIAM methodology. Kaiserslautern University of Technology, Germany, DISKI 262, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-262-5, pp. I-XXI, 1-240 - 261Holger Wache:
Semantische Mediation für heterogene Informationsquellen. University of Bremen, Germany, DISKI 261, Infix Akademische Verlagsgesellschaft 2003, ISBN 978-3-89838-261-8, pp. I-XVIII, 1-308 - 260Hesham Khalil:
Logical foundations of reactive default reasoning. Darmstadt University of Technology, Germany, DISKI 260, Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-260-1, pp. I-XIV, 1-192 - 259Gunter Grieser:
Selbsteinschätzende Lernverfahren - Möglichkeiten und Grenzen. Darmstadt University of Technology, Germany, DISKI 259, Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-259-5, pp. I-XIII, 1-186 - 258Clemens Kirchmair:
Identifikation von Systemen mit Hysterese mit Hilfe von Preisach-Neuronen in vorstrukturierten neuronalen Netzen. Technical University Munich, Germany, DISKI 258, Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-258-8, pp. I-XII, 1-153 - 257Christoph Peylo:
Wissen und Wissensvermittlung im Kontext von internetbasierten intelligenten Lehr- und Lernumgebungen. University of Osnabrück, Germany, DISKI 257, Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-257-1, pp. I-XVI, 1-233 - 256Christiane Gresse von Wangenheim:
Operationalizing reuse of software measurement planning knowledge. Kaiserslautern University of Technology, Germany, DISKI 256, Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-256-4, pp. I-XIII, 1-255 - 255Ulrich John:
Konfiguration und Rekonfiguration mittels constraint-basierter Modellierung. Berlin Institute of Technology, Germany, DISKI 255, Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-255-7, pp. I-V, 1-176 - 254Matthias Wulf:
On modeling the spatiotemporal processing characteristics of the retina. University of Hamburg, Germany, DISKI 254, Infix Akademische Verlagsgesellschaft 2002, ISBN 978-3-89838-254-0, pp. I-XXXVI, 1-316 - 253Sönke Frantz:
Local and semi-global approaches to the extraction of 3D anatomical landmarks from 3D tomographic images. University of Hamburg, Germany, DISKI 253, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-253-3, pp. I-XXII, 1-232 - 252Ulrich Heller:
Process-oriented consistency-based diagnosis - theory, implementation and applications. Technical University Munich, Germany, DISKI 252, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-252-6, pp. I-VIII, 1-146 - 251Marc Erich Latoschik:
Multimodale Interaktion in virtueller Realität am Beispiel der virtuellen Konstruktion. Bielefeld University, Germany, DISKI 251, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-251-9, pp. I-XVI, 1-192 - 250Marina Müller:
Extraktion großflächiger Strukturen in hochauflösenden, panchromatischen Satellitendaten. DISKI 250, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-250-2, pp. I-XXII, 1-158 - 249Uta Bohnebeck:
mRNA-Signalstrukturerkennung mittels Knowledge Discovery. DISKI 249, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-249-6, pp. I-VI, 1-150 - 248Alexander Kröner:
Adaptive layout of dynamic web pages. Saarland University, Saarbrücken, Germany, DISKI 248, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-248-9, pp. I-XXII, 1-238 - 247Tobias Ruland:
Ein hybrider Ansatz zur Strukturanalyse gesprochener Spontansprache. University of Erlangen-Nuremberg, Germany, DISKI 247, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-247-2, pp. 1-127 - 246Michael Boronowsky:
Diskretisierung reellwertiger Attribute mit gemischten kontinuierlichen Gleichverteilungen und ihre Anwendung bei der zeitreihenbasierten Entscheidungsbauminduktion. University of Bremen, Germany, DISKI 246, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-246-5, pp. I-XI, 1-182 - 245Winfried Ilg:
Eine biologisch motivierte adaptive Bewegungssteuerung für eine vierbeinige Laufmaschine. DISKI 245, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-245-8, pp. I-III, 1-187 - 244Martin Mühlenbrock:
Action-based collaboration analysis for group learning. University of Duisburg-Essen, Germany, DISKI 244, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-244-1, pp. I-XII, 1-190 - 243Frank Heimes:
Sichtsystemgestützte Fahrerassistenz im innerstädtischen Straßenverkehr. DISKI 243, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-243-4, pp. I-IX, 1-209 - 242Harald Meyer auf'm Hofe:
Kombinatorische Optimierung mit Constraintverfahren - Problemlösung ohne anwendungsspezifische Suchstrategien. DISKI 242, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-242-7, pp. I-VIII, 1-230 - 241Jens-Steffen Gutmann:
Robuste Navigation autonomer mobiler Systeme. University of Freiburg, Freiburg im Breisgau, Germany, DISKI 241, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-241-0, pp. 1-191 - 240Elisabeth Umkehrer:
Formalisierung von unsicherem Wissen. Technical University Munich, Germany, DISKI 240, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-240-3, pp. 1-152 - 239Stephan Schmitt:
Proof reconstruction in classical and non-classical logics. Darmstadt University of Technology, Germany, DISKI 239, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-239-7, pp. I-XII, 1-216 - 238Ulrich Kühler:
A tactic-based inductive theorem prover for data types with partial operations. Kaiserslautern University of Technology, Germany, DISKI 238, Infix 2000, ISBN 978-3-89838-238-0, pp. I-XIV, 1-261 - 237Thomas Linke:
New foundations for automation of default reasoning. Bielefeld University, Germany, DISKI 237, Infix 2000, ISBN 978-3-89838-237-3, pp. I-VII, 1-182 - 236Mario Lenz:
Case retrieval nets as a model for building flexible information systems. DISKI 236, Infix 2000, ISBN 978-3-89838-236-6, pp. I-XV, 1-200 - 235Gregor Meyer:
On types and type consistency in logic programming. University of Hagen, Germany, DISKI 235, Infix 2000, ISBN 978-3-89838-235-9, pp. I-VI, 1-176 - 234Bettina Reinhardt:
Didaktische Strategien in generierten Trainingssystemen zum diagnostischen Problemlösen. Julius Maximilians University Würzburg, Germany, DISKI 234, Infix 2000, ISBN 978-3-89838-234-2, pp. I-IV, 1-272 - 233Karlheinz Agsteiner:
Ein objektorientiertes Wissensmodell zur Konfigurierung digitaler Systeme. Chemnitz University of Technology, Germany, DISKI 233, Infix 2000, ISBN 978-3-89838-233-5, pp. I-XV, 1-190 - 232Antonio Krüger:
Automatische Abstraktion in 3D-Graphiken. Saarland University, Saarbrücken, Germany, DISKI 232, Infix 2000, ISBN 978-3-89838-232-8, pp. I-XIV, 1-218 - 231Dirk Fuchs:
Cooperation in heterogeneous theorem prover networks. Kaiserslautern University of Technology, Germany, DISKI 231, Infix 2000, ISBN 978-3-89838-231-1, pp. 1-262 - 230Stephan Schulz:
Learning search control knowledge for equational deduction. Technical University Munich, Germany, DISKI 230, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-230-4, pp. I-XIII, 1-182 - 229Till Brychy:
Modellierung dynamischer Systeme mit vorstrukturierten neuronalen Netzen. Technical University Munich, Germany, DISKI 229, Infix 2000, ISBN 978-3-89838-229-8, pp. I-IV, 1-112 - 228Kristina Schädler:
Die Ermittlung struktureller Ähnlichkeit und struktureller Merkmale bei komplexen Objekten - ein konnektionistischer Ansatz und seine Anwendungen. Technical University of Berlin, Germany, DISKI 228, Infix 2000, ISBN 978-3-89838-228-1, pp. I-XIII, 1-182 - 227Marc Fuchs:
Relevancy-based use of lemmas in connection tableau calculi. Technical University Munich, Germany, DISKI 227, Infix 2000, ISBN 978-3-89838-227-4, pp. 1-239 - 226Karin Sobottka:
Analysis of low-resolution range image sequences. University of Bern, Switzerland, DISKI 226, Infix 2000, ISBN 978-3-89838-226-7, pp. 1-239 - 225Tobias Scheffer:
Error estimation and model selection. Technical University of Berlin, Germany, DISKI 225, Infix 1999, ISBN 978-3-89601-225-8, pp. I-XI, 1-126 - 224Christian Drewniok:
Objektlokalisation durch Adaption parametrischer Grauwertmodelle und ihre Anwendung in der Luftbildauswertung. University of Hamburg, Germany, DISKI 224, Infix 1999, ISBN 978-3-89601-224-1, pp. I-XX, 1-253 - 223Jens von Berg:
Kortikale Karten und präattentive Wahrnehmung - über Segmentierungsleistungen und die Geometrie der Reizrepräsentation. University of Hamburg, Germany, DISKI 223, Infix 1999, ISBN 978-3-89601-223-4, pp. I-XIV, 1-211 - 222Stefan K. T. Kriebel:
A combined parametric and nonparametric approach to time series analysis - motivated by coastal upwelling prediction. Technical University Munich, Germany, DISKI 222, Infix 1999, ISBN 978-3-89601-222-7, pp. I-XII, 1-121 - 221Jens-Uwe Möller:
DIA-MOLE - Modellierung gesprochen-sprachlicher Dialoge unter Zuhilfenahme eines maschinellen Lernverfahrens. University of Hamburg, Germany, DISKI 221, Infix 1999, ISBN 978-3-89601-221-0, pp. 1-288 - 220Thomas Stützle:
Local search algorithms for combinatorial problems - analysis, improvements, and new applications. Darmstadt University of Technology, Germany, DISKI 220, Infix 1999, ISBN 978-3-89601-220-3, pp. I-XI, 1-203 - 219Armin Wolf:
Adaptive Constraintverarbeitung mit Constraint-Handling-Rules - ein allgemeiner Ansatz zur Lösung dynamischer Constraint-Probleme. Technical University of Berlin, Germany, DISKI 219, Infix 1999, ISBN 978-3-89601-219-7, pp. 1-240 - 218Kathleen Steinhöfel:
Stochastic algorithms in scheduling theory. Technical University of Berlin, Germany, DISKI 218, Infix 1999, ISBN 978-3-89601-218-0, pp. I-X, 1-134 - 217Ortrun Ibens:
Connection tableau calculi with disjunctive constraints. Technical University Munich, Germany, DISKI 217, Infix 1999, ISBN 978-3-89601-217-3, pp. I-XIX, 1-214 - 216Thorsten Hermes:
Texturen - Analyse, Beschreibung und Synthese. University of Bremen, Germany, DISKI 216, Infix 1999, ISBN 978-3-89601-216-6, pp. I-XX, 1-225 - 215Holger H. Hoos:
Stochastic local search - methods, models, applications. DISKI 215, Infix 1999, ISBN 978-3-89601-215-9, pp. I-X, 1-219 - 214Wolfgang Maass:
Von visuellen Daten zu inkrementellen Wegbeschreibungen in dreidimensionalen Umgebungen - das Modell eines kognitiven Agenten. Saarland University, Saarbrücken, Germany, DISKI 214, Infix 1999, ISBN 978-3-89601-214-2, pp. I-IV, 1-239 - 213Wolfgang Wilke:
Knowledge management for intelligent sales support in electronic commerce. Kaiserslautern University of Technology, Germany, DISKI 213, Infix 1999, ISBN 978-3-89601-213-5, pp. 1-212 - 212Peter Geibel:
Induktive Konstruktion von merkmalsbasierten und logischen Klassifikatoren für relationale Strukturen. Technical University of Berlin, Germany, DISKI 212, Infix 1999, ISBN 978-3-89601-212-8, pp. I-XIII, 1-187 - 211Robert Engels:
Component-based user guidance in knowledge discovery and data mining. Karlsruhe Institute of Technology, Germany, DISKI 211, Infix 1999, ISBN 978-3-89601-211-1, pp. I-XII, 1-234 - 210Christiane Stutz:
Anwendungsspezifische Fuzzy-Clustermethoden. Technical University Munich, Germany, DISKI 210, Infix 1999, ISBN 978-3-89601-210-4, pp. I-XII, 1-148 - 209Hartwig Baumgärtel:
Verteiltes Lösen von Constraint-Problemen in Multiagenten-Systemen zur optimierten Planung in einer Fließfertigung. DISKI 209, Infix 1999, ISBN 978-3-89601-209-8, pp. I-XIV, 1-190 - 208Volker Klingspor:
Reaktives Planen mit gelernten Begriffen. Technical University of Dortmund, Germany, DISKI 208, Infix 1999, ISBN 978-3-89601-208-1, pp. I-XIV, 1-205 - 207Jürgen Brauburger:
Automatic termination analysis for functional and imperative programs. Darmstadt University of Technology, Germany, DISKI 207, Infix 1999, ISBN 978-3-89601-207-4, pp. 1-244 - 206Christoph Goller:
A connectionist approach for learning search-control heuristics for automated deduction systems. Technical University Munich, Germany, DISKI 206, Infix 1999, ISBN 978-3-89601-206-7, pp. I-XIII, 1-136 - 205Rainer Holve:
Automatische Musterklassifikation mit hierarchischen Fuzzy-Regelbasen. University of Erlangen-Nuremberg, Germany, DISKI 205, Infix 1999, ISBN 978-3-89601-205-0, pp. 1-134 - 204Axel Brinkop:
Variantenkonstruktion durch Auswertung der Abhängigkeiten zwischen den Konstruktionsbauteilen. Karlsruhe Institute of Technology, Germany, DISKI 204, Infix 1999, ISBN 978-3-89601-204-3, pp. I-X, 1-166 - 203Stefan K. Bamberger:
Verteiltes Problemlösen mit wissensbasierten Diagnosesystemen. Julius Maximilians University Würzburg, Germany, DISKI 203, Infix 1999, ISBN 978-3-89601-203-6, pp. I-XVII, 1-289 - 202Josef Hochreiter:
Generalisierung bei neuronalen Netzen geringer Komplexität. Technical University of Munich, Germany, DISKI 202, Infix Akademische Verlagsgesellschaft 2001, ISBN 978-3-89838-202-1, pp. I-VIII, 1-250 - 201Stefan Edelkamp:
Datenstrukturen und Lernverfahren in der Zustandsraumsuche. University of Freiburg, Freiburg im Breisgau, Germany, DISKI 201, Infix 1999, ISBN 978-3-89601-201-2, pp. I-VIII, 1-192 - 200Katja Markert:
Metonymien - eine computerlinguistische Analyse. University of Freiburg, Freiburg im Breisgau, Germany, DISKI 200, Infix 1999, ISBN 978-3-89601-200-5, pp. I-XVI, 1-282 - 199Andreas Fordan:
Projection in constraint logic programming. Technical University of Berlin, Germany, DISKI 199, Infix 1999, ISBN 978-3-89601-199-2, pp. I-XIV, 1-145 - 198Daniel S. Korn:
Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik. Darmstadt University of Technology, Germany, DISKI 198, Infix 1999, ISBN 978-3-89601-198-5, pp. I-XV, 1-213 - 197Bettina Berendt:
Representation and processing of knowledge about distances in environmental spaces - a computational model of inferred route distances investigating their qualitative and quantitative determinants. University of Hamburg, Germany, DISKI 197, Infix 1999, ISBN 978-3-89601-197-8, pp. I-VII, 1-260 - 196Carsten Schröder:
Bildinterpretation durch Modellkonstruktion - eine Theorie zur rechnergestützten Analyse von Bildern. University of Hamburg, Germany, DISKI 196, Infix 1999, ISBN 978-3-89601-196-1, pp. I-XV, 1-306 - 195Boris Baginski:
Motion planning for manipulators with many degrees of freedom - the BB-method. Technical University Munich, Germany, DISKI 195, Infix 1999, ISBN 978-3-89601-195-4, pp. I-XX, 1-171 - 194Peter Neuhaus:
Nebenläufiges Parsing - ein lexikalisch verteiltes Verfahren zur performanzgrammatischen Analyse beim Textverstehen. University of Freiburg, Freiburg im Breisgau, Germany, DISKI 194, Infix 1999, ISBN 978-3-89601-194-7, pp. I-XIV, 1-280 - 193Michael Haag:
Bildfolgenauswertung zur Erkennung der Absichten von Straßenverkehrsteilnehmern. DISKI 193, Infix 1998, ISBN 978-3-89601-193-0, pp. I-XV, 1-182 - 192Peter Fröhlich:
DRUM-II - efficient model-based diagnosis of technical systems. University of Hanover, Hannover, Germany, DISKI 192, Infix 1998, ISBN 978-3-89601-192-3, pp. I-XI, 1-151 - 191Steffen Egner:
Zur Rolle der Aufmerksamkeit für die Objekterkennung - Modellierung, Simulation, Empirie. University of Hamburg, Germany, DISKI 191, Infix 1998, ISBN 978-3-89601-191-6, pp. I-XII, 1-148 - 190Gunther Heidemann:
Ein flexibel einsetzbares Objekterkennungssystem auf der Basis neuronaler Netze. Bielefeld University, Germany, DISKI 190, Infix 1998, ISBN 978-3-89601-190-9, pp. I-XI, 1-183 - 189Ralf Röhrig:
Repräsentation und Verarbeitung von qualitativem Orientierungswissen. University of Hamburg, Germany, DISKI 189, Infix 1998, ISBN 978-3-89601-189-3, pp. 1-136 - 188Wolfgang Pohl:
Logic-based representation and reasoning for user modeling shell systems. University of Duisburg-Essen, Germany, DISKI 188, Infix 1998, ISBN 978-3-89601-188-6, pp. I-XIV, 1-251 - 187Markus Wiese:
Learning first-order concept definitions by using a bidirectional heuristic search strategy. Karlsruhe Institute of Technology, Germany, DISKI 187, Infix 1998, ISBN 978-3-89601-187-9, pp. I-XVI, 1-208 - 186Soenke Ziesche:
Perspektivierungsprozesse bei der Sprachproduktion - Spezifikation und Modellierung der Abbildung von konzeptuellen Strukturen auf semantische Repräsentationen. University of Hamburg, Germany, DISKI 186, Infix 1998, ISBN 978-3-89601-186-2, pp. I-XIII, 1-240 - 185Jürgen Eckerle:
Heuristische Suche unter Speicherbeschränkungen. University of Freiburg, Freiburg im Breisgau, Germany, DISKI 185, Infix 1998, ISBN 978-3-89601-185-5, pp. I-XII, 1-185 - 184Britta Lenzmann:
Benutzeradaptive und multimodale Interface-Agenten. Bielefeld University, Germany, DISKI 184, Infix 1998, ISBN 978-3-89601-184-8, pp. I-X, 1-189 - 183….
- 182Brigitte Wirtz:
Segmentorientierte Analyse und nichtlineare Auswertung für die dynamische Unterschriftsverifikation. Technical University Munich, Germany, DISKI 182, Infix 1998, ISBN 978-3-89601-182-4, pp. 1-102 - 181Stefan Schrödl:
Negation as failure in explanation-based generalization. University of Freiburg, Freiburg im Breisgau, Germany, DISKI 181, Infix 1998, ISBN 978-3-89601-181-7, pp. I-XI, 1-173 - 180Herwig Henseler:
Aktive Ablaufplanung mit Multi-Agenten. DISKI 180, Infix 1998, ISBN 978-3-89601-180-0, pp. I-XI, 1-222 - 179Jörg Walter Schaaf:
Über die Suche nach situationsgerechten Fällen im fallbasierten Schließen. Kaiserslautern University of Technology, Germany, DISKI 179, Infix 1998, ISBN 978-3-89601-179-4, pp. 1-172 - 178Jürgen Rahmel:
Topology preserving neural networks - connectionist learning of structured knowledge. Kaiserslautern University of Technology, Germany, DISKI 178, Infix 1998, ISBN 978-3-89601-178-7, pp. I-XVII, 1-191 - 177Katy Börner:
Konzeptbildende Analogie - Integration von Conceptual Clustering und analogem Schließen zur effizienten Unterstützung von Entwurfsaufgaben: motiviert durch und illustriert an Aufgaben aus der Bauarchitektur. Kaiserslautern University of Technology, Germany, DISKI 177, Infix 1997, ISBN 978-3-89601-177-0, pp. I-XV, 1-211 - 176Sabine Borndorff-Eccarius:
Rechnergestützte Wissensakquisition für wissensbasierte Diagnosesysteme im Bereich dynamischer technischer Systeme. University of Kassel, Germany, DISKI 176, Infix 1998, ISBN 978-3-89601-176-3, pp. 1-165 - 175Simone Bürsner:
Situationsbezogene Wissensverarbeitung mit medizinischen Assistenzsystemen (SIRKIMA). DISKI 175, Infix 1998, ISBN 978-3-89601-175-6, pp. I-XVIII - 174Reinhard Moratz:
Visuelle Objekterkennung als kognitive Simulation. DISKI 174, Infix 1997, ISBN 978-3-89601-174-9, pp. 1-123 - 173Adi Palm:
Transforming tree constraints into formal grammars - the expressivity of tree languages. DISKI 173, Infix 1997, ISBN 978-3-89601-173-2, pp. I-X, 1-366 - 172Wlodzimierz Kasprzak:
Adaptive Erkennung von bewegten Fahrbahnobjekten in monokularen Bildfolgen mit Eigenbewegung. DISKI 172, Infix 1997, ISBN 978-3-89601-172-5, pp. I-XII, 1-181 - 171Edgar Sommer:
Theory restructuring - a perspective on design and maintenance of knowlege based systems. Technical University of Dortmund, Germany, DISKI 171, Infix 1996, ISBN 978-3-89601-171-8, pp. I-XIV, 1-209 - 170Gudrun Socher:
Qualitative scene descriptions from images for integrated speech and image understanding. DISKI 170, Infix 1997, ISBN 978-3-89601-170-1, pp. I-XIII, 1-184 - 169Antje Strohmaier:
Logisches Schließen mit massiv parallelen Methoden. DISKI 169, Infix 1997, ISBN 978-3-89601-169-5, pp. I-XVI, 1-220 - 168Alex Rummel:
Knowledge extraction from databases - using available data more efficiently through multi-events. DISKI 168, Infix 1997, ISBN 978-3-89601-168-8, pp. I-IV, 1-102 - 167Thomas Cord:
Absolute Lokalisation mobiler Roboter durch Codierung der Einsatzumgebung. Karlsruhe Institute of Technology, Germany, DISKI 167, Infix 1997, ISBN 978-3-89601-167-1, pp. I-XIII, 1-140 - 166Martin Tonko:
Zur sichtsytemgestützten Demontage am Beispiel von Altfahrzeugen. Karlsruhe University, Germany, DISKI 166, Infix 1997, ISBN 978-3-89601-166-4, pp. I-XII, 1-160 - 165Wolfgang Finkler:
Automatische Selbstkorrektur bei der inkrementellen Generierung gesprochener Sprache unter Realzeitbedingungen - ein empirisch-simulativer Ansatz unter Verwendung eines Begründungsverwaltungssystems. DISKI 165, Infix 1997, ISBN 978-3-89601-165-7, pp. I-XII, 1-272 - 164Thomas Fuhr:
Modellierung von und mit Relationen - Integration qualitativer Modellierungstechniken in ein semantisches Netzwerksystem. DISKI 164, Infix 1997, ISBN 978-3-89601-164-0, pp. 1-405 - 163Joachim Denzler:
Aktives Sehen zur Echtzeitobjektverfolgung. University of Erlangen-Nuremberg, DISKI 163, Infix 1997, ISBN 978-3-89601-163-3, pp. I-XVI, 1-231 - 162Bernd Bachmann:
A solution for the semantic unification problem to reuse knowledge-based systems. University of Kaiserslautern, DISKI 162, Infix 1997, ISBN 978-3-89601-162-6, pp. 1-138 - 161Andreas Arning:
Fehlersuche in großen Datenmengen unter Verwendung der in den Daten vorhandenen Redundanz. University of Osnabrück, DISKI 161, Infix 1997, ISBN 978-3-89601-161-9, pp. I-IX, 1-232 - 160Claus Sengler:
Induction on non-freely generated data types. DISKI 160, Infix 1997, ISBN 978-3-89601-160-2, pp. I-XXI, 1-384 - 159Stefan Gerberding:
Implizite und explizite Induktionsbeweisverfahren. Darmstadt University of Technology, Germany, DISKI 159, Infix 1997, ISBN 978-3-89601-159-6, pp. 1-279 - 158Matthias E. Kölln:
Textproduktion als intentionaler, benutzerorientierter Prozeß. DISKI 158, Infix 1997, ISBN 978-3-89601-158-9, pp. I-XVI, 1-211 - 157Bernhard Jung:
Wissensverarbeitung für Montageaufgaben in virtuellen und realen Umgebungen. Bielefeld University, Germany, DISKI 157, Infix 1997, ISBN 978-3-89601-157-2, pp. 1-197 - 156Stefan Klingenbeck:
Counter examples in semantic tableaux. Karlsruhe Institute of Technology, DISKI 156, Infix 1997, ISBN 978-3-89601-156-5, pp. 1-180 - 155Michael R. Berthold:
Konstruktives Training von probabilistischen neuronalen Netzen für die Musterklassifikation. Karlsruhe Institute of Technology, DISKI 155, Infix 1997, ISBN 978-3-89601-155-8, pp. I-XIII, 1-107 - 154Michael Neitzke:
Relativsimulation von Störungen in technischen Systemen. DISKI 154, Infix 1997, ISBN 978-3-89601-154-1, pp. I-XIII, 1-191 - 153Michael Kaiser:
Interaktive Akquisition elementarer Roboterfähigkeiten. DISKI 153, Infix Verlag, St. Augustin, Germany 1997, ISBN 3-89601-153-7 - 152Karsten Homann:
Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme. DISKI 152, Infix Verlag, St. Augustin, Germany 1997, ISBN 3-89601-152-9 - 151Wilfried Hötker:
Dynamische Modularisierung lexikalischer Informationen in einem Wiederverwendungsszenario. DISKI 151, Infix Verlag, St. Augustin, Germany 1997, ISBN 3-89601-151-0 - 150Sabine Kockskämper:
Vorgangsmodelle. Ein Ansatz zur Repräsentation und Analyse zeitabhängigen Verhaltens bei der Überwachung und Diagnose technischer Systeme. DISKI 150, Infix Verlag, St. Augustin, Germany 1996, ISBN 3-89601-150-2 - 149Ralf Möller:
HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen. DISKI 149, Infix Verlag, St. Augustin, Germany 1996, ISBN 3-89601-149-9, pp. 1-341 - 148Winfried Graf:
Intentionsgesteuertes Layout-Design multimedialer Präsentationen mit Constraints. DISKI 148, Infix 1997, ISBN 978-3-89601-148-0, pp. I-XVI, 1-302 - 147Aldo von Wangenheim:
Cyclops - Wissensbasierte Bildanalyse in der Medizin. University of Kaiserslautern, DISKI 147, Infix Verlag 1997, ISBN 3-89601-147-2 - 146Georg Näger:
Constraint-Netze als Grundlage für Bottom-up Planungsansätze in der Unternehmensmodellierung. Karlsruhe Institute of Technology, Germany, DISKI 146, Infix 1997, ISBN 978-3-89601-146-6, pp. I-IV, 1-191 - 145Christoph S. Herrmann:
Ein hybrides KI-System zur medizinischen Befundung. DISKI 145, Infix 1997, ISBN 978-3-89601-145-9, pp. I-X, 1-158 - 144Rainer Weiß:
Übertragbarkeit des Ansatzes der Erklärungskomponenten auf konventionelle Anwendungsprogramme - Konzeption, Entwicklung von Prototypen und empirische Untersuchung. University of Cologne, DISKI 144, Infix 1997, ISBN 978-3-89601-144-2, pp. I-XVI, 1-261 - 143Daniel Polani:
Adaption der Topologie von Kohonen-Karten durch genetische Algorithmen. University of Mainz, Germany, DISKI 143, Infix 1996, ISBN 978-3-89601-143-5, pp. I-XII, 1-224 - 142Ralf Böhme:
Ein Ansatz zur wissensbasierten Störungsanalyse verfahrenstechnicher Systeme. DISKI 142, Infix 1996, ISBN 978-3-89601-142-8, pp. 1-193 - 141Gerrit Burkert:
Repräsentation von lexikalisch-semantischem Wissen in einem System zur Verarbeitung natürlicher Sprache. Stuttgart University, DISKI 141, Infix 1996, ISBN 978-3-89601-141-1, pp. I-IX, 1-307 - 140Gerhard Hanrieder:
Inkrementelles Parsing gesprochener Sprache mit einer linksassoziativen Unifikationsgrammatik. University of Erlangen-Nuremberg, Germany, DISKI 140, Infix 1996, ISBN 978-3-89601-140-4, pp. I-XI, 1-210 - 139Thomas Rist:
Wissensbasierte Verfahren für den automatischen Entwurf von Gebrauchsgraphik in der technischen Dokumentation. Saarland University, Saarbrücken, Germany, DISKI 139, Infix 1996, ISBN 978-3-89601-139-8, pp. I-X, 1-353 - 138Ralph Bergmann:
Effizientes Problemlösen durch flexible Wiederverwendung von Fällen auf verschiedenen Abstraktionsebenen. University of Kaiserslautern, DISKI 138, Infix Verlag, St. Augustin, Germany 1996, ISBN 3-89601-138-3 - 137Norman Hendrich:
Mustererkennung mit neuronalen Assoziativspeichernetzen. University of Hamburg, Germany, DISKI 137, Infix 1996, ISBN 978-3-89601-137-4, pp. I-XV, 1-166 - 136Johann Gamper:
A temporal reasoning and abstraction framework for model-based diagnosis systems. RWTH Aachen University, Germany, DISKI 136, Infix 1996, ISBN 978-3-89601-136-7, pp. I-XII, 1-149 - 135Karl Schäfer:
Unscharfe zeitlogische Modellierung von Situationen und Handlungen in Bildfolgenauswertung und Robotik. Karlsruhe Institute of Technology, Germany, DISKI 135, Infix 1996, ISBN 978-3-89601-135-0, pp. 1-363 - 134Ralf Bruns:
Wissensbasierte genetische Algorithmen - Integration von genetischen Algorithmen und Constraint-Programmierung zur Lösung kombinatorischer Optimierungsprobleme. University of Oldenburg, Germany, DISKI 134, Infix 1996, ISBN 978-3-89601-134-3, pp. 1-193 - 133Andreas Hauenstein:
Aussprachewörterbücher zur automatischen Spracherkennung. University of Hamburg, Germany, DISKI 133, Infix 1996, ISBN 978-3-89601-133-6, pp. I-III, 1-157 - 132Barbara Messing:
Darstellung und Integration von Wissen in verbandsbasierten signierten Logikprogrammen. Karlsruhe Institute of Technology, Germany, DISKI 132, Infix 1996, ISBN 978-3-89601-132-9, pp. I-V, 1-146 - 131Karlheinz Blank:
Benutzermodellierung für adaptive interaktive Systeme - Architektur, Methoden, Werkzeuge und Anwendungen. University of Stuttgart, Germany, DISKI 131, Infix 1996, ISBN 978-3-89601-131-2, pp. 1-188 - 130Oksana Arnold:
Die Therapiesteuerungskomponente einer wissensbasierten Systemarchitektur für Aufgaben der Prozeßführung. Technische Hochschule Leipzig, Germany, DISKI 130, Infix 1996, ISBN 978-3-89601-130-5, pp. I-XXVIII, 1-346 - 129Michael Gollner:
Eine abstrakte Maschine für das logisch-funktionale Programmieren. Karlsruhe Institute of Technology, Germany, DISKI 129, Infix 1996, ISBN 978-3-89601-129-9, pp. 1-208 - 128Jochen Dörre:
Feature-Logik und Semiunifikation. University of Stuttgart, Germany, DISKI 128, Infix 1996, ISBN 978-3-89601-128-2, pp. I-V, 1-150 - 127Klaus Goos:
Fallbasiertes Klassifizieren - Methoden, Integration und Evaluation. Julius Maximilians University Würzburg, Germany, DISKI 127, Infix 1996, ISBN 978-3-89601-127-5, pp. I-III, 1-180 - 126Stefan Wess:
Fallbasiertes Problemlösen in wissensbaiserten Systemen zur Entscheidungsunterstützung und Diagnostik - Grundlagen, Systeme und Anwendungen. Kaiserslautern University of Technology, Germany, DISKI 126, Infix 1996, ISBN 978-3-89601-126-8, pp. I-X, 1-271 - 125Olaf Munkelt:
Erkennung von Objekten in Einzelvideobildern mittels Aspektbäumen. Technical University Munich, Germany, DISKI 125, Infix 1996, ISBN 978-3-89601-125-1, pp. 1-133 - 124Andrea Drees:
Visuelle Erkennung von Handstellungen mit neuronalen Netzen. Bielefeld University, Germany, DISKI 124, Infix 1996, ISBN 978-3-89601-124-4, pp. I-XI, 1-161 - 123Rainer Sprengel:
Entwurf und Analyse nichtlinearer Diffusionsverfahren für die Bildverarbeitung. University of Hamburg, Germany, DISKI 123, Infix 1996, ISBN 978-3-89601-123-7, pp. I-VII, 1-221 - 122Philipp Hanschke:
A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning. Karlsruhe Institute of Technology, Germany, DISKI 122, Infix 1996, ISBN 978-3-89601-122-0, pp. 1-81 - 121Maria-Dolores Soriano-Lopez:
Vergleichende Bewertung konnektionistischer Modelle mit klassischen statistischen Klassifikationsverfahren. RWTH Aachen University, Germany, DISKI 121, Infix 1996, ISBN 978-3-89601-121-3, pp. 1-245 - 120Barbara Heller:
Modularisierung und Fokussierung erweiterbarer komplexer Wissensbasen auf der Basis von Kompetenzeinheiten. Bielefeld University, Germany, DISKI 120, Infix 1996, ISBN 978-3-89601-120-6, pp. 1-216 - 119Thomas Wengerek:
Reinforcement-Lernen in der Robotik. Bielefeld University, DISKI 119, Infix 1996, ISBN 978-3-89601-119-0, pp. I-VI, 1-143 - 118Martin Böttcher:
Unifikation disjunktiver Attributterme - Auswertealgorithmen und Anwendungen in einer Valenzgrammatik zur Textanalyse. University of Hamburg, Germany, DISKI 118, Infix 1996, ISBN 978-3-89601-118-3, pp. 1-209 - 117Joachim Weisbrod:
Unscharfes Schließen. Karlsruhe Institute of Technology, Germany, DISKI 117, Infix 1996, ISBN 978-3-89601-117-6, pp. 1-138 - 116Klaus Schneider:
Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation. DISKI 116, Infix 1996, ISBN 978-3-89601-116-9, pp. 1-229 - 115Rolf Schuster:
Objektverfolgung in Farbbildfolgen. Technical University Munich, Germany, DISKI 115, Infix 1996, ISBN 978-3-89601-115-2, pp. 1-93 - 114Xiaoqing Cheng:
Reaktive Einsatzplanung eines mobilen Zweiarm-Roboters für asynchrone Serviceaufgaben in einer industriellen Fertigungsumgebung. DISKI 114, Infix 1996, ISBN 978-3-89601-114-5, pp. 1-160 - 113Jürgen Kopp:
Konstruktion von Wissensrepräsentationssprachen durch Nutzen und Erweitern objektorientierter Sprachmittel. Bielefeld University, Germany, DISKI 113, Infix 1996, ISBN 978-3-89601-113-8, pp. I-XX, 1-197 - 112Xiaorong Huang:
Human oriented proof presentation - a reconstructive approach. Saarland University, Saarbrücken, Germany, DISKI 112, Infix 1996, ISBN 978-3-89601-112-1, pp. 1-174 - 111Martin Eldracher:
Planung kinematischer Trajektorien für Manipulatoren mit Hilfe von Subzielen und neuronalen Netzen. Technical University Munich, DISKI 111, Infix 1996, ISBN 978-3-89601-111-4, pp. I-XVII, 1-206 - 110Holger Müller:
Konsistenzbasierte Handlungsplanung. Karlsruhe Institute of Technology, Germany, DISKI 110, Infix 1995, ISBN 978-3-89601-110-7, pp. 1-272 - 109Dirk Wetzel:
Wissensbasierte Verkehrsszenenanalyse zur Fahrerunterstützung. University of Erlangen-Nuremberg, Germany, DISKI 109, Infix 1996, ISBN 3-89601-109-X - 108Elisabeth André:
Ein planbasierter Ansatz zur Generierung multimedialer Präsentationen. Saarland University, Saarbrücken, Germany, DISKI 108, Infix Verlag, St. Augustin, Germany 1995, ISBN 3-89601-108-1, pp. 1-215 - 107Daniel Möri:
Automatische Erkennung und Ausführung von Korrekturanweisungen in Textdokumenten. University of Bern, Switzerland, DISKI 107, Infix 1995, ISBN 978-3-89601-107-7, pp. 1-150 - 106Silke Richter:
Ein mehrfach adaptierendes, stabiles Modell zur Analyse von Straßenszenen. Technical University Munich, Germany, DISKI 106, Infix 1995, ISBN 978-3-89601-106-0, pp. 1-157 - 105Volkmar Pflug:
Graphembasierte On-line-Erkennung fließender Handschrift. Technical University Munich, Germany, DISKI 105, Infix 1995, ISBN 978-3-89601-105-3, pp. 1-117 - 104Bernd Hildebrandt:
Struktur und Bedeutung temporaler Konstituenten in einem sprachverstehenden Dialogsystem. Bielefeld University, Germany, DISKI 104, Infix 1995, ISBN 978-3-89601-104-6, pp. 1-161 - 103Gernot A. Fink:
Integration von Spracherkennung und Sprachverstehen. Bielefeld University, Germany, DISKI 103, Infix 1995, ISBN 978-3-89601-103-9, pp. 1-126 - 102Jürgen Falk:
Ein Multi-Agentensystem zur Transportplanung und -steuerung bei Speditionen mit Trampverkehr - Entwicklung und Vergleich mit zentralisierten Methoden und menschlichen Disponenten. University of Erlangen-Nuremberg, Germany, DISKI 102, Infix 1995, ISBN 978-3-89601-102-2 - 101Christian B. Suttner:
Parallelization of search-based systems by static partitioning with slackness. Technical University Munich, Germany, DISKI 101, Infix 1995, ISBN 978-3-89601-101-5, pp. 1-191 - 100Ute Gappa:
Grafische Wissensakquisitionssysteme und ihre Generierung. Karlsruhe Institute of Technology, Germany, DISKI 100, Infix 1995, ISBN 978-3-89601-100-8, pp. 1-391 - 99Erich Rome:
Simulierte Gestalt-Erkennung in Präsentationsgrafiken. University of Bremen, Germany, DISKI 99, Infix 1995, ISBN 978-3-89601-099-5, pp. I-XXIV, 1-254 - 98Martin Protzen:
Lazy generation of induction hypotheses and patching faulty conjectures. Darmstadt University of Technology, Germany, DISKI 98, Infix 1995, ISBN 978-3-89601-098-8, pp. 1-89 - 97Thomas Hoppe:
Incremental partial deduction. Technical University of Dortmund, Germany, DISKI 97, Infix 1995, ISBN 978-3-89601-097-1, pp. I-XI, 1-190 - 96Jürgen Giesl:
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen. Darmstadt University of Technology, Germany, DISKI 96, Infix 1995, ISBN 978-3-89601-096-4, pp. 1-306 - 95Volker Fischer:
Parallelverarbeitung in einem semantischen Netzwerk für die wissensbasierte Musteranalyse. University of Erlangen-Nuremberg, Germany, DISKI 95, Infix 1995, ISBN 978-3-89601-095-7, pp. I-V, 1-184 - 94Matthias Stüber:
Adaptive Steuerungen - Fuzzy Control im Vergleich zu Regelungstechnik und neuronalen Netzen. University of Bonn, Germany, DISKI 94, Infix 1995, ISBN 978-3-89601-094-0, pp. I-III, 1-168 - 93Alexander Linden:
SESAME - ein objekt- und datenflußorientierter Simulator für Modelle der Neuroinformatik und angrenzender Gebiete. Bielefeld University, Germany, DISKI 93, Infix 1995, ISBN 978-3-89601-093-3, pp. I-VI, 1-172 - 92Stefan Jockusch:
Modellierung und Manipulation von Bild- und Grafikdaten mit neuronalen Netzen. Bielefeld University, Germany, DISKI 92, Infix 1995, ISBN 978-3-89601-092-6, pp. 1-159 - 91Rainer Hoch:
READLEX - ein wörterbuchbasierter Ansatz für die Erkennung und Analyse von Text in strukturierten Dokumenten. Kaiserslautern University of Technology, Germany, DISKI 91, Infix 1995, ISBN 978-3-89601-091-9, pp. I-XII, 1-226 - 90Gabriele Schmidt:
Modellbasierte, interaktive Wissensakquisition und Dokumentation von Domänenwissen (MIKADO). Kaiserslautern University of Technology, Germany, DISKI 90, Infix 1995, ISBN 978-3-89601-090-2, pp. I-XI, 1-241 - 89Andreas Winzen:
Automatische Erzeugung dreidimensionaler Modelle für Bildanalysesysteme. University of Erlangen-Nuremberg, Germany, DISKI 89, Infix 1995, ISBN 978-3-929037-89-0, pp. 1-225 - 88Henner Kollnig:
Ermittlung von Verkehrsgeschehen durch Bildfolgenauswertung. Karlsruhe Institute of Technology, Germany, DISKI 88, Infix 1995, ISBN 978-3-929037-88-3, pp. I-VIII, 1-187 - 87Wolfgang Melchert:
Ein Ansatz zur Formalisierung der Echtzeit-Bildauswertung und seine Nutzung zur automatischen Erzeugung lauffähiger Maschinenprogramme. Karlsruhe Institute of Technology, Germany, DISKI 87, Infix 1995, ISBN 978-3-929037-87-6, pp. 1-183 - 86Karsten Poeck:
Konfigurierbare Problemlösungsmethoden am Beispiel der Problemklassen - Zuordnung und Diagnostik. Julius Maximilians University Würzburg, Germany, DISKI 86, Infix 1995, ISBN 978-3-929037-86-9, pp. 1-156 - 85Thomas Pirlein:
Wiederverwendung von Commonsense Ontologien im Knowledge Engineering - Methoden und Werkzeuge. Karlsruhe Institute of Technology, Germany, DISKI 85, Infix 1995, ISBN 978-3-929037-85-2, pp. 1-260 - 84Dieter Landes:
Die Entwurfsphase in MIKE - Methode und Beschreibungssprache. Karlsruhe Institute of Technology, Germany, DISKI 84, Infix 1995, ISBN 978-3-929037-84-5, pp. 1-304 - 83Dominik Henrich:
Lastverteilung für feinkörnig parallelisiertes Branch-and-Bound. Karlsruhe Institute of Technology, Germany, DISKI 83, Infix 1995, ISBN 978-3-929037-83-8, pp. 1-124 - 82Nils Lenke:
Paraphrasen - Lösungen für antizipierte Leserprobleme bei der automatischen Textgenerierung. University of Duisburg-Essen, Germany, DISKI 82, Infix 1995, ISBN 978-3-929037-82-1, pp. 1-249 - 81Knut Hinkelmann:
Transformation von Hornklausel-Wissensbasen - Verarbeitung gleichen Wissens durch verschiedene Inferenzen. Kaiserslautern University of Technology, Germany, DISKI 81, Infix 1995, ISBN 978-3-929037-81-4, pp. 1-215 - 80Thomas Kuhn:
Die Erkennungsphase in einem Dialogsystem. University of Erlangen-Nuremberg, Germany, DISKI 80, Infix 1995, ISBN 978-3-929037-80-7, pp. I-XVI, 1-231 - 79Manfred Meyer:
Finite domain constraints - declaritivity meets efficiency, theory meets application. Kaiserslautern University of Technology, Germany, DISKI 79, Infix 1995, ISBN 978-3-929037-79-1, pp. 1-167 - 78Enno Littmann:
Strukturierung neuronaler Netze zwischen Biologie und Anwendung - biologische Modellierung, Kaskadierung und hybrider Ansatz. Bielefeld University, Germany, DISKI 78, Infix 1995, ISBN 978-3-929037-78-4, pp. I-XII, 1-252 - 77Jianwei Zhang:
Ein integriertes Verfahren zur effizienten Planung und Ausführung von Roboterbewegungen in unscharfen Umgebungen. Karlsruhe Institute of Technology, Germany, DISKI 77, Infix 1995, ISBN 978-3-929037-77-7, pp. 1-160 - 76Michael Thielscher:
Automatisiertes Schließen über Kausalbeziehungen mit SLDENDF-Resolution. Darmstadt University of Technology, Germany, DISKI 76, Infix 1995, ISBN 978-3-929037-76-0, pp. I-XIV, 1-218 - 75Gerhard Weiß:
Distributed Machine Learning. Technical University Munich, Germany, DISKI 75, Infix Verlag, St. Augustin, Germany 1995, ISBN 3-929037-75-0, pp. 1-125 - 74Friedrich Mädler:
Problemzerlegung durch Nadelöhrmengen - ein modellbasierter Ansatz zur Akquisition von Kontrollwissen für Planungssysteme. University of Osnabrück, Germany, DISKI 74, Infix 1994, ISBN 978-3-929037-74-6, pp. I-III, 1-280 - 73Jan Schloen:
Wissensbasierte Bewegungsausführung für die Montageautomatisierung mit Industrierobotern. Karlsruhe Institute of Technology, Germany, DISKI 73, Infix 1994, ISBN 978-3-929037-73-9, pp. I-IV, 1-206 - 72Volker Gengenbach:
Einsatz von Rückkopplungen in der Bildauswertung bei einem Hand-Auge-System zur automatischen Demontage. Karlsruhe Institute of Technology, Germany, DISKI 72, Infix 1994, ISBN 978-3-929037-72-2, pp. I-V, 1-176 - 71Jörg R. J. Schirra:
Bildbeschreibung als Verbindung von visuellem und sprachlichem Raum - eine interdisziplinäre Untersuchung von Bildvorstellungen in einem Hörermodell. Saarland University, Saarbrücken, Germany, DISKI 71, Infix 1994, ISBN 978-3-929037-71-5, pp. I-XII, 1-446 - 70Ute Schmid:
Erwerb rekursiver Programmiertechniken als Induktion von Konzepten und Regeln - ein kognitionswissenschaftlicher Zugang zum Erwerb kognitiver Fertigkeiten. Technical University of Berlin, Germany, DISKI 70, Infix 1994, ISBN 978-3-929037-70-8, pp. 1-165 - 69Bernd S. Müller:
PPO, eine objektorientierte Prolog-Erweiterung zur Entwicklung wissensbasierter Anwendungssysteme. University of Oldenburg, Germany, DISKI 69, Infix 1994, ISBN 978-3-929037-69-2, pp. I-XIV, 1-244 - 68Jürgen Kreuziger:
Eine Architektur zur Anwendung symbolischer Lernverfahren in der Robotik. Karlsruhe Institute of Technology, Germany, DISKI 68, Infix 1994, ISBN 978-3-929037-68-5, pp. I-IX, 1-244 - 67Markus A. Thies:
Planbasierte Hilfeverfahren für direkt-manipulative Systeme - Erkennung, Vervollständigung und Visualisierung von Interaktionsplänen. University of Stuttgart, Germany, DISKI 67, Infix 1994, ISBN 978-3-929037-67-8, pp. 1-239 - 66Christoph Klauck:
Eine Graphgrammatik zur Repräsentation und Erkennung von Features in CAD/CAM. Kaiserslautern University of Technology, Germany, DISKI 66, Infix 1994, ISBN 978-3-929037-66-1, pp. 1-161 - 65Jana Köhler:
Wiederverwendung von Plänen in deduktiven Planungssystemen. Saarland University, Saarbrücken, Germany, DISKI 65, Infix 1994, ISBN 978-3-929037-65-4, pp. 1-225 - 64Klaus Grebner:
Wissensbasierte Entwicklungsumgebung für Bildanalysesysteme aus dem industriellen Bereich. Bielefeld University, Germany, DISKI 64, Infix 1994, ISBN 978-3-929037-64-7, pp. 1-159 - 63Michael Otte:
Extraktion von linienförmigen Merkmalen und Ermittlung des optischen Flusses mit seinen Ableitungen aus Voll- und Halbbildfolgen. Karlsruhe Institute of Technology, Germany, DISKI 63, Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-63-7, pp. 1-171 - 62Thorsten von Stein:
Wissensbasierte Analyse medizinischer Bilder - das Biotop-Verfahren. University of Hamburg, Germany, DISKI 62, Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-62-9, pp. 1-147 - 61Karsten Berns:
Steuerungsansätze auf der Basis Neuronaler Netze für sechsbeinige Laufmaschinen. Karlsruhe Institute of Technology, Germany, DISKI 61, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-61-0, pp. 1-187 - 60Susanne Neubert:
Modellkonstruktion in MIKE. Methoden und Werkzeuge. Karlsruhe Institute of Technology, Germany, DISKI 60, Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-60-2, pp. 1-335 - 59Jun Zhao:
Qualitative Analyse im Rahmen qualitativen und modellbasierten Schließens. University of Bremen, Germany, DISKI 59, Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-59-9, pp. 1-260 - 58Andreas Winklhofer:
Zeitrepräsentation und merkmalsgesteuerte Suche zur Terminplanung. Technical University Munich, Germany, DISKI 58, Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-58-0, pp. 1-167 - 57Werner Karbach:
MODEL-K: Modellierung und Operationalisierung von Selbsteinschätzung und -steuerung durch Reflexion und Metawissen. Bielefeld University, Germany, DISKI 57, Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-57-2 - 56Andrea Neufeld:
Validierung konzeptueller Schemata. Karlsruhe Institute of Technology, Germany, DISKI 56, Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-56-4, pp. 1-229 - 55Jochen Heinsohn:
ALCP - Ein hybrider Ansatz zur Modellierung von Unsicherheit in terminologischen Logiken. Saarland University, Saarbrücken, Germany, DISKI 55, Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-55-6, pp. 1-216 - 54Martin Schröder:
Erwartungsgestützte Analyse medizinischer Befundungstexte. Ein wissensbasiertes Modell zur Sprachverarbeitung. University of Hamburg, Germany, DISKI 54, Infix Verlag, St. Augustin, Germany 1994, ISBN 3-929037-54-8, pp. 1-242 - 53Jürgen Angele:
Operationalisierung des Modells der Expertise mit KARL. Karlsruhe Institute of Technology, Germany, DISKI 53, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-53-X, pp. 1-285 - 52Stephan Mehl:
Dynamische semantische Netze - Zur Kontextabhängigkeit von Wortbedeutungen. University of Koblenz-Landau, Germany, DISKI 52, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-52-1, pp. 1-280 - 51Joachim Posegga:
Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe. Karlsruhe Institute of Technology, Germany, DISKI 51, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-51-3, pp. 1-124 - 50Marion Mast:
Ein Dialogmodul für ein Spracherkennungs- und Dialogsystem. University of Erlangen-Nuremberg, Germany, DISKI 50, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-50-5, pp. 1-196 - 49Lothar Simon:
Dynamische, situationsbezogene Hypertext-Handbücher für komplexe Tätigkeiten. University of Erlangen-Nuremberg, Germany, DISKI 49, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-49-1, pp. 1-230 - 48Frank Maurer:
Hypermediabasiertes Knowledge Engineering für verteilte wissensbasierte Systeme. Kaiserslautern University of Technology, Germany, DISKI 48, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-48-3 - 47Albert Maier:
Einbettung von Konzepthierarchien in ein Deduktives Datenbanksystem. University of Trier, Germany, DISKI 47, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-47-5, pp. 1-238 - 46Gerhard Werling:
Produkorientierte automatische Planung von Prüfoperationen bei der robotergestützten Montage. Karlsruhe Institute of Technology, Germany, DISKI 46, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-46-7, pp. 1-211 - 45Volker Steinhage:
Verdeckungen und spezielle Sichten bei der Polyederrekonstruktion. University of Bonn, Germany, DISKI 45, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-45-9, pp. 1-207 - 44Thomas Bayer:
Ein modellgestütztes Analysesystem zum Bildverstehen strukturierter Dokumente. University of Erlangen-Nuremberg, Germany, DISKI 44, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-44-0, pp. 1-191 - 43Josef Ingenerf:
Benutzeranpaßbare semantische Sprachanalyse und Begriffsrepräsentation für die medizinische Dokumentation. RWTH Aachen University, Germany, DISKI 43, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-43-2, pp. 1-345 - 42Günther Specht:
Source-to-Source Transformationen zur Erklärung des Programmverhaltens bei deduktiven Datenbanken. DISKI 42, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-42-4, pp. 1-196 - 41Michael Ley:
Ein Datenbankkern zur Speicherung variabel strukturierter Feature-Terme. Implementierungstechniken. University of Trier, Germany, DISKI 41, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-41-6, pp. 1-263 - 40Barbara Hemforth:
Kognitives Parsing: Repräsentation und Verarbeitung sprachlichen Wissens. Ruhr University Bochum, Germany, DISKI 40, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-40-8, pp. 1-268 - 39Karlhorst Klotz:
Eine mehrschichtige Architektur zur Fehlerdiagnose und Fehlerbehebung bei der Entwicklung logischer Programme. Technical University Munich, Germany, DISKI 39, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-39-4 - 38Axel Köhne:
Integration von Aktionsplanung und Konfigurierung. Karlsruhe Institute of Technology, Germany, DISKI 38, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-38-6, pp. 1-206 - 37Jürgen Sauer:
Wissensbasiertes Lösen von Ablaufplanungsproblemen durch explizite Heuristiken. University of Oldenburg, Germany, DISKI 37, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-37-8, pp. 1-204 - 36Haibin Liu:
Oberflächenbasierte Segmentierung von Tiefenbildern. University of Erlangen-Nuremberg, Germany, DISKI 36, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-36-X, pp. 1-134 - 35Hans-Christian Brüning:
Erweiterung der Wissensbasierten CAD-Konstruktion um Restriktionsnetztechniken. Technical University Munich, Germany, DISKI 35, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-35-1, pp. 1-137 - 34Michael Spreng:
Situationsanalyse bei Kontakten während der Ausführung von Roboterbewegungen in unsicheren Umgebungen. DISKI 34, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-34-3, pp. 1-186 - 33Yong Cao:
Zur Darstellung und Verarbeitung von Wissen über Himmelsrichtungen. University of Hamburg, Germany, DISKI 33, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-33-5, pp. 1-198 - 32Claudia Sommer:
MoKon - Ein Ansatz zur Wissensbasierten Konfiguration von Variantenerzeugnissen. University of Erlangen-Nuremberg, Germany, DISKI 32, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-32-7, pp. 1-246 - 31Wolfgang Eckstein:
Die Bildanalysesprache TRIAS. Technical University Munich, Germany, DISKI 31, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-31-9, pp. 1-198 - 30Petra Ludewig:
Inkrementelle wörterbuchbasierte Wortschatzerweiterungen in sprachverarbeitenden Systemen. Entwurf einer konstruktiven Lexikonkonzeption. University of Osnabrück, Germany, DISKI 30, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-30-0, pp. 1-182 - 29Christoph Lehner:
Grammatikentwicklung mit Constraint Logik Programmierung. Implementierung einer Grammatik für das Deutsche mit PROLOG III. Ludwig Maximilian University of Munich, Germany, DISKI 29, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-29-7, pp. 1-179 - 28Reinhard Prechtel:
Erklärungen für komplexe Wissensbasen. University of Erlangen-Nuremberg, Germany, DISKI 28, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-28-9, pp. 1-201 - 27Josef Pauli:
Erklärungsbasiertes Computer-Sehen von Bildfolgen. Technical University Munich, Germany, DISKI 27, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-27-0, pp. 1-233 - 26Klaus Fischer:
Verteiltes und kooperatives Planen in einer flexiblen Fertigungsumgebung. Technical University Munich, Germany, DISKI 26, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-26-2, pp. 1-220 - 25Wolfgang Ertel:
Parallele Suche mit randomisiertem Wettbewerb in Inferenzsystemen. Technical University Munich, Germany, DISKI 25, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-25-4, pp. 1-172 - 24Klaus Obermayer:
Adaptive Neuronale Netze und ihre Anwendung als Modelle der Entwicklung kortikaler Karten. Technical University Munich, Germany, DISKI 24, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-24-6, pp. 1-164 - 23Klaus-Dieter Althoff:
Eine fallbasierte Lernkomponente als integraler Bestandteil der MOLTKE-Werkbank zur Diagnose technischer Systeme. Kaiserslautern University of Technology, Germany, DISKI 23, Infix Verlag, St. Augustin, Germany 1993, ISBN 3-929037-23-8, pp. 1-253 - 22Tilo Messer:
Wissensbasierte Synthese von Bildanalyseprogrammen. Technical University Munich, Germany, DISKI 22, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-22-X, pp. 1-140 - 21Ulrich Aßmann:
Parallele Modelle für Deduktionssysteme. University of Bonn, Germany, DISKI 21, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-21-1, pp. 1-297 - 20Adelinde M. Uhrmacher:
EMSY - Ein Modellierungskonzept für ökologische und biologische Systeme unter besonderer Berücksichtigung ihrer dynamischen Veränderung. University of Koblenz-Landau, Germany, DISKI 20, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-20-3, pp. 1-190 - 19Manfred A. Jeusfeld:
Änderungskontrolle in deduktiven Datenbanken. University of Passau, Germany, DISKI 19, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-19-X - 18Gerd Neugebauer:
Pragmatische Programmsynthese. Darmstadt University of Technology, Germany, DISKI 18, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-18-1, pp. 1-169 - 17Kai Zercher:
Wissensintensives Lernen für zeitkritische technische Diagnoseaufgaben. Technical University Munich, Germany, DISKI 17, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-17-3, pp. 1-149 - 16Byoung-Tak Zhang:
Lernen durch Genetisch-Neuronale Evolution: Aktive Anpassung an unbekannte Umgebungen mit selbstentwickelten parallelen Netzwerken. University of Bonn, Germany, DISKI 16, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-16-5, pp. 1-269 - 15Roman Cunis:
Das 3-stufige Frame-Repräsentationsschema - eine mehrdimensional modulare Basis für die Entwicklung von Expertensystemkernen. University of Hamburg, Germany, DISKI 15, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-15-7, pp. 1-285 - 14Thomas Martinetz:
Selbstorganisierende neuronale Netzwerkmodelle zur Bewegungssteuerung. Technical University Munich, Germany, DISKI 14, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-14-9, pp. 1-167 - 13Dieter Koller:
Detektion, Verfolgung und Klassifikation bewegter Objekte in monokularen Bildfolgen am Beispiel von Straßenverkehrsszenen. Karlsruhe Institute of Technology, Germany, DISKI 13, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-13-0, pp. 1-199 - 12Franz Kummert:
Flexible Steuerung eines sprachverstehenden Systems mit homogener Wissensbasis. University of Erlangen-Nuremberg, Germany, DISKI 12, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-12-2, pp. 1-241 - 11Andreas Hörmann:
Begleitende Montageablaufplanung für ein sensorgestütztes Zweiarm-Manipulatorsystem. DISKI 11, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-11-4 - 10Jutta Eusterbrock:
Wissensbasierte Verfahren zur Synthese mathematischer Beweise: Eine kombinatorische Anwendung. University of Stuttgart, Germany, DISKI 10, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-10-6, pp. 1-276 - 9Longin Jan Latecki:
Digitale und Allgemeine Topologie in der bildhaften Wissensrepräsentation. University of Hamburg, Germany, DISKI 9, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-09-2, pp. 1-95 - 8Andreas Strasser:
Generierung domänenspezifischer Wissensrepräsentationssysteme und Transformation von Wissensbasen mit einer Anwendung in der Rechtsinformatik. Technical University Munich, Germany, DISKI 8, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-08-4, pp. 1-209 - 7Knut Möller:
Adaptive Roboterkontrolle mit konnektionistischen Systemen. University of Bonn, Germany, DISKI 7, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-07-6, pp. 1-254 - 6Günter Wöhlke:
Wissensbasierte Greifplanung für Mehrfinger-Roboterhände. Karlsruhe Institute of Technology, Germany, DISKI 6, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-06-8, pp. 1-189 - 5Wolfgang Tank:
Modellierung von Expertise über Konfigurierungsaufgaben. Technical University of Berlin, Germany, DISKI 5, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-05-X, pp. 1-198 - 4Ingo Syska:
Modulare Problemlösungsarchitekturen für Konstruktionssysteme. University of Hamburg, Germany, DISKI 4, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-04-1, pp. 1-213 - 3Andreas Günter:
Flexible Kontrolle in Expertensystemen zur Planung und Konfigurierung in technischen Domänen. University of Hamburg, Germany, DISKI 3, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-03-3, pp. 1-239 - 2Claus Müller:
Verwendung von Bildauswertungsmethoden zur Erkennung und Lagebestimmung von generischen polyedrischen Objekten im Raum. Karlsruhe Institute of Technology, Germany, DISKI 2, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-02-5, pp. 1-154 - 1Norbert Reithinger:
Eine parallele Architektur zur inkrementellen Generierung multimodaler Dialogbeiträge. Saarland University, Saarbrücken, Germany, DISKI 1, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-01-7, pp. 1-185
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-05-14 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
