Sciweavers

181 search results - page 15 / 37
» A Mechanism for Verifying Data Speculation
Sort
View
BMCBI
2008
193views more  BMCBI 2008»
14 years 9 months ago
Missing value imputation for microarray gene expression data using histone acetylation information
Background: It is an important pre-processing step to accurately estimate missing values in microarray data, because complete datasets are required in numerous expression profile ...
Qian Xiang, Xianhua Dai, Yangyang Deng, Caisheng H...
FMSD
2002
114views more  FMSD 2002»
14 years 9 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
RAS
2002
92views more  RAS 2002»
14 years 9 months ago
Information Sampling for vision-based robot navigation
This paper proposes a statistical, non-feature based, attention mechanism for a mobile robot, termed Information Sampling. The selected data may be a single pixel or a number scat...
Niall Winters, José Santos-Victor
JNW
2008
150views more  JNW 2008»
14 years 9 months ago
Quality-Aware Cooperative Proxy Caching for Video Streaming Services
By applying a proxy mechanism widely used in WWW systems to video streaming systems, low-delay and high-quality video distribution can be accomplished without imposing extra load o...
Yoshiaki Taniguchi, Naoki Wakamiya, Masayuki Murat...
SDM
2008
SIAM
177views Data Mining» more  SDM 2008»
14 years 11 months ago
Practical Private Computation and Zero-Knowledge Tools for Privacy-Preserving Distributed Data Mining
In this paper we explore private computation built on vector addition and its applications in privacypreserving data mining. Vector addition is a surprisingly general tool for imp...
Yitao Duan, John F. Canny