Sciweavers

5236 search results - page 1008 / 1048
» Similarity Measurement in Context
Sort
View
SAFECOMP
2005
Springer
14 years 1 months ago
Are High-Level Languages Suitable for Robust Telecoms Software?
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
Jan Henry Nyström, Philip W. Trinder, David J...
ASPLOS
2004
ACM
14 years 1 months ago
Low-overhead memory leak detection using adaptive statistical profiling
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
Matthias Hauswirth, Trishul M. Chilimbi
ISSTA
2004
ACM
14 years 1 months ago
An optimizing compiler for batches of temporal logic formulas
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
James Ezick
MM
2004
ACM
208views Multimedia» more  MM 2004»
14 years 1 months ago
Fast and robust video clip search using index structure
Content based retrieval of similar multimedia objects (e.g. images, text, and videos) is an important research issue in the field of multimedia database. In this demo, we present ...
Ling-Yu Duan, Junsong Yuan, Qi Tian, Changsheng Xu
MM
2004
ACM
152views Multimedia» more  MM 2004»
14 years 1 months ago
Manifold-ranking based image retrieval
In this paper, we propose a novel transductive learning framework named manifold-ranking based image retrieval (MRBIR). Given a query image, MRBIR first makes use of a manifold ra...
Jingrui He, Mingjing Li, HongJiang Zhang, Hanghang...
« Prev « First page 1008 / 1048 Last » Next »