6794 search results - page 241 / 1359 » Semantics of Visual Languages |
TPHOL
2002
IEEE
14 years 3 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...
FSTTCS
1998
Springer
14 years 3 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 ...
COLING
1996
14 years 3 days 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 ...
DBPL
1987
Springer
14 years 2 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...
ICMCS
2006
IEEE
14 years 4 months 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...