6794 search results - page 425 / 1359 » Semantics of Visual Languages |
185
click to vote
ECOOP
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
201
click to vote
UML
1998
Springer
15 years 11 months ago
1998
Springer
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
212
click to vote
PPDP
2007
Springer
16 years 29 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
196
click to vote
CIVR
2004
Springer
15 years 10 months ago
2004
Springer
People as news subjects carry rich semantics in broadcast news video and therefore finding a named person in the video is a major challenge for video retrieval. This task can be ac...
170
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
2000
Springer
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...