Results 261 to 270 of about 15,069,486 (297)

Semantics of Multimodal Network Models

IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2009
A multimodal network (MMN) is a novel graph-theoretic formalism designed to capture the structure of biological networks and to represent relationships derived from multiple biological databases. MMNs generalize the standard notions of graphs and hypergraphs, which are the bases of current diagrammatic representations of biological phenomena, and ...
Lenwood S. Heath, Allan A. Sioson
openaire   +2 more sources

Linking Semantic Models

2007
A theory of programming is intended to help in the construction of programs that provably meet their specifications. It starts with a complete lattice of specifications, used as a domain for the semantics of the programming language. The operators of the language are defined as monotonic functions over this domain.
openaire   +1 more source

Domains as Models for Semantic Information

Fundamenta Informaticae, 2015
We propose a framework in terms of domain theory for semantic information models. We show how an artificial agent (the computer) can operate within such a model in a multiple attitude environment (fuzziness) where information is conveyed. We illustrate our approach by two examples — taking as the set of the degrees of reliability Kleene's 3-valued ...
openaire   +1 more source

Parallelism semantics in modeling activities

Proceedings of the 4th ACM International Conference of Computing for Engineering and Sciences, 2018
In previous work, we proposed modeling and simulation of UML activities in Parallel DEVS. With respect to parallelism, either one of the following statements holds true about the semantics of activities in order to attain a valid execution. A time base, regardless of its granularity, shall be explicitly defined in order to account for parallelism in a ...
Abdurrahman Alshareef, Hessam S. Sarjoughian   +1 more
openaire   +2 more sources

Model theoretic semantics for Demo

1992
A useful 3-valued provability predicate Demos is defined, that can provably simulate non-classical logics and connectives (like autoepistemic logic and negation-as-failure) and that, despite its 3-valued semantics, is able to capture thoroughly classical notions of provability and unprovability.
openaire   +2 more sources

Semantic Modeling: Computational Models of the Concepts

2010 International Conference on Computational Intelligence and Security, 2010
As known, computing allows maintenance of the constructions corresponding to the needs in comprehended models which enable the computational experiment. Computing takes the enabling of such a model which corresponds to a 'theory'. The parameters of the model are systematically changing and correspond to 'entries' for the inputs.
openaire   +2 more sources

Semantic Communication System Based on Semantic Slice Models Propagation

IEEE Journal on Selected Areas in Communications, 2023
Bizhu Wang, Ping Zhang, Shujun Han
exaly  

Semantic enrichment of building and city information models: A ten-year review

Advanced Engineering Informatics, 2021
Wu, Liupengfei, Xue, Fan, Weisheng Lu
exaly  

An autonomous robotic platform for automatic extraction of detailed semantic models of buildings

Automation in Construction, 2020
Blanca Quintana, Frédéric Bosché, A Adan   +2 more
exaly  

Semantic memory: A review of methods, models, and current challenges

Psychonomic Bulletin and Review, 2020
Abhilasha A Kumar
exaly