Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
In this paper, we present the tools standardized by MPEG-7 for describing the semantics of multimedia. In particular, we the Abstraction Model, entities, attributes and relations ...
A. Murat Tekalp, Ahmet Ekin, Alesandro Bugatti, An...
Semantic Web applications share a large portion of development effort with database-driven Web applications. Existing approaches for development of these database-driven applicati...
In this paper we focus on scene classification and detection of high-level concepts within multimedia documents, by introducing an intermediate contextual approach as a means of ...
Evaggelos Spyrou, Phivos Mylonas, Yannis S. Avrith...