Volker Haarslev

Proceedings of the 46th International Conference on Parallel Processing Workshops, 2017

Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions.

[BibT_eX]

[DOI]

Jelena Vlasenko

Brigitte Jaumard

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning.

[BibT_eX]

[DOI]

Razieh Mehri

Nikoo Zolfaghar Karahroodi

Proceedings of the 30th International Workshop on Description Logics, 2017

A Consequence-based Algebraic Calculus for SHOQ.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

Abductive Conjunctive Query Answering w.r.t. Ontologies.

[BibT_eX]

[DOI]

Künstliche Intell., 2016

A Saturation-based Algebraic Reasoner for ELQ.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

2015

Managing changes in distributed biomedical ontologies using hierarchical distributed graph transformation.

[BibT_eX]

[DOI]

Int. J. Data Min. Bioinform., 2015

2013

Intelligent Tableau Algorithm for DL Reasoning.

[BibT_eX]

[DOI]

Ming Zuo

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

Parallel OWL Reasoning: Merge Classification.

[BibT_eX]

[DOI]

Kejia Wu

Proceedings of the Semantic Technology - Third Joint International Conference, 2013

Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning.

[BibT_eX]

[DOI]

Kejia Wu

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Speed-forming your ontology or how to improve reasoning performance for your OWL ontology.

[BibT_eX]

[DOI]

Proceedings of the 4th Canadian Semantic Web Symposium part of the Semantic Trilogy 2013, 2013

2012

The RacerPro knowledge representation and reasoning system.

[BibT_eX]

[DOI]

Semantic Web, 2012

An OWL 2-Based Knowledge Platform Combining the Social and Semantic Webs for an Ambient Childhood Obesity Prevention System.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Ambient Systems, 2012

A Parallel Reasoner for the Description Logic ALC.

[BibT_eX]

[DOI]

Kejia Wu

Proceedings of the 2012 International Workshop on Description Logics, 2012

Algebraic Reasoning for SHIQ.

[BibT_eX]

[DOI]

Laleh Roosta Pour

Proceedings of the 2012 International Workshop on Description Logics, 2012

Concurrent Classification of OWL Ontologies - An Empirical Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

When Mommy Blogs Are Semantically Tagged.

[BibT_eX]

[DOI]

Jinan El-Hachem

Proceedings of the Semantic Technology, Second Joint International Conference, 2012

2011

An abstract representation model for evolutionary analysis of multi-agent interactions.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

Automated Reasoning in ALCQ\mathcal{ALCQ} via SMT.

[BibT_eX]

[DOI]

Roberto Sebastiani

Michele Vescovi

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

An enhanced graph-oriented approach for change management in distributed biomedical ontologies and linked data.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2011

2010

Algebraic tableau reasoning for the description logic SHOQ.

[BibT_eX]

[DOI]

Jocelyne Faddoul

J. Appl. Log., 2010

Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic H.

[BibT_eX]

[DOI]

Nasim Farsiniamarj

AI Commun., 2010

Strategic Health Information Management and Forecast: The Birdwatching Approach.

[BibT_eX]

[DOI]

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2010

Parallel TBox Classification in Description Logics - First Experimental Results.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results.

[BibT_eX]

[DOI]

Jocelyne Faddoul

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

TBox Classification in Parallel: Design and First Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009

Bio-medical Ontologies Maintenance and Change Management.

[BibT_eX]

[DOI]

Proceedings of the Biomedical Data and Applications, 2009

Tableau-Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Handbook on Ontologies, 2009

An empirical comparison of ontology matching techniques.

[BibT_eX]

[DOI]

Ahmed Alasoud

J. Inf. Sci., 2009

A formal framework for description logics with uncertainty.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2009

Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications

[BibT_eX]

[DOI]

CoRR, 2009

Optimizing Reasoning with Qualified Number Restrictions in SHQ.

[BibT_eX]

[DOI]

Nasim Farsinia

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Algebraic Tableau Algorithm for ALCOQ.

[BibT_eX]

[DOI]

Jocelyne Faddoul

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

On the Scalability of Description Logic Instance Retrieval.

[BibT_eX]

[DOI]

J. Autom. Reason., 2008

Ontological approach for the semantic recovery of traceability links between software artefacts.

[BibT_eX]

[DOI]

IET Softw., 2008

Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Reasoning for the Semantic Web I, 2008

DLRule: A Rule Editor plug-in for Protege.

[BibT_eX]

[DOI]

Francis Gasse

Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Incremental Biomedical Ontology Change Management through Learning Agents.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2008

Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

An Effective Ontology Matching Technique.

[BibT_eX]

[DOI]

Ahmed Alasoud

Proceedings of the Foundations of Intelligent Systems, 17th International Symposium, 2008

