857 search results - page 152 / 172 » Compositional Semantics in Verbmobil |
SPIN
2005
Springer
15 years 3 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
82
Voted
VW
1998
Springer
15 years 1 months ago
1998
Springer
We propose a system for controlling in real time the localisation of sound sources. The system, called MidiSpace, is a real time spatializer of Midi music. We raise the issue of wh...
POPL
1995
ACM
15 years 1 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
79
Voted
SIGLEX
1991
15 years 1 months ago
1991
Explaining how the meaning of words relate to the meaning of the utterance in which they are used is of utmost importance. The most common approaches view the meaning of an uttera...
104
click to vote
MM
2010
ACM
14 years 9 months ago
2010
ACM
We present an interactive application that enables users to improve the visual aesthetics of their digital photographs using spatial recomposition. Unlike earlier work that focuse...