4074 search results - page 78 / 815 » Abstract Graph Transformation |
CAIP
2009
Springer
15 years 1 months ago
2009
Springer
The medial axis being an homotopic transformation, the skeleton of a 2D shape corresponds to a planar graph having one face for each hole of the shape and one node for each junctio...
ISCAS
2007
IEEE
2007
IEEE
Analysis of Second-Order Modes of Linear Continuous-Time Systems under Positive-Real Transformations
15 years 4 months ago
Abstract— This paper discusses the behavior of the secondorder modes of linear continuous-time systems under variable transformations with positive-real functions. We first disc...
VL
2005
IEEE
15 years 3 months ago
2005
IEEE
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
SMI
2010
IEEE
14 years 7 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
114
click to vote
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...