A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Graph-Based Variability Modelling: Towards a Classification of Existing Formalisms
[chapter]
2019
Lecture Notes in Computer Science
Preserved Fulltext
In this paper, we aim to survey and compare existing graph-based variability representations. ...
Several formalisms have been proposed: some are textual, such as propositional logic or constraint programming, while others are based on annotated graph representations. ...
Towards a Classification of the Graph-Based Formalisms for Variability In this section, we first compare the studied formalisms through two points of view: the covered propositional logical expressions ...
doi:10.1007/978-3-030-23182-8_3
fatcat:3d7rdx345vfudoc4h34xtsfz34
Data Flow Analysis of UML Models by ALF
2014
International Journal of Trade, Economics and Finance
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In terms of executable UML, the models are based on action languages which internally consist of variables and specify data flow operation on these variables. ...
Therefore, DFA of action languages is essential to analyze UML models in term of data flow and use the information to verify formal correctness (expected behavior) of the system. ...
INTRODUCTION The model can formally describe a particular aspect of the system by following system's specification. ...
doi:10.7763/ijtef.2014.v5.333
fatcat:k3f6nshugzdyldyrsdafjs4qmu
GraphEBM: Molecular Graph Generation with Energy-Based Models
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2102.00546v1 fatcat:lfzaf4sirvgrtn4ujb5bas3gd4
In this work, we propose GraphEBM to generate molecular graphs using energy-based models. ...
We note that most existing approaches for molecular graph generation fail to guarantee the intrinsic property of permutation invariance, resulting in unexpected bias in generative models. ...
Niu et al. (2020) model graphs using a score-based generative model (Song & Ermon, 2019) , a method that is similar to EBMs. ...
arXiv:2102.00546v2
fatcat:ffcawrxvibcjtbvw6yvkkhoiii
Relational Models
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Relational models typically are based on probabilistic graphical models, e.g., Bayesian networks, Markov networks, or latent variable models. ...
Relational models have applications in social networks analysis, the modeling of knowledge graphs, bioinformatics, recommendation systems, natural language processing, medical decision support, and linked ...
It is also possible to extend the model towards continuous variables. So far we have considered an underlying probabilistic model and an observed world. ...
arXiv:1609.03145v1
fatcat:ytomwo4l5nfsrnpm2ens5iww6m
A cloud resource management model for the creation and orchestration of social communities
2015
Simulation modelling practice and theory
Preserved Fulltext
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.
The formal encoding of C2A validates its assumptions, enabling formal execution and analysis of context based interactions that are derived using C2A principles. ...
To support the argument, a chemistry inspired computation model, Chemistry for Context Awareness (C2A), is extended with Higher Order Chemical Language (HOCL) and High Level Petri-net Graph (HLPNG) formalisms ...
Formal C2A Encoding This section presents a formal encoding of the C2A model using -based HOCL and Petrinets. The process can be divided into two phases. ...
doi:10.1016/j.simpat.2014.05.003
fatcat:3zmnds33bzdwna2y6wkxyakrfe
Semantically Enhanced Models for Commonsense Knowledge Acquisition
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
The proposed models enhance in a knowledge graph embedding (KGE) framework for knowledge base completion. ...
Experimental results show the effectiveness of the new semantic models in commonsense reasoning. ...
By representing a knowledge base as a graph, a family of techniques referred to as knowledge graph embedding (KGE) convert knowledge graph entities and relations into kdimensional vectors and perform reasoning ...
arXiv:1809.04708v2
fatcat:mzvmg56c5bchtltayiwsgk3lki
CausaLM: Causal Model Explanation Through Counterfactual Language Models
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Our approach is based on fine-tuning of deep contextualized embedding models with auxiliary adversarial tasks derived from the causal graph of the problem. ...
A key problem of estimating the causal effect of a concept of interest on a given model is that this estimation requires the generation of counterfactual examples, which is challenging with existing generation ...
Put it formally, we compute AT E gt (O) with Equation 14 where f is the BERT-O based classification model. ...
arXiv:2005.13407v3
fatcat:5szskkyaoneldf2cl3fhcockgy
CausaLM: Causal Model Explanation Through Counterfactual Language Models
2021
Computational Linguistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Our approach is based on fine-tuning of deep contextualized embedding models with auxiliary adversarial tasks derived from the causal graph of the problem. ...
A key problem of estimating the causal effect of a concept of interest on a given model is that this estimation requires the generation of counterfactual examples, which is challenging with existing generation ...
Put it formally, we compute AT E gt (O) with Equation 12 where f is the BERT-O based classification model. ...
doi:10.1162/coli_a_00404
fatcat:ad35tegrwvgy7krytxpimxxbx4
On compositional modelling
2001
Knowledge engineering review (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Many solutions to AI problems require the task to be represented in one of a multitude of rigorous mathematical formalisms. ...
It presents a general framework for building and analysing compositional modellers. Based on this framework, a number of influential compositional modellers are examined and compared. ...
These variables are defined by relating them to variables that are already in the model (e.g. a new variable could be the derivative of an existing variable). ...
doi:10.1017/s0269888901000091
fatcat:6ih4ovajvfevpdwebnmxz5ys2e
Multi-Model Evolution through Model Repair
2021
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present a comprehensive feature model providing an overview of the current state of the art of model management. ...
At the same time, these models are subject to frequent changes, and as a result, maintaining their global consistency over time becomes an important issue in model management in general and Model-Driven ...
Acknowledgments We would like to thank all the anonymous reviewers for their helpful comments, which helped to improve the quality of this paper substantially. ...
doi:10.5381/jot.2021.20.1.a2
fatcat:u45ymv6chrdrlbitoiyayhx6ba
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development
2009
2009 33rd Annual IEEE Software Engineering Workshop
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
SPLACID is a semi-formal language conceived for the specification and synthesis of (advanced) transactional models from basic features, such as transaction types and (relaxed) ACID variants. ...
SPLACID is an improvement of the ACTA framework offering a well-structured and formal syntax. Neither ACTA nor SPLACID, however, benefit from a formal tool-supported semantics. ...
In this section, we provide a first step towards a complete formal semantics for SPLACID. ...
doi:10.1109/sew.2009.13
dblp:conf/sew/GallinaGK09
fatcat:n2ewrtz4izgmnouj55sqwcrj6e
Using Graph Transformation for Practical Model-Driven Software Engineering
[chapter]
2005
Model-Driven Software Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Several formalisms are currently proposed for the specification of these model transformations. A suitable formalism is based on graph transformation systems and graph transformation rules. ...
The chapter provides an overview about the needed concepts to apply graph transformations in the context of model driven engineering and we show the technical feasibility based on several tools and applications ...
Furthermore, model transformations can help to construct a new viewpoint model based on the existing models. ...
doi:10.1007/3-540-28554-7_5
fatcat:t4sc2cmeargp5dtogdjtvqbmuy
Knowledge Modelling and Active Learning in Manufacturing
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Ontologies and Knowledge Graphs provide means to model and relate a wide range of concepts, problems, and configurations. ...
The increasing digitalization of the manufacturing domain requires adequate knowledge modeling to capture relevant information. ...
They developed the ONTO-PDM ontology based on existing models from the IEC standard. ...
arXiv:2107.02298v1
fatcat:4iziznjvyfgpdluwadrjgbxv6u
Requirements for Medical Modeling Languages
2001
JAMIA Journal of the American Medical Informatics Association
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The purpose of this article is to introduce a set of requirements for such languages and show their application in analyzing and comparing existing modeling languages. ...
Examples include the use of object orientation, 1 componentbased development, 2 workflow modeling, 3 conceptual graphs, 4 graph grammars, 5 and decision networks. 6 However, in the development of complex ...
On the other hand, conceptual graphs are suitable when, for example, disease concepts are to be typified or defined in terms of other concepts, as in classification models. ...
doi:10.1136/jamia.2001.0080146
pmid:11230383
pmcid:PMC134554
fatcat:dyc62gatznb77nmzrkwyhzf4ka
Model Transformations
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper introduces a classification of model transformation approaches and languages, illustrating the characteristics of the most prominent ones. ...
Leveraging models to a first-class status is at the core of this methodology. ...
Concerning the Core it is a small model/language which only supports pattern matching over a flat set of variables by evaluating conditions over those variables against a set of models. ...
doi:10.1007/978-3-642-30982-3_4
fatcat:nzfocu6ypbgnpbdwxanqdauxwe
« Previous
Showing results 1 — 15 out of 78,972 results