Armin B. Cremers

Armin Bernd Cremers

Proceedings of the Pattern Recognition - 35th German Conference, 2013

2012

Performance of histogram descriptors for the classification of 3D laser range data in urban environments.

[BibT_eX]

[DOI]

Jens Behley

Volker Steinhage

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Adaptive Multi-cue 3D Tracking of Arbitrary Objects.

[BibT_eX]

[DOI]

Germán Martín García

Jörg Stückler

Proceedings of the Pattern Recognition, 2012

Making Solomonoff Induction Effective - Or: You Can Learn What You Can Bound.

[BibT_eX]

[DOI]

Jörg Zimmermann

Proceedings of the How the World Computes, 2012

2011

SmartGuide - A Smartphone Museum Guide with Ultrasound Control.

[BibT_eX]

[DOI]

Pascal Bihler

Paul Imhoff

Proceedings of the 2nd International Conference on Ambient Systems, 2011

The Semantic Shadow: Structuring the Web for Adaptations.

[BibT_eX]

[DOI]

Pascal Bihler

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Person tracking in three-dimensional laser range data with explicit occlusion adaption.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Boosting scalable gradient features for adaptive real-time tracking.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

A context management infrastructure with language integration support.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Context-Oriented Programming, 2011

The Quest for Uncertainty.

[BibT_eX]

[DOI]

Jörg Zimmermann

Proceedings of the Rainbow of Computer Science, 2011

2010

Adaptive real-time video-tracking for arbitrary objects.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Learning to hash logistic regression for fast 3D scan point classification.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Optimization techniques for laser-based 3D particle filter SLAM.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2010

Visual landmark generation and redetection with a single feature per frame.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2010

Position Estimation of Mobile Robots Considering Characteristic Terrain Properties.

[BibT_eX]

Michael Brunner

Proceedings of the ICINCO 2010, 2010

Adhering to Terrain Characteristics for Position Estimation of Mobile Robots.

[BibT_eX]

[DOI]

Michael Brunner

Proceedings of the Informatics in Control, Automation and Robotics, 2010

2009

New Execution Paradigm for Data-Intensive Scientific Workflows.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

Using semantic descriptions for adaptive mobile games UIs.

[BibT_eX]

[DOI]

Proceedings of the 11th Conference on Human-Computer Interaction with Mobile Devices and Services, 2009

Using Semantic UI Descriptions for Adaptive Mobile Games.

[BibT_eX]

[DOI]

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Modeling and Enforcement of Business Policies on Process Models with Maestro.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2009

3D-Partikelfilter SLAM.

[BibT_eX]

[DOI]

Jochen Welle

Proceedings of the Autonome Mobile Systeme 2009, 2009

2008

Land-Use Dynamic Simulator (LUDAS): A multi-agent system model for simulating spatio-temporal dynamics of coupled human-landscape system. I. Structure and theoretical specification.

[BibT_eX]

[DOI]

Ecol. Informatics, 2008

Towards a user-oriented environment for web services composition.

[BibT_eX]

[DOI]

Mahmoud M. Elgayyar

Proceedings of the 4th international workshop on End-user software engineering, 2008

People Tracking using Laser Range Scanners and Vision.

[BibT_eX]

Proceedings of the ICINCO 2008, 2008

Distributed Scientific Workflow Management for Data-Intensive Applications.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

2007

ISKODOR: unified user modeling for integrated searching.

[BibT_eX]

[DOI]

Melanie Gnasa

Douglas W. Oard

Proceedings of the SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2007

Interconnecting Documentation - Harnessing the Different Powers of Current Documentation Tools in Software Development.

[BibT_eX]

Proceedings of the ICEIS 2007, 2007

Integrating aspect-orientation and structural annotations to support adaptive middleware.

[BibT_eX]

[DOI]

Holger Mügge

Tobias Rho

Proceedings of the 1st Workshop on Middleware-Application Interaction, 2007

Top-down Attention Supports Visual Loop Closing.

[BibT_eX]

[DOI]

Proceedings of the 3rd European Conference on Mobile Robots, 2007

Tailorability of personalized BPEL-based Workflow Compositions.

[BibT_eX]

[DOI]

Julia Kuck

Proceedings of the 2007 IEEE International Conference on Services Computing, 2007

