Sciweavers

4074 search results - page 78 / 815
» Abstract Graph Transformation
Sort
View
CAIP
2009
Springer
210views Image Analysis» more  CAIP 2009»
15 years 5 months ago
Shape Classification Using a Flexible Graph Kernel
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...
François-Xavier Dupé, Luc Brun
ISCAS
2007
IEEE
128views Hardware» more  ISCAS 2007»
15 years 8 months ago
Analysis of Second-Order Modes of Linear Continuous-Time Systems under Positive-Real Transformations
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...
Shunsuke Koshita, Yousuke Mizukami, Taketo Konno, ...
VL
2005
IEEE
123views Visual Languages» more  VL 2005»
15 years 7 months ago
A Visually-Specified Code Generator for Simulink/Stateflow
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 ...
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizh...
SMI
2010
IEEE
165views Image Analysis» more  SMI 2010»
14 years 11 months ago
Designing a Topological Modeler Kernel: A Rule-Based Approach
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...
Thomas Bellet, Mathieu Poudret, Agnès Arnou...
LICS
2002
IEEE
15 years 6 months ago
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
Sophie Laplante, Richard Lassaigne, Fréd&ea...