Sciweavers

4767 search results - page 465 / 954
» Structures for Abstract Rewriting
Sort
View
LFCS
2007
Springer
16 years 1 months ago
Verifying Balanced Trees
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
Zohar Manna, Henny B. Sipma, Ting Zhang
MICAI
2007
Springer
16 years 1 months ago
Enrichment of Automatically Generated Texts Using Metaphor
Computer-generated texts are yet far from human-generated ones. Along with the limited use of vocabulary and syntactic structures sent, their lack of creativeness and abstraction i...
Raquel Hervás, Rui P. Costa, Hugo Costa, Pa...
MICCAI
2007
Springer
16 years 1 months ago
Groupwise Combined Segmentation and Registration for Atlas Construction
Abstract. The creation of average anatomical atlases has been a growing area of research in recent years. It is of increased value to construct representations of, not only intensi...
Kanwal K. Bhatia, Paul Aljabar, James P. Boardman,...
PKDD
2007
Springer
114views Data Mining» more  PKDD 2007»
16 years 1 months ago
Robust Visual Mining of Data with Error Information
Abstract. Recent results on robust density-based clustering have indicated that the uncertainty associated with the actual measurements can be exploited to locate objects that are ...
Jianyong Sun, Ata Kabán, Somak Raychaudhury
PSIVT
2007
Springer
135views Multimedia» more  PSIVT 2007»
16 years 1 months ago
Fast Directional Image Completion
Abstract. We developed a fast image completion system using the multiresolution approach to accelerate the convergence of the system. The downsampling approach is for the texture-e...
Chih-Wei Fang, Jenn-Jier James Lien