6016 search results - page 116 / 1204 » The semantics of graphical languages |
159
click to vote
WCRE
2005
IEEE
15 years 10 months ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
144
click to vote
DOCENG
2004
ACM
15 years 10 months ago
2004
ACM
Enabling an intelligent access to multimedia data requires a powerful description language. In this paper, we demonstrate why the MPEG-7 standard fails to fulfill this task. We i...
153
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
We present a pragmatic extension of a Semantic Web query language (including so-called grounded conjunctive queries) with a termination safe functional expression language. This ad...
131
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
In this article we present GenI, a chart based surface realisation tool implemented in Haskell. GenI takes as input a set of first order terms (the input semantics) and a grammar...
141
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...