Search Sciweavers | Sciweavers

1550 search results - page 48 / 310

» Benchmarking for Graph Transformation

click to vote

CORR
2009
Springer

80views Education» more CORR 2009»

Resource-Bound Quantification for Graph Transformation

13 years 8 months ago

Download www.cs.le.ac.uk

Paolo Torrini, Reiko Heckel

claim paper

Read More »

click to vote

ECEASST
2010

146views Computer Vision» more ECEASST 2010»

Checking Graph-Transformation Systems for Confluence

13 years 8 months ago

Download www.cs.york.ac.uk

d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...

Detlef Plump

claim paper

Read More »

click to vote

ECEASST
2010

98views Computer Vision» more ECEASST 2010»

Stochastic Graph Transformation with Regions

13 years 8 months ago

Download www.cs.le.ac.uk

Paolo Torrini, Reiko Heckel, István R&aacut...

claim paper

Read More »

click to vote

ECEASST
2010

97views Computer Vision» more ECEASST 2010»

Test-driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling

13 years 8 months ago

Download www.cs.uni-paderborn.de

Gregor Engels, Christian Soltenborn

claim paper

Read More »

click to vote

INFORMATICALT
2000

160views more INFORMATICALT 2000»

An Algorithm for Transformation of Finite Automata to Regular Expressions

13 years 10 months ago

Download www.mii.lt

An original algorithm for transformation of finite automata to regular expressions is presented. This algorithm is based on effective graph algorithms and gives a transparent new p...

Larisa Stanevichene, Aleksei Vylitok

claim paper

Read More »

« Prev « First page 48 / 310 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers