Sciweavers

4695 search results - page 602 / 939
» Software Clustering Techniques and the Use of Combined Algor...
Sort
View
CADE
2006
Springer
16 years 7 months ago
Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...
Adam Koprowski, Hans Zantema
IJCNLP
2004
Springer
16 years 27 days ago
A Study of Semi-discrete Matrix Decomposition for LSI in Automated Text Categorization
Abstract. This paper proposes the use of Latent Semantic Indexing (LSI) techniques, decomposed with semi-discrete matrix decomposition (SDD) method, for text categorization. The SD...
Qiang Wang, Xiaolong Wang, Guan Yi
IWDW
2004
Springer
16 years 27 days ago
A Multi-feature Based Invertible Authentication Watermarking for JPEG Images
: Invertible authentication techniques have been used in some special applications (such as medical or military) where original data can be recovered after authenticated. In this p...
Deng-Pan Ye, Yaobin Mao, Yuewei Dai, Zhiquan Wang
VISUALIZATION
2000
IEEE
15 years 12 months ago
A level-set method for flow visualization
In this paper we propose a technique for visualizing steady flow. Using this technique, we first convert the vector field data into a scalar level-set representation. We then a...
Rüdiger Westermann, Christopher Johnson, Thom...
ICIP
2000
IEEE
16 years 9 months ago
Robust H.263+ Video for Real-Time Internet Applications
Any real-time interactive video coding algorithm used over the Internet needs to be able to cope with packet loss, since the existing error recovery mechanisms are not suitable fo...
James T. Chung-How, David R. Bull