Sciweavers

8009 search results - page 52 / 1602
» cans 2005
Sort
View
GCC
2005
Springer
15 years 9 months ago
Collaborating Semantic Link Network with Resource Space Model
The Semantic Link Network model SLN and Resource Space Model RSM are semantic models proposed separately for effectively specifying and managing versatile resources across the Inte...
Yunpeng Xing, Jie Liu, Xiaoping Sun, Erlin Yao
PADL
2005
Springer
15 years 9 months ago
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
Qian Wang, Gopal Gupta, Michael Leuschel
ICMCS
2005
IEEE
77views Multimedia» more  ICMCS 2005»
15 years 9 months ago
Effect of segmentation method on video retrieval performance
This paper presents experiments that evaluate the effect of different video segmentation methods on text-based video retrieval. Segmentations relying on modalities like speech, vi...
David Grangier, Alessandro Vinciarelli
SKG
2005
IEEE
15 years 9 months ago
Relation Grid: A Social Relationship Network Model
In this paper, a social network model based on real social relationships, referred as Relation Grid, is proposed. Relation grid is isomorphic to the actual social network; hence it...
Jiaxing Song, Weidong Liu, Shaoyu Chen
AMR
2005
Springer
128views Multimedia» more  AMR 2005»
15 years 9 months ago
Ranking Invariance Based on Similarity Measures in Document Retrieval
Abstract. To automatically retrieve documents or images from a database, retrieval systems use similarity measures to compare a request based on features extracted from the documen...
Jean-François Omhover, Maria Rifqi, Marcin ...