Results 41 to 50 of about 614,117 (293)
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 Graph Rewriting Visual Language for Database Programming [PDF]
, 1997 Textual database programming languages are computationally complete, but have the disadvantage of giving the user a non-intuitive view of the database information that is being manipulated.
Rodgers, Peter +3 more
core +1 more source
Graph Grammar Induction as a Parser-Controlled Heuristic Search Process [PDF]
, 2012 A graph grammar is a generative description of a graph language (a possibly infinite set of graphs). In this paper, we present a novel algorithm for inducing a graph grammar from a given set of 'positive' and 'negative' graphs.
Fürst, Luka +5 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
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
International Journal of Computer Mathematics, 2003 The notations of (1) KBO: Knowledge Based Object, (2) FTD: Formally Technology Dependent, (3) WW KBO: Window Womb KBO, (4) PL KBO: Programming Language KBO, (5) APM KBO: Abstract Processing Machine KBO, and (6) AIPM KBO: Abstract Information Processing Mechanism KBO, were studied in U¨nlu¨ [1-3]. Let the meaning of an arbitrarily chosen X :=\langle X^o,
openaire +4 more sources
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 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
Procedural Content Graphs for Urban Modeling
International Journal of Computer Games Technology, 2015 Massive procedural content creation, for example, for virtual urban environments, is a difficult, yet important challenge. While shape grammars are a popular example of effectiveness in architectural modeling, they have clear limitations regarding ...
Pedro Brandão Silva +3 more
doaj +1 more source
ITM Web of Conferences, 2017 Analysis and synthesis of mechanisms is one of the fundamental tasks of engineering. Mechanisms can suffer from errors due to versatile reasons. Graph-based methods of analysis and synthesis of planetary gears constitute an alternative method for ...
Deptuła Adam +2 more
doaj +1 more source