2006

Awareness and workflow based coordination of networked co-operations in structural design.

[BibT_eX]

[DOI]

J. Inf. Technol. Constr., 2006

Adapters, shims, and glue - service interoperability for <i>in silico</i> experiments.

[BibT_eX]

[DOI]

S. C. Schulze-Rauschenbach

Ulf Leser

Bioinform., 2006

Automatic Discovery and Composition of Services with IRIS.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Data Engineering Workshops, 2006

First Steps Towards an Integrated Decision Support System for Water Management.

[BibT_eX]

[DOI]

Proceedings of the Managing Environmental Knowledge: Proceedings of the 20th International Conference for Environmental Protection, 2006

Beyond the Web: Retrieval in Social Information Spaces.

[BibT_eX]

[DOI]

Sebastian Marius Kirsch

Melanie Gnasa

Proceedings of the Advances in Information Retrieval, 2006

2005

Personalized Peer Filtering for a Dynamic Information Push.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 15th International Symposium, 2005

Multilateral security considerations for adaptive mobile applications.

[BibT_eX]

Marcel Winandy

Proceedings of the ICETE 2005, 2005

Computational Finance.

[BibT_eX]

[DOI]

Jens Lüssem

Angelika May

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

Towards Context-Sensitive Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, 2nd European Workshop, 2005

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.

[BibT_eX]

[DOI]

Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005

2004

Three Pillars for Congenial Web Searching - Continuous Evaluation for enhancing Web Search Effectiveness.

[BibT_eX]

[DOI]

Melanie Gnasa

Markus Won

J. Web Eng., 2004

The Story of the GeoToolKit - An Object-Oriented Geodatabase Kernel System.

[BibT_eX]

[DOI]

GeoInformatica, 2004

Towards Composition Management for Component-based Peer-to-Peer Architectures.

[BibT_eX]

[DOI]

Proceedings of the Software Composition Workshop, 2004

Selected Spatio-Temporal Data Types and Operations for a 3D/4D Geological Information System.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 2004

Cooperative Pull-Push Cycle for Searching a Hybrid P2P Network.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Peer-to-Peer Computing (P2P 2004), 2004

IRIS: A Framework for Mediator-Based Composition of Service-Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Mediatorbasierte ad hoc Integration autonomer Web Services.

[BibT_eX]

[DOI]

Thomas Bode

Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

IRIS: A Framework Supporting Composition and Device-Specific Access of Software Services.

[BibT_eX]

[DOI]

Sebastian Mancke

Proceedings of the Sh@ring: 18th International Conference "Informatics for Environmental Protection", 2004

COBIDS: A Component-Based Framework for Sharing Standardized and Non-Standardized Geo-Services.

[BibT_eX]

[DOI]

Proceedings of the Sh@ring: 18th International Conference "Informatics for Environmental Protection", 2004

Strategies for a Component-Based Self-adaptability Model in Peer-to-Peer Architectures.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

2003

People Tracking with Mobile Robots Using Sample-based Joint Probabilistic Data Association Filters.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2003

Spatio-temporal database support for long-period scientific data.

[BibT_eX]

[DOI]

Data Sci. J., 2003

Towards Virtual Knowledge Communities in Peer-to-Peer Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Multimedia Information Retrieval, 2003

The Indilib Approach: How to Integrate Heterogeneous SGML/XML Data by Means of the Semantic Web.

[BibT_eX]

David Greiff

Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

2002

Learning action models for the improved execution of navigation plans.

[BibT_eX]

[DOI]

Thorsten Belker

Michael Beetz

Robotics Auton. Syst., 2002

Trojan horse attacks on software for electronic signatures.

[BibT_eX]

Hanno Langweg

Informatica (Slovenia), 2002

Learning of plan execution policies for indoor navigation.

[BibT_eX]

[DOI]

Thorsten Belker

Michael Beetz

AI Commun., 2002

Protecting Java Component Integrity Against Trojan Horse Programs.

[BibT_eX]

Proceedings of the Integrity and Internal Control in Information Systems V, 2002

Management and visualization of large, complex and time-dependent 3D objects in distributed GIS.

[BibT_eX]

[DOI]

Proceedings of the ACM-GIS 2002, 2002

