Sciweavers

2696 search results - page 29 / 540
» Semantic Abstraction and Anaphora
Sort
View
COMMA
2006
13 years 11 months ago
Semi-Stable Semantics
In this paper, we examine an argument-based semantics called semi-stable semantics. Semi-stable semantics is quite close to traditional stable semantics in the sense that every st...
Martin Caminada
MMM
2012
Springer
320views Multimedia» more  MMM 2012»
12 years 5 months ago
Annotated Free-Hand Sketches for Video Retrieval Using Object Semantics and Motion
Abstract. We present a novel video retrieval system that accepts annotated freehand sketches as queries. Existing sketch based video retrieval (SBVR) systems enable the appearance ...
Rui Hu, Stuart James, John P. Collomosse
MSCS
2010
86views more  MSCS 2010»
13 years 8 months ago
Realisability semantics of parametric polymorphism, general references and recursive types
tations of imperative abstract data types.
Lars Birkedal, Kristian Støvring, Jacob Tha...
CSSW
2007
13 years 11 months ago
Semantic Integrator: Semi-Automatically Enhancing Social Semantic Web Environments
Abstract: Large amounts of information from various sources have often to be considered when collaboratively developing semantic structures. Examining all relevant information can ...
Steffen Lohmann, Philipp Heim, Jürgen Ziegler
CLEIEJ
2006
120views more  CLEIEJ 2006»
13 years 10 months ago
A semantics for while with break, continue and goto
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alpha...
Patricia Peratto