Sciweavers

6102 search results - page 239 / 1221
» Generating Optimizing Specializers
Sort
View
112
Voted
SIGMOD
2009
ACM
161views Database» more  SIGMOD 2009»
15 years 7 months ago
Dependency-aware reordering for parallelizing query optimization in multi-core CPUs
The state of the art commercial query optimizers employ cost-based optimization and exploit dynamic programming (DP) to find the optimal query execution plan (QEP) without evalua...
Wook-Shin Han, Jinsoo Lee
101
Voted
ISBI
2004
IEEE
16 years 1 months ago
Image Interpolation Based on Optimal Mass Preserving Mappings
Time domain image interpolation, or image morphing, refers to a class of techniques for generating a set of smoothly changing intermediate images between two given images. Numerou...
Lei Zhu, Allen Tannenbaum
SAS
2009
Springer
175views Formal Methods» more  SAS 2009»
16 years 1 months ago
Automatic Parallelization and Optimization of Programs by Proof Rewriting
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
Clément Hurlin
104
Voted
ICASSP
2009
IEEE
15 years 7 months ago
Optimizing segment label boundaries for statistical speech synthesis
This paper introduces a new optimization technique for moving segment labels (phone and subphonetic) to optimize statistical parametric speech synthesis models. The choice of obje...
Alan W. Black, John Kominek
INFSOF
2000
92views more  INFSOF 2000»
15 years 17 days ago
Identifying relevant constraints for semantic query optimization
Semantic query optimization is the process of utilizing information implied by integrity constraints to reformulate the query into one that generates the same set of answers in a ...
Sang-goo Lee, Lawrence J. Henschen, Jonghun Chun, ...