Filters








78,972 Hits in 7.9 sec

Graph-Based Variability Modelling: Towards a Classification of Existing Formalisms [chapter]

Jessie Carbonnel, David Delahaye, Marianne Huchard, Clémentine Nebut
2019 Lecture Notes in Computer Science  
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

S. Obaid, S. Asghar, M. Naeem
2014 International Journal of Trade, Economics and Finance  
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]

Meng Liu, Keqiang Yan, Bora Oztekin, Shuiwang Ji
2021 arXiv   pre-print
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]

Volker Tresp, Maximilian Nickel
2016 arXiv   pre-print
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

Ahsan Ikram, Ashiq Anjum, Nik Bessis
2015 Simulation modelling practice and theory  
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]

Ikhlas Alhussien, Erik Cambria, Zhang NengSheng
2018 arXiv   pre-print
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]

Amir Feder, Nadav Oved, Uri Shalit, Roi Reichart
2020 arXiv   pre-print
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

Amir Feder, Nadav Oved, Uri Shalit, Roi Reichart
2021 Computational Linguistics  
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

JEROEN KEPPENS, QIANG SHEN
2001 Knowledge engineering review (Print)  
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

Patrick Stünkel, Harald König, Adrian Rutle, Yngve Lamo
2021 Journal of Object Technology  
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

Barbara Gallina, Nicolas Guelfi, Pierre Kelsen
2009 2009 33rd Annual IEEE Software Engineering Workshop  
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]

Lars Grunske, Leif Geiger, Albert Zündorf, Niels Van Eetvelde, Pieter Van Gorp, Dániel Varró
2005 Model-Driven Software Development  
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]

Jože M. Rožanec, Inna Novalija, d Patrik Zajec, Klemen Kenda, Dunja Mladenić
2021 arXiv   pre-print
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

A. A. F. van der Maas, A. H. M. ter Hofstede, A. J. ten Hoopen
2001 JAMIA Journal of the American Medical Informatics Association  
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]

Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio
2012 Lecture Notes in Computer Science  
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