1636 search results - page 228 / 328 » Type-Theoretic Functional Semantics |
155
Voted
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
Enhanced Multimedia Meta Objects (EMMOs) are a novel approach to multimedia content modeling, combining media, semantic relationships between those media, as well as functionality ...
120
Voted
CTRSA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we first demonstrate a gap between the security of verifiably committed signatures in the two-party setting and the security of verifiably committed signat...
124
click to vote
ER
2000
Springer
15 years 7 months ago
2000
Springer
Model management is a framework for supporting meta-data related applications where models and mappings are manipulated as first class objects using operations such as Match, Merge...
121
Voted
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...
125
Voted
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
2000
Springer
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...