An ontology-empowered model for annotating protein-protein interaction data: a case study for budding yeast.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2008

A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ].

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Planning of Axiom Absorption.

[BibT_eX]

[DOI]

Jiewen Wu

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

The Revival of Structural Subsumption in Tableau-based Reasoners.

[BibT_eX]

[DOI]

Sebastian Wandelt

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Rewriting Rules into SROIQ Axioms.

[BibT_eX]

[DOI]

Francis Gasse

Ulrike Sattler

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

A Hybrid Tableau Algorithm for ALCQ.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Towards Parallel Classification of TBoxes.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference versus cladistics.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Bioinformatics and Bioengineering, 2008

2007

Using Patterns to Explain Inferences in.

[BibT_eX]

[DOI]

Comput. Intell., 2007

Resolving Quantifier and Number Restriction to Question OWL Ontologies.

[BibT_eX]

[DOI]

Shamima Mithun

Leila Kosseim

Proceedings of the Third International Conference on Semantics, 2007

Towards a framework for requirement change management in healthcare software applications.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Measuring Inconsistencies in Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2007

Optimizing Tableau Reasoning in ALC Extended with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

OntoVQL: A Graphical Query Language for OWL Ontologies.

[BibT_eX]

[DOI]

Amineh Fadhil

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

A New Mapping from ALCI to ALC.

[BibT_eX]

[DOI]

Jiewen Wu

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

An ExpTime Tableau Decision Procedure for ALCQI.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Managing Conceptual Revisions in a Temporal Fungal Taxonomy.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 2007

Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Medicine, 2007

2006

Semantic web infrastructure for fungal enzyme biotechnologists.

[BibT_eX]

[DOI]

Christopher J. O. Baker

J. Web Semant., 2006

Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Workshop on Web Site Evolution (WSE 2006), 2006

OntoKBEval: DL-based Evaluation of OWL Ontologies.

[BibT_eX]

[DOI]

Qing Lu

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

GLOO: A Graphical Query Language for OWL Ontologies.

[BibT_eX]

[DOI]

Amineh Fadhil

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

A Multi-level Matching Algorithm for Combining Similarity Measures in Ontology Integration.

[BibT_eX]

[DOI]

Ahmed Alasoud

Proceedings of the Ontologies-Based Databases and Information Systems, 2006

A Unified Ontology-Based Process Model for Software Maintenance and Comprehension.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2006

On the Scalability of Description Logic Instance Retrieval.

[BibT_eX]

[DOI]

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

Uncertainty Reasoning in Description Logics: A Generic Approach.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

High Performance Absorption Algorithms for Terminological Reasoning.

[BibT_eX]

[DOI]

Ming Zuo

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Tableau Caching for Description Logics with Inverse and Transitive Roles.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Completion Rules for Uncertainty Reasoning with the Description Logic ALC.

[BibT_eX]

[DOI]

Proceedings of the Canadian Semantic Web, 2006

Resolution Based Explanations for Reasoning in the Description Logic ALC.

[BibT_eX]

[DOI]

Proceedings of the Canadian Semantic Web, 2006

Ontoligent Interactive Query Tool.

[BibT_eX]

[DOI]

Christopher J. O. Baker

Xiao Su

Greg Butler

Proceedings of the Canadian Semantic Web, 2006

An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns.

[BibT_eX]

[DOI]

Yonggang Zhang

Juergen Rilling

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005

The FungalWeb Ontology: Semantic Web Challenges in Bioinformatics and Genomics.

[BibT_eX]

[DOI]

Christopher J. O. Baker

Greg Butler

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

A Generic Framework for Description Logics with Uncertainty.

[BibT_eX]

Proceedings of the International Semantic Web Conference, 2005

A Framework for Explaining Reasoning in Description Logics.

[BibT_eX]

Proceedings of the Explanation-Aware Computing, 2005

Description Logic Inference Technology: Lessions Learned in the Trenches.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Towards Efficient Reasoning for Description Logics with Inverse Roles.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

A Resolution Based Framework to Explain Reasoning in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

LAS: Extending Racer by a Large ABox Store.

[BibT_eX]

[DOI]

CuiMing Chen

JiaoYue Wang

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Fire - Extending Racer by an Engine for SWRL Rules.

[BibT_eX]

[DOI]

Kruthi Bhoopalam

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

2004

ONTOXPL - Intelligent Exploration of OWL Ontologies.

[BibT_eX]

[DOI]

Ying Lu

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 2004

Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Extended Query Facilities for Racer and an Application to Software-Engineering Problems.

[BibT_eX]

[DOI]

Ragnhild Van Der Straeten

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

OntoXpl: Exploration of OWL Ontologies.

[BibT_eX]

[DOI]

Ying Lu

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003

Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems.

[BibT_eX]

