Sciweavers

54 search results - page 9 / 11
» A semantic framework for multimedia document adaptation
Sort
View
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
13 years 3 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
AMR
2007
Springer
167views Multimedia» more  AMR 2007»
13 years 11 months ago
Ontology: Use and Abuse
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
Simone Santini
WWW
2005
ACM
14 years 6 months ago
Browsing fatigue in handhelds: semantic bookmarking spells relief
Focused Web browsing activities such as periodically looking up headline news, weather reports, etc., which require only selective fragments of particular Web pages, can be made m...
Saikat Mukherjee, I. V. Ramakrishnan
MMM
2009
Springer
112views Multimedia» more  MMM 2009»
14 years 2 months ago
General Highlight Detection in Sport Videos
Abstract. Attention is a psychological measurement of human reflection against stimulus. We propose a general framework of highlight detection by comparing attention intensity dur...
Reede Ren, Joemon M. Jose
MIR
2006
ACM
178views Multimedia» more  MIR 2006»
13 years 11 months ago
Dual diffusion model of spreading activation for content-based image retrieval
This paper introduces a content-based information retrieval method inspired by the ideas of spreading activation models. In response to a given query, the proposed approach comput...
Serhiy Kosinov, Stéphane Marchand-Maillet, ...