Managing Dependencies in Component-Based Distributed Applications.

[BibT_eX]

[DOI]

Markus Won

Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

2001

Integrated Plan-Based Control of Autonomous Robots in Human Environments.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2001

Experiences from the use of a robotic avatar in a museum setting.

[BibT_eX]

[DOI]

Dimitrios Konstantios

Andromachi Katselaki

Proceedings of the 2001 Conference on Virtual Reality, 2001

Object Identity and Dynamic Recomposition of Components.

[BibT_eX]

[DOI]

Pascal Costanza

Proceedings of the TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, 2001

Protecting the Creation of Digital Signatures with Trusted Computing Platform Technology Against Attacks by Trojan Horse Programs.

[BibT_eX]

Hanno Langweg

Proceedings of the Trusted Information: The New Decade Challenge, 2001

Configuration of Applications for the 3rd Generation Mobile Communication .

[BibT_eX]

[DOI]

Roman Englert

Proceedings of the KI-2001 Workshop AI in Planning, 2001

Improving the Retrieval Performance of Content-Based Image Retrieval Systems: The GIVBAC Approach.

[BibT_eX]

[DOI]

Lars Bröcker

Manfred Bogen

Proceedings of the International Conference on Information Visualisation, 2001

A 3D Interface for the Administration of Component-Based, Distributed Systems.

[BibT_eX]

[DOI]

Michael Hallenberger

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

Tracking Multiple Moving Targets with a Mobile Robot using Particle Filters and Statistical Data Association.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

New Methods for Topological Clustering and Spatial Access in Object-Oriented 3D Databases.

[BibT_eX]

[DOI]

Proceedings of the ACM-GIS 2001, 2001

Tracking Multiple Moving Objects with a Mobile Robot.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2001), 2001

2000

Web interfaces for mobile robots in public places.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2000

State Estimation Techniques for 3D Visualizations of Web-based Tele-operated Mobile Robots.

[BibT_eX]

Künstliche Intell., 2000

Enabling Autonomous Robots to Perform Complex Tasks.

[BibT_eX]

Künstliche Intell., 2000

Structured Name-Spaces in Secure Databases.

[BibT_eX]

[DOI]

J. Comput. Secur., 2000

Probabilistic Algorithms and the Interactive Museum Tour-Guide Robot Minerva.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2000

Identifying Buildings in Aerial Images Using Constraint Relaxation and Variable Elimination.

[BibT_eX]

[DOI]

Thomas H. Kolbe

Lutz Plümer

IEEE Intell. Syst., 2000

The Evolve project: Component-based tailorability for CSCW applications.

[BibT_eX]

[DOI]

AI Soc., 2000

Extending GeoToolKit to Access Distributed Spatial Data and Operations.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Scientific and Statistical Database Management, 2000

Confidentiality vs. Integrity in Secure Databases.

[BibT_eX]

[DOI]

Proceedings of the Data and Application Security, 2000

Searching and Browsing Collections of Structural Information.

[BibT_eX]

[DOI]

Jens E. Wolff

Holger Flörke

Proceedings of IEEE Advances in Digital Libraries 2000 (ADL 2000), 2000

Protecting Confidentiality against Trojan Horse Programs in Discretionary Access Control System.

[BibT_eX]

[DOI]

Hartmut Lehmler

Proceedings of the Information Security and Privacy, 5th Australasian Conference, 2000

1999

Experiences with an Interactive Museum Tour-Guide Robot.

[BibT_eX]

[DOI]

Artif. Intell., 1999

Unterstützung von Kooperation in einer Virtuellen Organisation.

[BibT_eX]

[DOI]

Markus Rittenbruch

Helge Kahler

Proceedings of the Electronic Business Engineering, 1999

The MyVIEW Project: A Data Warehousing Approach to Personalized Digital Libraries.

[BibT_eX]

[DOI]

Jens E. Wolff

Proceedings of the Next Generation Information Technologies and Systems, 1999

MINERVA: A Tour-Guide Robot that Learns.

[BibT_eX]

[DOI]

Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

Lava-Spracherweiterungen für Delegation in Java.

[BibT_eX]

[DOI]

Pascal Costanza

Günter Kniesel

Proceedings of the JIT '99, 1999

Distributed Component-based Tailorability for CSCW Applications.