Künstliche Intell., 2003

Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning

[BibT_eX]

[DOI]

Amar Isli

CoRR, 2003

Description Logic Systems with Concrete Domains: Applications for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003

Racer: A Core Inference Engine for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the EON2003, 2003

Description Logic Systems.

[BibT_eX]

Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents.

[BibT_eX]

[DOI]

Ronald Cornet

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Incremental Query Answering for Implementing Document Retrieval Services.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002

Diagrammatic Reasoning.

[BibT_eX]

Mary Hegarty

N. Hari Narayanan

Künstliche Intell., 2002

Adding ternary complex roles to ALCRP(D).

[BibT_eX]

[DOI]

Alissa Kaplunova

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Practical Reasoning in RACER with a Concrete Domain for Linear Inequations.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Optimization Strategies for Instance Retrieval.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Visual Spatial Query Languages: A Semantics Using Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Reasoning, 2002

2001

High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions.

[BibT_eX]

[DOI]

Martina Timmann

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Optimizing Reasoning in Description Logics with Qualified Number Restrictions.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Description of the RACER System and its Applications.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

RACER System Description.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Consistency Testing: The RACE Experience.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles.

[BibT_eX]

Proceedings of the KR 2000, 2000

ALCRA - ALC with Role Axioms.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Adapting Optimization Techniques to Description Logics with Concrete Domains.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Optimizing TBox and ABox Reasoning with Pseudo Models.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

High Performance Reasoning with Very Large Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

1999

A Logic-based Formalism for Reasoning about Visual Representations.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1999

A Description Logic with Concrete Domains and a Role-forming Predicate Operator.

[BibT_eX]

[DOI]

Carsten Lutz

J. Log. Comput., 1999

On Specifying Semantics of Visual Spatial Query Languages.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

On Terminological Default Reasoning about Spatial Information: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

RACE System Description.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

1998

VISCO: Bringing Visual Spatial Querying to Reality.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

Foundations of Spatioterminological Reasoning with Description Logics.

[BibT_eX]

Carsten Lutz

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Implementing an ALCRP(D) ABox Reasoner - Progress Report.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

HAM-ALC.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

1997

Querying GIS with Animated Spatial Sketches.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Workshop on Description Logics, 1997

1996

GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Using Description Logic for Reasoning about Diagrammatical Notations.

[BibT_eX]

Proceedings of the 1996 International Workshop on Description Logics, 1996

1995

Formal Semantics of Visual Languages using Spatial Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

Visualization of Strand(tm) Processes.

[BibT_eX]

[DOI]

Dietrich Fahrenholtz

Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

1994

Combining Spatial and Terminological Reasoning.

[BibT_eX]

[DOI]

Carsten Schröder

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

1992

Visualization and graphical layout in object-oriented systems.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1992

1991

Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung.

[BibT_eX]

[DOI]

Kenneth M. Kahn

Vijay A. Saraswat

Proceedings of the Telekommunikation und multimediale Anwendungen der Informatik, 1991

1990

A Declarative Formalism for Specifying Graphical Layout.

[BibT_eX]

[DOI]

Proceedings of the 1990 IEEE Workshop on Visual Languages, 1990

A Framework for Visualizing Object-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Conference on Object-Oriented Programming Systems, 1990

Layoutspezifikationen für komplexe graphische Objekte.

[BibT_eX]

[DOI]

Proceedings of the Graphik und KI, 1990

1989

Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme.

[BibT_eX]

[DOI]

Proceedings of the Software-Ergonomie '89, 1989

1988

Visualization of experimental systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Workshop on Visual Languages, 1988

Visualisierung und Animation in der experimentellen Bildauswertung.

[BibT_eX]

[DOI]

Proceedings of the Visualisierungstechniken und Algorithmen, 1988

Eine graphische Umgebung zur experimentellen Bildverarbeitung.

[BibT_eX]

[DOI]

Proceedings of the Mustererkennung 1988, 1988

1987

Eine ergonomische Benutzerschnittstelle für den Anwendungsbereich der Bildfolgenauswertung.

[BibT_eX]

[DOI]

Proceedings of the Software-Ergonomie '87, 1987

1986

Interaktion in Systemen zur Bildfolgenauswertung, basierend auf einem objektorientierten Ansatz.

[BibT_eX]

[DOI]

Leonie S. Dreschler-Fischer

PhD thesis, 1986

1985

Konzeption für ein Bildverarbeitungssystem zur Lösung des Korrespondenzproblems bei Stereo-Bildfolgen im Rahmen einer komfortablen ADA-Programmierumgebung.

[BibT_eX]

Robotersysteme, 1985

Konzeption einer neuen Ada-Programmierumgebung für die Bildfolgenauswertung.

[BibT_eX]

[DOI]

Helmut Faasch