1356 search results - page 178 / 272 » A variable-free dynamic semantics |
141
click to vote
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
146
click to vote
VEE
2006
ACM
15 years 10 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
149
click to vote
ERCIMDL
2000
Springer
15 years 7 months ago
2000
Springer
The OASIS (Ontologically Augmented Spatial Information System) project explores terminology systems for thematic and spatial access in digital library applications. A prototype im...
163
click to vote
EON
2008
15 years 5 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
154
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
The major scientific problem for content-based video retrieval is the semantic gap. Generally speaking, there are two appropriate ways to bridge the semantic gap: the first one is...