[BibT_eX]

[DOI]

Ralph Hinken

Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

Robust visualization of navigation experiments with mobile robots over the Internet.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1999 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human and Environment Friendly Robots with High Intelligence and Emotional Quotients, 1999

MINERVA: A Second-Generation Museum Tour-Guide Robot.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE International Conference on Robotics and Automation, 1999

Semi-Automatic Acquisition of Symbolically-Annotated 3D-Models of Office Environments.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE International Conference on Robotics and Automation, 1999

The Evolve tailoring platform: supporting the evolution of component-based groupware.

[BibT_eX]

[DOI]

Ralph Hinken

Proceedings of the Third International Enterprise Distributed Object Computing Conference, 1999

The Effect of Confidentiality on the Structure of Databases.

[BibT_eX]

Proceedings of the Research Advances in Database and Information Systems Security, 1999

Pattern Recognition Combining De-noising and Linear Discriminant Analysis within a Real World Application.

[BibT_eX]

[DOI]

Proceedings of the Computer Analysis of Images and Patterns, 8th International Conference, 1999

1998

The Use of Cooperation Scenarios in the Design and Evaluation of a CSCW System.

[BibT_eX]

[DOI]

Stefan Lüttringhaus-Kappel

IEEE Trans. Software Eng., 1998

Integrating active localization into high-level robot control systems.

[BibT_eX]

[DOI]

Robotics Auton. Syst., 1998

Verbesserte Brandfrüherkennung im Steinkohlenbergbau durch Vorhersage von CO-Konzentrationen.

[BibT_eX]

Angelica Maria Kappel

Künstliche Intell., 1998

PoliTeam - Kokonstruktive und evolutionäre Entwicklung einer Groupware.

[BibT_eX]

[DOI]

Inform. Spektrum, 1998

Extracting Buildings from Aerial Images Using Hierarchical Aggregation in 2D and 3D.

[BibT_eX]

[DOI]

Comput. Vis. Image Underst., 1998

Building Geo-Scientifc Applications on Top of GeoToolKit: a Case Study of Data Integration.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Scientific and Statistical Database Management, 1998

Tailorable component architectures for CSCW-systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing, 1998

Integrating global position estimation and position tracking for mobile robots: the dynamic Markov localization approach.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, 1998

A Hybrid Collision Avoidance Method for Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 1998

Supporting cooperation in a virtual organization.

[BibT_eX]

[DOI]

Markus Rittenbruch

Helge Kahler

Proceedings of the Nineteenth International Conference on Information Systems, 1998

Transparent, Flexible, and Resource-adaptive Image Processing for Autonomous Service Robots.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

The Museum Tour-Guide Robot RHINO.

[BibT_eX]

[DOI]

Proceedings of the Autonome Mobile Systeme 1998, 14. Fachgespräch, Karlsruhe, 30. November, 1998

Position Estimation for Mobile Robots in Dynamic Environments.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

The Interactive Museum Tour-Guide Robot.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

From GeoStore to GeoToolKit: The Second Step.

[BibT_eX]

[DOI]

Oleg T. Balovnev

Martin Breunig

Proceedings of the Advances in Spatial Databases, 1997

Recognition of Polymorphic Patterns in Parameterized Graphs for 3D Building Reconstruction.

[BibT_eX]

[DOI]

Roman Englert

Jörg Seelmann-Eggebert

Proceedings of the Graph Based Representations in Pattern Recognition, 1997

A Library Application on Top of an RDBMS: Performance Aspects.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 8th International Conference, 1997

