Sciweavers

677 search results - page 103 / 136
» Reducing the Space Requirement of LZ-Index
Sort
View
NJC
2006
88views more  NJC 2006»
14 years 9 months ago
Optimizing Slicing of Formal Specifications by Deductive Verification
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
Ingo Brückner, Björn Metzler, Heike Wehr...
TIP
2008
122views more  TIP 2008»
14 years 9 months ago
Efficient 2-D Grayscale Morphological Transformations With Arbitrary Flat Structuring Elements
Abstract--An efficient algorithm is presented for the computation of grayscale morphological operations with arbitrary 2-D flat structuring elements (S.E.). The required computing ...
Erik R. Urbach, Michael H. F. Wilkinson
TPDS
2002
80views more  TPDS 2002»
14 years 9 months ago
Performance Optimization Problem in Speculative Prefetching
Speculative prefetching has been proposed to improve the response time of network access. Previous studies in speculative prefetching focus on building and evaluating access models...
Nor Jaidi Tuah, Mohan Kumar, Svetha Venkatesh, Saj...
JAIR
2010
94views more  JAIR 2010»
14 years 8 months ago
Which Clustering Do You Want? Inducing Your Ideal Clustering with Minimal Feedback
While traditional research on text clustering has largely focused on grouping documents by topic, it is conceivable that a user may want to cluster documents along other dimension...
Sajib Dasgupta, Vincent Ng
SIGPRO
2010
137views more  SIGPRO 2010»
14 years 8 months ago
Satellite image compression by post-transforms in the wavelet domain
This paper proposes a novel compression scheme with a tunable complexity-ratedistortion trade-off. As images increase in size and resolution, more efficient compression schemes w...
Xavier Delaunay, Marie Chabert, Vincent Charvillat...