Sciweavers

4305 search results - page 243 / 861
» The Test of Time
Sort
View
BMCBI
2005
178views more  BMCBI 2005»
15 years 6 months ago
A quantization method based on threshold optimization for microarray short time series
Background: Reconstructing regulatory networks from gene expression profiles is a challenging problem of functional genomics. In microarray studies the number of samples is often ...
Barbara Di Camillo, Fatima Sanchez-Cabo, Gianna To...
ENTCS
2002
166views more  ENTCS 2002»
15 years 6 months ago
Translation and Run-Time Validation of Optimized Code
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...
POPL
2012
ACM
14 years 2 months ago
Sound predictive race detection in polynomial time
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski,...
TEC
2008
91views more  TEC 2008»
15 years 6 months ago
Applying a Traffic Lights Evolutionary Optimization Technique to a Real Case: "Las Ramblas" Area in Santa Cruz de Tenerife
Abstract--In previous research, we have designed and successfully tested a Traffic Light Cycles Evolutionary Optimization Architecture. In this paper, we attempt to validate those ...
Javier J. Sánchez Medina, Manuel J. Gal&aac...
TIT
2010
104views Education» more  TIT 2010»
15 years 1 months ago
Nonparametric statistical inference for ergodic processes
In this work a method for statistical analysis of time series is proposed, which is used to obtain solutions to some classical problems of mathematical statistics under the only as...
Daniil Ryabko, Boris Ryabko