Maintaining Library Catalogues with an RDBMS: A Performance Study (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases, 15th British National Conferenc on Databases, 1997

1996

An Axiomatic Interpretation of Confidentiality Demands in Logic-Based Relational Databases.

[BibT_eX]

[DOI]

Stefan Lüttringhaus-Kappel

Proceedings of the Logic in Databases, 1996

Knowledge-Enhanced CO-monitoring in Coal-Mines.

[BibT_eX]

Angelica Maria Kappel

Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1996

Logic Programming Tools Applied to Fire Detection in Hard-coal Mines (Poster Abstract).

[BibT_eX]

[DOI]

Stefan Lüttringhaus-Kappel

Dieter Fox

Angelica Maria Kappel

Proceedings of the Logic Programming, 1996

Security Threats and Security Policies for Networked Multimedia Information Systems in Medicine.

[BibT_eX]

Proceedings of the Medizinische Informatik, Biometrie und Epidemiologie, 1996

1995

Komplexe lernende Systeme: der mobile Roboter RHINO.

[BibT_eX]

Joachim M. Buhmann

Sebastian Thrun

Künstliche Intell., 1995

Models for photogrammetric building reconstruction.

[BibT_eX]

[DOI]

Comput. Graph., 1995

The Mobile Robot RHINO.

[BibT_eX]

[DOI]

AI Mag., 1995

Logic Program Modules for Interoperable Information Systems.

[BibT_eX]

Thomas Lemke

Mechthild Rohen

Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1994

Stellungnahme der Arbeitsgemeinschaft der deutschen KI-Intitute (AKI) zur KI-Evaluierungsstudie von Arthur D. Little.

[BibT_eX]

Franz Josef Radermacher

Bernd Radig

Künstliche Intell., 1994

First Experiences with GEOSTORE, an Information System for Geologically Defined Geometries.

[BibT_eX]

[DOI]

Thomas Bode

Martin Breunig

Proceedings of the IGIS '94: Geographic Information Systems, International Workshop on Advanced Information Systems, Monte Verita, Ascona, Switzerland, February 28, 1994

From AI Technology Research to Applications.

[BibT_eX]

Sebastian Thrun

Proceedings of the Linkage and Developing Countries, Information Processing '94, Volume 3, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Views in Object-Oriented Databases (Invited Paper).

[BibT_eX]

Oleg T. Balovnev

Wolfgang Reddig

Proceedings of the First International Workshop on Advances in Databases and Information Systems, Moscow, Russia, May 23, 1994

Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung

[BibT_eX]

Ulrike Griefahn

Ralf Hinze

Vieweg, ISBN: 3-528-04700-3, 1994

1993

Reconstructing the Collisions of Elementary Particles: An Activity of AI-Application in North-Rhine Westphalia.

[BibT_eX]

[DOI]

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

1992

OMS - Ein erweiterbares Objektmanagementsystem.

[BibT_eX]

Thomas Bode

Jürgen Freitag

Proceedings of the Objektbanken für Experten, 1992

Leitidee und Ziel der Tagung.

[BibT_eX]

Proceedings of the Künstliche Intelligenz - Leitvorstellungen und Verantwortbarkeit, Band 2: Tagungsbericht - VDI-Symposium "Künstliche Intelligenz, 1992

Intelligent Databases and Interoperability.

[BibT_eX]

[DOI]

Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1992

DELPHI-EXPERT: An Expert System for Error Diagnosis in High Energy Physics Detectors.

[BibT_eX]

[DOI]

Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1992

Die Rolle der mathematischen Logik in der Künstlichen Intelligenz.

[BibT_eX]

Elmar Eder

Ralf Hinze

Proceedings of the Künstliche Intelligenz, 1992

1991

Künstliche Intelligenz - Perspektiven einer wissenschaftlichen Disziplin und Realisierungsmöglichkeiten.

[BibT_eX]

Franz Josef Radermacher

Inform. Spektrum, 1991

A Management System for Distributed Knowledge Base Applications.

[BibT_eX]

[DOI]

Günter Kniesel

Mechthild Rohen

Annegret Baumewerd-Ahlmann

Proceedings of the Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 1991

An Information System for the Mining Industry.

[BibT_eX]

Proceedings of the Proceedings of the International Conference on Database and Expert Systems Applications, 1991

Axioms for Concurrent Processes.

[BibT_eX]

[DOI]

Proceedings of the New Results and New Trends in Computer Science, 1991

Expertensysteme für die Planung der Produktion

[BibT_eX]

Verlag TÜV Rheinland, ISBN: 3-88585-974-2, 1991

Wissensbasierte Textverarbeitung: Schriftsatz und Typographie - Möglichkeiten einer intelligenteren Textverarbeitung

[BibT_eX]

Frank Oemig

Gerhard Heyer

Deutscher Universitätsverlag, ISBN: 3-8244-2020-1, 1991

1990

Das Verbundprojekt "Veränderungen der Wissensproduktion und -verteilung durch Expertensysteme".

[BibT_eX]

Thomas Hermann

Künstliche Intell., 1990

Coupling the Complex-Relational Data Base CoReDB with the Object Management System OMS.

[BibT_eX]

Proceedings of the International Conference on Database and Expert Systems Applications, 1990

1989

Entwurf einer Expertensystemshell für die Fehlerdiagnose in Detektoren des DELPHI-Experiments.

[BibT_eX]

Karl-Heinz Becks

Andreas Hemker

Künstliche Intell., 1989

Wissensbasierte Softwaretechnik in Nordrhein-Westfalen.

[BibT_eX]

[DOI]

Proceedings of the Wissensbasierte Systeme, 1989

1988

KONDOR - Ein wissensbasiertes Unterstützungssystem zur individuellen Optimierung von Online-Suchstrategien.

[BibT_eX]

Veronika Oechtering

Rainer Heege

Nachrichten Dok., 1988

1984

On programming VLSI concurrent array processors.

[BibT_eX]

[DOI]

Sun-Yuan Kung

Integr., 1984

1983

AIM - An Integrity Monitor for the Database System INGRES.

[BibT_eX]

[DOI]

G. Doman

Proceedings of the 9th International Conference on Very Large Data Bases, October 31, 1983

Applicative State Transition Systems in LISP-Like Notation.

[BibT_eX]

[DOI]

Proceedings of the GI - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings, 1983

1979

Arbitration and Queuing Under Limited Shared Storage Requirements (Preliminary Report).

[BibT_eX]

[DOI]

Proceedings of the Automata, 1979

1978

Formal Modeling of Virtual Machines.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1978

Data Spaces with Indirect Addressing.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1978

Functional Behavior in Data Spaces.

[BibT_eX]

[DOI]

Acta Informatica, 1978

Orthogonality of Information Structures.

[BibT_eX]

[DOI]

Acta Informatica, 1978

Mutual Exclusion of N Processors Using an O(N)-Valued Message Variable (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Automata, 1978

1977

On the Formal Definiton of Dependencies between the Control and Information Structure of a Data Space.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1977

Observations about Bounded Languages and Developmental Systems.

[BibT_eX]

[DOI]

Meera Blattner

Math. Syst. Theory, 1977

The Structure of Context-Free Grammatical Families.

[BibT_eX]

[DOI]

Seymour Ginsburg

Edwin H. Spanier

J. Comput. Syst. Sci., 1977

1976

The Semantical Definition of Programming Languages in Terms of Their Data Spaces.

[BibT_eX]

[DOI]

Proceedings of the Programmiersprachen, 1976

On the Relationship between a Procedure and its Data.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975

Context-Free Grammar Forms.

[BibT_eX]

[DOI]

Seymour Ginsburg

J. Comput. Syst. Sci., 1975

1974

On the Complexity of Regulated Context-Free Rewriting

[BibT_eX]

[DOI]

K. Weiss

Inf. Control., May, 1974

On Vector Languages.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1974

Über eine explizite Darstellung von Listenstrukturen.

[BibT_eX]

[DOI]

Computing, 1974

Characterization of Context-Free Grammatical Families

[BibT_eX]

[DOI]

Seymour Ginsburg

Proceedings of the 15th Annual Symposium on Switching and Automata Theory, 1974

Kleeme-Algebren Formaler Ausdrücke

[BibT_eX]

Annales Academiae Scientiarum Fennecae, Series A 567, Suomalainen Tiedeakatemia, Helsinki, 1974

1973

Nonsequential Languages

[BibT_eX]

[DOI]

Inf. Control., September, 1973

On Matrix Languages

[BibT_eX]

[DOI]

Inf. Control., August, 1973

Some further remarks on the index of contex-free languages.

[BibT_eX]

[DOI]

K. Weiss

Kybernetika, 1973

A Note on Leftmost Restricted Random Context Grammars.

[BibT_eX]

[DOI]

Hermann A. Maurer

Inf. Process. Lett., 1973

Normal Forms for Context-Sensitive Grammars.

[BibT_eX]

[DOI]

Acta Informatica, 1973

Zur Komplexität gesteuerter kontextfreier Ersetzungen.

[BibT_eX]

[DOI]