Results 41 to 50 of about 2,840 (305)
Designing Graph Drawings by Layout Graph Grammars [PDF]
, 1995 Layout graph grammars are a grammatical or rule-based method for the construction of graphs and of their drawings. As such they are representatives of the so-called declarative approach. A layout graph grammar consists of an underlying context-free graph
Brandenburg, Franz J. +1 more
core +1 more source
Nested Term Graphs (Work In Progress) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We report on work in progress on 'nested term graphs' for formalizing higher-order terms (e.g. finite or infinite lambda-terms), including those expressing recursion (e.g. terms in the lambda-calculus with letrec).
Clemens Grabmayer, Vincent van Oostrom
doaj +1 more source
A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 After 20 years of Triple Graph Grammars (TGGs) and numerous actively maintained implementations, there is now a need for challenging examples and success stories to show that TGGs can be used for real-world bidirectional model transformations.
Anthony Anjorin, Marius Lauder
doaj +1 more source
A Multi-Agent System in Education Facility Design
Applied Sciences, 2023 This paper deals with a multi-agent system which supports the designer in solving complex design tasks. The behaviour of design agents is modelled by sets of grammar rules.
Barbara Strug, Grażyna Ślusarczyk
doaj +1 more source
TOWARDS A GENERIC MAPPING FOR IFC-CITYGML DATA INTEGRATION [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2020 Much work has been carried out on the topic of BIM-GIS integration. As a technical challenge in particular, research and development tackle the standard data formats of the two areas and aim for the conversion between, linking of or overarching querying ...
H. Tauscher
doaj +1 more source
Event Structure Semantics for Dynamic Graph Grammars [PDF]
, 2007 Dynamic graph grammars (DGGs) are a reflexive extension of Graph Grammars that have been introduced to represent mobile reflexive systems and calculi at a convenient level of abstraction.
Melgratti, Hernan +4 more
core +2 more sources
Context-Sensitive Languages, Rational Graphs and Determinism [PDF]
Logical Methods in Computer Science, 2006 We investigate families of infinite automata for context-sensitive languages. An infinite automaton is an infinite labeled graph with two sets of initial and final vertices.
Arnaud Carayol, Antoine Meyer
doaj +1 more source
The Category of Typed Graph Grammars and its Adjunctions with Categories of Derivations [PDF]
, 1996 Motivated by the work which has been done for Petri-nets, the paper presents a categorical approach to graph grammars “in the large”. In the large means, that we define categories of graph grammars, graph transition systems, and graph derivation systems ...
Padberg J. +4 more
core +1 more source
Graph Image Languages In Semantic Description Of Spatial Coronary Arteries Structure
Computer Science, 2005 In this paper has been proposed developing the new syntactic – semantic meaning descriptionof spatial coronary arteries structure. Thanks such description will be possible to makeessentially steered semantic interpretation of section coronary arteries ...
Marek Ogiela, Mirosław Trzupek
doaj +1 more source
Towards the specification and verification of modal properties for structured systems [PDF]
, 2012 System specification formalisms should come with suitable property specification languages and effective verification tools. We sketch a framework for the verification of quantified temporal properties of systems with dynamically evolving structure.
Andrea Vandin, Vandin, Andrea, Vandin A
core +1 more source