Sciweavers

2398 search results - page 405 / 480
» Constraint Programming and Graph Algorithms
Sort
View
144
Voted
BMCBI
2011
14 years 9 months ago
SNPPicker: High quality tag SNP selection across multiple populations
Background: Linkage Disequilibrium (LD) bin-tagging algorithms identify a reduced set of tag SNPs that can capture the genetic variation in a population without genotyping every s...
Hugues Sicotte, David N. Rider, Gregory A. Poland,...
ICCAD
1998
IEEE
105views Hardware» more  ICCAD 1998»
15 years 6 months ago
Fanout optimization under a submicron transistor-level delay model
In this paper we present a new fanout optimization algorithm which is particularly suitable for digital circuits designed with submicron CMOS technologies. Restricting the class o...
Pasquale Cocchini, Massoud Pedram, Gianluca Piccin...
142
Voted
CVPR
2011
IEEE
14 years 11 months ago
Auto Directed Video Stabilization with Robust L1 Optimal Camera Paths
We present a novel algorithm for automatically applying constrainable, L1-optimal camera paths to generate stabilized videos by removing undesired motions. Our goal is to compute ...
Matthias Grundmann, Vivek Kwatra, Irfan Essa
ASPLOS
2008
ACM
15 years 4 months ago
Communication optimizations for global multi-threaded instruction scheduling
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...
Guilherme Ottoni, David I. August
152
Voted
POPL
1992
ACM
15 years 6 months ago
Abstract Semantics for a Higher-Order Functional Language with Logic Variables
Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. Keshav Pingali Cornell University, Ithaca, NY 14853. A...
Radha Jagadeesan, Keshav Pingali