Search Sciweavers | Sciweavers

10539 search results - page 36 / 2108

» On L

click to vote

SOSP
2009
ACM

171views Operating System» more SOSP 2009»

seL4: formal verification of an OS kernel

14 years 4 months ago

Download www.sigops.org

Gerwin Klein, Kevin Elphinstone, Gernot Heiser, Ju...

claim paper

Read More »

click to vote

RECOMB
2010
Springer

293views Computational Biology» more RECOMB 2010»

A Novel Abundance-Based Algorithm for Binning Metagenomic Sequences Using l-Tuples

14 years 2 months ago

Download mendel.informatics.indiana.edu

Abstract. Metagenomics is the study of microbial communities sampled directly from their natural environment, without prior culturing. Among the computational tools recently develo...

Yu-Wei Wu, Yuzhen Ye

claim paper

Read More »

click to vote

ICML
2009
IEEE

117views Machine Learning» more ICML 2009»

Stochastic methods for l1 regularized loss minimization

14 years 2 months ago

Download www.cs.mcgill.ca

Shai Shalev-Shwartz, Ambuj Tewari

claim paper

Read More »

click to vote

SC
2009
ACM

216views Applied Computing» more SC 2009»

Ensemble dispatching on an IBM Blue Gene/L for a bioinformatics knowledge environment

14 years 2 months ago

Download dsl.cs.uchicago.edu

Paul Marshall, Matthew Woitaszek, Henry M. Tufo, R...

claim paper

Read More »

click to vote

ICASSP
2009
IEEE

104views Signal Processing» more ICASSP 2009»

Dense error correction via l1-minimization

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers