Sciweavers

9642 search results - page 115 / 1929
» Semantics in Multimedia Systems
Sort
View
FM
2003
Springer
160views Formal Methods» more  FM 2003»
15 years 3 months ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan
ICMCS
2005
IEEE
175views Multimedia» more  ICMCS 2005»
15 years 3 months ago
XML path based relevance model for automatic image annotation
This is the first paper that proposes automatic image annotation using the semantics of XML. In this paper, we propose XPRM - XML Path based Relevance Model for automatic image a...
Manjeet Rege, Ming Dong, Farshad Fotouhi
JLP
2010
155views more  JLP 2010»
14 years 4 months ago
Compositional semantics of spiking neural P systems
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
DANTE
1999
IEEE
144views Database» more  DANTE 1999»
15 years 2 months ago
Issues in Using Specifications to Improve Content-Based Search of Multimedia Data
Many current multimedia database management systems perform content-based retrieval of images by extracting the values of various features from every object stored in their system...
Leonard Brown, Le Gruenwald, Gregory D. Speegle
AMR
2008
Springer
214views Multimedia» more  AMR 2008»
14 years 11 months ago
Using Thematic Ontologies for User- and Group-Based Adaptive Personalization in Web Searching
This paper presents Prospector, an adaptive meta-search layer, which performs personalized re-ordering of search results. Prospector combines elements from two approaches to adapti...
Alexandros Paramythis, Florian König, Christi...