A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Filters
Symbolic Model Generation for Graph Properties
[chapter]
2017
Lecture Notes in Computer Science
We show that the tableau-based reasoning method for graph properties as introduced by Lambers and Orejas paves the way for a symbolic model generation algorithm for graph properties. ...
Our parallelizable algorithm gradually generates a finite set of so-called symbolic models, where each symbolic model describes a set of finite graphs (i.e., finite models) satisfying the graph property ...
Symbolic model generation algorithm A We briefly describe the two steps of the algorithm A, which generates for a graph property p a set of symbolic models A(p) = S. ...
doi:10.1007/978-3-662-54494-5_13
fatcat:sykwi2b3ifcjzcpwgnpfvw2v3u
Automated reasoning for attributed graph properties
2018
International Journal on Software Tools for Technology Transfer (STTT)
Secondly, we extend our refutationally complete tableau based reasoning method as well as our symbolic model generation approach for graph properties to attributed graph properties. ...
Finally, our automated reasoning approach for attributed graph properties is implemented in the tool AUTOGRAPH integrating in particular the SMT solver Z3 for the attribute part of the properties. ...
While the set of symbolic models generated by one of these graph properties may be ambiguous, the sets generated for the different sets of symbolic models S are nonambiguous. ...
doi:10.1007/s10009-018-0496-3
fatcat:r5lmf2d755fcdmb75cagw2l7yq
Embodied-Symbolic Contrastive Graph Self-Supervised Learning for Molecular Graphs
[article]
2022
arXiv
pre-print
We use the Chemical KG to enhance molecular graphs with symbolic (semantic) knowledge and generate their augmented molecular graphs. ...
Dual embodied-symbolic concept representations are the foundation for deep learning and symbolic AI integration. ...
Acknowledgement: Thanks to my wife Hedy (郑期芳) for her support.
References ...
arXiv:2205.06783v1
fatcat:ef5npq47p5aaxhxr5v6zx7dcui
Introduction to generalized symbolic trajectory evaluation
2003
IEEE Transactions on Very Large Scale Integration (vlsi) Systems
Hu and the reviewers for reading the paper and providing many valuable suggestions. ...
In Section III, we propose assertion graphs as a generalization of STE assertions and show how to generalize the STE model checking algorithm to verify an assertion graph against a circuit model. ...
In this paper, we present a generalized STE (GSTE) that extends STE style model checking to properties over infinite time intervals. ...
doi:10.1109/tvlsi.2003.812320
fatcat:wsx4z7cmyzgxpjmgwjaruniejy
Object Oriented and Rule-based Design of Visual Languages using Tiger
2007
Electronic Communications of the EASST
generated editor plug-in. ...
In this paper we present the state-of-the-art of the TIGER environment for the generation of visual editor plug-ins in Eclipse, with the focus on its Designer component, a visual environment for object ...
the properties of the associated symbol. ...
doi:10.14279/tuj.eceasst.1.86
dblp:journals/eceasst/ErmelETW06
fatcat:ybyxlxecxjetfkfw5huw34jyce
Structural Inductive Biases in Emergent Communication
[article]
2021
arXiv
pre-print
We empirically show that agents parametrized by graph neural networks develop a more compositional language compared to bag-of-words and sequence models, which allows them to systematically generalize ...
We investigate the impact of representation learning in artificial agents by developing graph referential games. ...
We see that in the messages generated by a Graph2Seq model varying one input property (e.g. replacing C6 with C5) changes only one symbol in the message (the speaker replaces the word 1 with 2 in the utterance ...
arXiv:2002.01335v4
fatcat:qhsg5vssnvcvfmx46xlcb5iale
Generating Eclipse Editor Plug-Ins Using Tiger
[chapter]
2008
Lecture Notes in Computer Science
A VL specification serves as basis to generate a visual editor for VL diagrams as Eclipse plug-in. ...
We present Tiger, a visual environment to design visual language (VL) specifications based on meta models, graph grammars and layout definitions. ...
is used to define the layout for a symbol type, and a properties view 3 allows to change values for graphical layout properties of the selected ellipse 584 E. ...
doi:10.1007/978-3-540-89020-1_43
fatcat:flzzx4fu3zcrfj453kiy3dpk5u
Broadcasting on recursively decomposable Cayley graphs
1994
Discrete Applied Mathematics
We present here a near-optimal broadcasting algorithm for a family of Cayley graphs, the pancake graphs. ...
We also show that this algorithm can be applied to a wider class of recursively decomposable Cayley graphs. 0166-218X/94/$07.00 0 1996Elsevier Science B.V. ...
3 2 and let 9 be a Cayley graph on n symbols with property RD. ...
doi:10.1016/0166-218x(94)90183-x
fatcat:3snvulx2prgble4d5am3t5hy5m
Differencegraph - A ProM Plugin for Calculating and Visualizing Differences between Processes
2015
International Conference on Business Process Management
For this purpose a so-called dierence graph between two process models and their instance trac is calculated and visualized. ...
This generated dierence graph supports decision making in various business cases such as nding deviations between processes. ...
Furthermore, the visual properties for visualizing the dierence graph can be selected (these properties can also be changed later within the visualization). ...
dblp:conf/bpm/GallWKR15
fatcat:voavbyggdndpxjwdqt7hf4lnf4
A symbolic reachability graph for coloured petri nets
1997
Theoretical Computer Science
We present a reduced reachability graph called symbolic reachability graph that enjoys the following properties: (1) it can be constructed directly by an efficient algorithm without considering the actual ...
The construction procedure for the symbolic reachability graph is completely effective in the case of a syntactically restricted class of coloured nets called "wellformed nets", while for the unrestricted ...
Most of the interesting behavioural properties of a CPN model in general can be easily studied only by computing the reachability graph of the net, whose size depends on the cardinalities of the colour ...
doi:10.1016/s0304-3975(96)00010-2
fatcat:mo5kliiw2fcotldjcpe6wcaybe
Efficient generation of monitor circuits for GSTE assertion graphs
2003
ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)
Generalized symbolic trajectory evaluation (GSTE) is a powerful, new method for formal verification that combines the industriallyproven scalability and capacity of classical symbolic trajectory evaluation ...
with the expressive power of temporal-logic model checking. ...
GSTE extends classical symbolic trajectory evaluation to handle a full range of temporal properties (all ω-regular properties), giving it comparable expressive power to more established model-checking ...
doi:10.1109/iccad.2003.159685
fatcat:rlgjswtqabcf5eisdmppofvuda
Towards Graph Representation Learning in Emergent Communication
[article]
2020
arXiv
pre-print
Motivated by an image-based referential game, we propose a graph referential game with varying degrees of complexity, and we provide strong baseline models that exhibit desirable properties in terms of ...
Recent findings in neuroscience suggest that the human brain represents information in a geometric structure (for instance, through conceptual spaces). ...
Figure 2 (Left) shows that the models achieve the accuracy of 90% for 2 distractors with less than 25 symbols. ...
arXiv:2001.09063v2
fatcat:nxalwl5eefblrflps5uv47lmoi
Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing
[article]
2017
arXiv
pre-print
The system components are specified in terms of Concurrent State Machines (CSM) and the verification technique used is the temporal model checking in the COSMA environment. ...
The case study analyzed in the report involves the behavioral specification and verification of a three-stage pipeline consisting of mutually concurrent modules which also compete for a shared resource ...
The exhaustive search in the system graph for properties specified as the design requirements is just what the model checking is about. ...
arXiv:1705.04728v1
fatcat:xy4zeb2bqjem3evjpy2jaq6hce
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag
[chapter]
2011
Lecture Notes in Computer Science
Its goal is first to be a proof of concept for experimenting the quotient graph techniques together with hierarchical set decision diagrams. ...
The use of high-level nets, such as colored Petri nets, is very convenient for modeling complex systems in order to have a compact, readable and structured specification. ...
Tool Architecture So far, Crocodile is a "symbolic/symbolic" state space generator for SNB able to compute reachability properties. ...
doi:10.1007/978-3-642-21834-7_20
fatcat:yocz7ocwhzfx3hfdoa6bcvbqbq
Generation of visual editors as eclipse plug-ins
2005
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05
More precisely, we present an Eclipse plug-in generating Java code for visual modeling plug-ins which can be directly executed in the Eclipse Runtime-Workbench. ...
In this contribution we present a general approach for defining visual languages and for generating language-specific tool environments. ...
In this editor, a "diagram" can be edited by defining instances for the symbols and values for their properties, in order to test the underlying generated model code, but is not layouted visually. ...
doi:10.1145/1101908.1101930
dblp:conf/kbse/EhrigEHT05
fatcat:iftzm32tlfh25bon7cuh5scp6i
« Previous
Showing results 1 — 15 out of 300,425 results