Sciweavers

1782 search results - page 277 / 357
» A Data Transformation Method Based on Schema Mapping
Sort
View
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
15 years 9 months ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
PDPTA
2000
15 years 5 months ago
Evaluation of Neural and Genetic Algorithms for Synthesizing Parallel Storage Schemes
Exploiting compile time knowledge to improve memory bandwidth can produce noticeable improvements at run-time [13, 1]. Allocating the data structure [13] to separate memories when...
Mayez A. Al-Mouhamed, Husam Abu-Haimed
IPMI
2009
Springer
16 years 4 months ago
DRAMMS: Deformable Registration via Attribute Matching and Mutual-Saliency weighting
A general-purpose deformable registration algorithm referred to as ”DRAMMS” is presented in this paper. DRAMMS adds to the literature of registration methods that bridge betw...
Yangming Ou, Christos Davatzikos
ICDE
2004
IEEE
138views Database» more  ICDE 2004»
16 years 5 months ago
Making the Pyramid Technique Robust to Query Types and Workloads
The effectiveness of many existing high-dimensional indexing structures is limited to specific types of queries and workloads. For example, while the Pyramid technique and the iMi...
Rui Zhang 0003, Beng Chin Ooi, Kian-Lee Tan
BIBE
2007
IEEE
208views Bioinformatics» more  BIBE 2007»
15 years 8 months ago
The GPU on biomedical image processing for color and phenotype analysis
The computational power and memory bandwidth of graphics processing units (GPUs) have turned them into attractive platforms for general-purpose applications. In this paper, we expl...
Antonio Ruiz, Manuel Ujaldon, Jose Antonio Andrade...