Sciweavers

2775 search results - page 442 / 555
» Visualizing abstract events
Sort
View
ESA
2008
Springer
130views Algorithms» more  ESA 2008»
15 years 8 months ago
Linear Time Planarity Testing and Embedding of Strongly Connected Cyclic Level Graphs
Abstract. A level graph is a directed acyclic graph with a level assignment for each node. Such graphs play a prominent role in graph drawing. They express strict dependencies and ...
Christian Bachmaier, Wolfgang Brunner
FASE
2008
Springer
15 years 8 months ago
A Logic of Graph Constraints
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
AWPN
2008
232views Algorithms» more  AWPN 2008»
15 years 7 months ago
Synthesis of Petri Nets from Infinite Partial Languages with VipTool
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
Robin Bergenthum, Sebastian Mauser
BILDMED
2008
174views Algorithms» more  BILDMED 2008»
15 years 7 months ago
Detection of Focal Cortical Dysplasia Lesions in MRI Using Textural Features
Abstract. Focal cortical dysplasia (FCD) is a frequent cause of medically refractory partial epilepsy. The visual identification of FCD lesions on magnetic resonance images (MRI) i...
Christian Loyek, Friedrich G. Woermann, Tim W. Nat...
BILDMED
2008
15 years 7 months ago
Esophagus Segmentation by Spatially-Constrained Shape Interpolation
Abstract. The segmentation and visualization of the esophagus is helpful during planing and performing atrial ablation therapy to avoid esophageal injury. Only very few studies hav...
Andreas Fieselmann, Stefan Lautenschläger, Fr...