Sciweavers

4042 search results - page 150 / 809
» The EXODUS Optimizer Generator
Sort
View
SIGMOD
2009
ACM
161views Database» more  SIGMOD 2009»
15 years 5 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
ISBI
2004
IEEE
15 years 10 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»
15 years 10 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
ICASSP
2009
IEEE
15 years 4 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
ICPR
2004
IEEE
15 years 11 months ago
Optimizing Nearest Neighbour in Random Subspaces using a Multi-Objective Genetic Algorithm
In this work, the authors have evaluated almost 20 millions ensembles of classifiers generated by several methods. Trying to optimize those ensembles based on the nearest neighbou...
Guillaume Tremblay, Robert Sabourin, Patrick Maupi...