Paulus, Dietrich, Priese, Lutz, Decker, Peter, Schmitt, Frank
Die bildbasierte automatische Bestimmung der Pose, d. h. der Position und Blickrichtung, einer Kamera in derWelt, ist eine relevante, aber immer noch unzureichend gelöste Aufgabe im Rechnersehen....
A Note on Nondeterministic Reversible Computations (2008)
Lutz Priese, Fachberichte Informatik
We show how reversible grammars can simulate any Turing machine. This result is applied in molecular computation. It turns out that splicing systems with only 3 test tubes and a set of reversible...
Herausgeber / Edited by: (2008)
Der Dekan, Prof Dr. Paulus, Lutz Priese
Die Arbeitsberichte aus dem Fachbereich Informatik dienen der Darstellung vorläufiger Ergebnisse, die in der Regel noch für spätere Veröffentlichungen überarbeitet werden. Die Autoren sind...
Some Examples of Semi-rational and Non-semi-rational DAG Languages. Extended Version (2008)
The class of semi-rational dag (d irected acyclic graph) languages can be equivalently characterized by labeled Petri nets with ε-transitions, by rather simple leave substituting tree grammars with...
Petri Net DAG Languages and Regular Tree Languages with Synchronization (2007)
A true-concurrency semantics is often given via pomsets. A pomset is an abstract directed acyclic graph that is in addition transitive: any grandson of a node is also a son of that node. We will drop...
A Note on Recognizable Sets of Unranked and Unordered Trees (2007)
Recognizable sets of unranked, unordered trees have been introduced in Courcelle [C89] in a Myhill-Nerode [N58] style of inverse homomorphisms of suitable finite magmas. This is equivalent of being...
Automatische See-Through Kalibrierung (2007)
In Enhanced Reality Umgebungen nimmt der Betrachter die Umgebung und zusätzliche, in eine halbdurchsichtige Datenbrille eingeblendete Informationen wahr. Das Kalibrierungsproblem der Datenbrille ist...
Finite Automata on Unranked and Unordered DAGs (2007)
We introduce linear expressions for unrestricted dags (directed acyclic graphs) and finite deterministic and nondeterministic automata operating on them. Those dag automata are a conservative...
BMBF-Verbundprojekt 3D-RETISEG (2007)
Priese, Lutz, Schmitt, Frank, Sturm, Patrick, Wang, Haojun
Ziel des Verbundprojektes 3D-RETISEG ist es, ein optimiertes echtzeitfähiges Soft- und Hardwarepaket zur 2D/3D-Segmentierung und Klassifizierung basierend auf hierarchischen Inselstrukturen, und zur...
Copyright Society Of, Lutz Priese, Frank Schmitt, Patrick Sturm, Haojun Wang, Ralf Matern, ...
The 2D segmentation method CSC (Color Structure Code) for color images has recently been generalized to 3D color or grey valued images. To apply this technique for an automated analysis of 3D MR...
Fast Projection Plane Classifier (2002)
Dirk Balthasar And, Dirk Balthasar, Lutz Priese
In this paper a new approach for classification is presented, the "Fast Projection Plane Classfier", abbreviated here to FPPC. The main idea of FPPC is very simple: A classification problem...
Real-Time Detection of Arbitrary Objects in Alternating Industrial Environments (2001)
Dirk Balthasar, Thomas Erdmann, Johannes Pellenz, Volker Rehrmann, Jörg Zeppen, Lutz Priese
Consider the following problem: How to detect objects of undetermined and unequal shape, size and color in front of an alternating but repeating background in real-time? In addition, the objects may...
Fast and Robust Segmentation of Natural Color Scenes (1998)
Volker Rehrmann And, Volker Rehrmann, Lutz Priese
This paper describes our entire color segmentation system, called CSC (Color Structure Code), in detail. In section 2 we introduce the hexagonal, hierarchical island structure on which our method is...
Disjunctive Sequences: An Overview (1997)
Cristian S. Calude, Cristian S. Calude, Lutz Priese, Ludwig Staiger, Ludwig Staiger
Following Jurgensen and Thierrin [21] we say that an infinite sequence is disjunctive if it contains any (finite) word, or, equivalently, if any word appears in the sequence infinitely many times....
Fast and Robust Segmentation of Natural Color Scenes (1997)
This paper describes our entire color segmentation system, called CSC (Color Structure Code), in detail. In section 2 we introduce the hexagonal, hierarchical island structure on which our method is...
Fast and Robust Segmentation of Natural Color Scenes (1997)
. We present a fast and robust system for color-based segmentation. The system is based on hierarchical region-growing on a special hexagonal topology. In contrast to common region-growing techniques...
Detektion von Purkinje-Reflexen in Infrarot-Videobildern (1997)
Rainer Schian, Jean-Cyriaque Barry, Uwe Pongs, Lutz Priese, Labor Bilderkennen, Medizinische Fakult At, ...
flexe vierter Ordnung - zu sehen. Letztere sind etwa 100 mal lichtschw acher als die der ersten Ordnung. Die PurkinjeReflexe kommen nur in der N ahe der Pupille vor. Daher ist es sinnvoll, die...
An Application of Compositional Petri Net Semantics (1996)
Lutz Priese, Lutz Priese, Harro Wimmel, Harro Wimmel
We use ideas from [NPS95] and [PW95] of compositional Petri net semantics to derive a new proof and new results for algebraic characterizations of Petri net languages. 1 Introduction This paper gives...
Algebraic Characterization of Petri Net Pomset Semantics (1996)
Harro Wimmel, Harro Wimmel, Lutz Priese, Lutz Priese
Sets of pomsets are frequently used as a true-concurrency, linear-time semantics of Petri nets. For a Petri net N , let P(N ), a set of pomsets, denote this pomset behaviour of N , and let P := fP(N)...
Characterizing behavioural congruences for Petri nets (1995)
Mogens Nielsen, Lutz Priese, Vladimiro Sassone
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising from four simple...
On Some Compositional Petri Net Semantics (1995)
Lutz Priese, Lutz Priese, Harro Wimmel, Harro Wimmel
This paper continues a research on universal contexts and Petri net semantics started in [NPS95]. We regard generalized, labelled Petri nets, N , where some transitions and places are distinguished...
Characterizing Behavioural Congruences for Petri Nets (1995)
Mogens Nielsen, Lutz Priese, Vladimiro Sassone
. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising from four simple notions of...
A Parallel System for Real-Time Traffic Sign Recognition (1995)
Volker Rehrmann, Raimund Lakmann, Lutz Priese
We present a system for the real-time recognition of traffic signs from a moving car on European highways. The traffic sign recognition system (TSR) was developed within the European PROMETHEUS...
A Parallel System for Real--Time Traffic Sign Recognition (1995)
Volker Rehrmann Raimund, Raimund Lakmann, Lutz Priese
We present a system for the real--time recognition of traffic signs from a moving car on European highways. The traffic sign recognition system (TSR) was developed within the European PROMETHEUS...
New Results on Traffic Sign Recognition (1994)
Lutz Priese, Jens Klieber, Raimund Lakmann, Volker Rehrmann, Rainer Schian
In cooperation with Daimler--Benz AG within the European PROMETHEUS project we are developing a real--time traffic sign recognition system. The system is installed in a test vehicle of Daimler--Benz...
A Fast Hybrid Color Segmentation Method (1993)
. We introduce a very general method of achieving stable and fast color segmentation. This method works on different hierarchical data structures and combines local bottom-up region growing...
Traffic Sign Recognition Based on Color Image Evaluation (1993)
Lutz Priese, Volker Rehrmann, Rainer Schian, Raimund Lakmann, Labor Bilderkennen
This paper originates from a cooperation of Daimler-Benz AG, the University of Paderborn, and our group, within the European PROMETHEUS project. Common aim is the development of a traffic sign...
A Fast Hybrid Color Segmentation Method (1993)
We introduce a new, very general method to achieve stable and very fast color segmentation. This method works on different hierarchical data structures and combines local bottom-up region growing...
Fairness, distances and degrees (1990)
Darondeau, Philippe, Nolte, Doris, Priese, Lutz, Yoccoz, Serge
We show the identity between sets of fair computations in recursive transition graphs, sets of cluster points of finite computations for II01 ultra-metrics refining the Baire metrics, and II03...
Fairness, distances and degrees (1990)
Darondeau, Philippe, Nolte, Doris, Priese, Lutz, Yoccoz, Serge
We show the identity between sets of fair computations in recursive transition graphs, sets of cluster points of finite computations for II01 ultra-metrics refining the Baire metrics, and II03...
Münster (Westfalen), Univ., Fachbereich Mathematik, Diss. 1974. (Nicht f. d. Austausch.).