393 search results - page 24 / 79 » Defining Models - Meta Models versus Graph Grammars |
105
click to vote
AGTIVE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
FORMATS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
60
Voted
WSC
2001
14 years 11 months ago
2001
Simulations often execute too slowly to be effective tools for decision-making. In particular, this problem has been found in semiconductor manufacturing where conventional job-dr...
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present a novel active contour model, in which the traditional gradient descent optimization is replaced by graph cut optimization. The basic idea is to first de...
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...