Results 71 to 80 of about 1,307,657 (201)
Model Transformations Require Formal Semantics
, 2008 Despite the increasing interest in model-driven engineering, there are many open issues that need to be addressed to advance the technology and promote its adoption. This position paper outlines several current limitations of model transformation, with a specific emphasis on model optimization.
Sun, Yu +4 more
openaire +2 more sources
An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic
IEEE Symposium on Computer Arithmetic, 2015 M. Brain +3 more
semanticscholar +1 more source
A geometric semantic model and Parts-of-Sense Inference annotation framework. [PDF]
Front Artif IntellPala K +3 more
europepmc +1 more source
Causal knowledge graph analysis identifies adverse drug effects. [PDF]
BioinformaticsToonsi S, Schofield PN, Hoehndorf R.
europepmc +1 more source
An Executable Formal Semantics of PHP
European Conference on Object-Oriented Programming, 2014 Daniele Filaretti, S. Maffeis
semanticscholar +1 more source
Research on deep learning architecture optimization method for intelligent scheduling of structural space. [PDF]
Sci RepYing W, Hui L.
europepmc +1 more source
Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?
Logical Aspects of Computational Linguistics, 2014 Zhaohui Luo
semanticscholar +1 more source
Advancing the bioassay ontology through integrated PK/PD and safety pharmacology representation. [PDF]
J Biomed SemanticsGlenny-Pescov J +7 more
europepmc +1 more source