Results 281 to 290 of about 226,754 (318)

Modelling Behaviour Semantically

2013
Context is only one of several strata of meaning and we can not predict realisation at the lexical or grammatical level from context alone. Yet, there is a tendency to confuse contextual patterning with semantic patterning and allocate patterning to the contextual level that might better be dealt with on other levels.
David Butt, Rebekah Wegener, Jörg Cassens   +2 more
openaire   +1 more source

Semantic Modelling of Space

2010
A cornerstone for robotic assistants is their understanding of the space they are to be operating in: an environment built by people for people to live and work in. The research questions we are interested in in this chapter concern spatial understanding, and its connection to acting and interacting in indoor environments.
Andrzej Pronobis, Patric Jensfelt, Kristoffer Sjöö, Hendrik Zender, Geert-Jan M. Kruijff, Oscar Martinez Mozos, Wolfram Burgard   +6 more
openaire   +2 more sources

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   +1 more source

Generalizable model-agnostic semantic segmentation via target-specific normalization

Pattern Recognition, 2022
Lei Qi, Yinghuan Shi
exaly  

A semantic model-based fault detection approach for building energy systems

Building and Environment, 2022
Chaobo Zhang, Kai Zhou
exaly