3824 search results - page 358 / 765 » Geometry Constructions Language |
153
Voted
COLING
1996
15 years 6 months ago
1996
In the spoken language machine translation project Verbmobil, the semantic formalism Language for Underspecified Discourse representation structures (LUD) is used. LUD describes a...
153
click to vote
ANLP
1992
15 years 6 months ago
1992
We describe the lexical knowledge base system (LKB) which has been designed and implemented as part of the ACQUILEX project1 to allow the representation of multilinguM syntactic a...
130
Voted
ENTCS
2008
15 years 5 months ago
2008
This paper presents a game semantics for a simply-typed -calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the ...
136
Voted
FUIN
2006
15 years 5 months ago
2006
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the...
158
Voted
ITSSA
2006
15 years 5 months ago
2006
Aspect orientation is important not only at the programming-level but also at the modeling-level. We previously proposed an aspect-oriented modeling language called AspectM for ma...