6794 search results - page 241 / 1359 » Semantics of Visual Languages |
170
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
160
click to vote
FSTTCS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
170
click to vote
COLING
1996
15 years 7 months ago
1996
The paper discusses how compositional semantics is implemented in the Verbmobil speech-to-speech translation system using LUD, a description language for underspecified discourse ...
148
click to vote
DBPL
1987
Springer
15 years 10 months ago
1987
Springer
This paper investigates a method to represent database objects as typed expressions in programming languages. A simple typed language supporting non-flat records, higher-order rel...
187
click to vote
ICMCS
2006
IEEE
16 years 17 days ago
2006
IEEE
We present methods for improving text search retrieval of visual multimedia content by applying a set of visual models of semantic concepts from a lexicon of concepts deemed relev...