Search Sciweavers | Sciweavers

214 search results - page 13 / 43

» toms 2010

click to vote

TACAS
2010
Springer

151views Algorithms» more TACAS 2010»

When Simulation Meets Antichains

14 years 3 months ago

Download www.fit.vutbr.cz

Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Ho...

claim paper

Read More »

click to vote

WSDM
2010
ACM

170views Data Mining» more WSDM 2010»

Coupled Semi-Supervised Learning for Information Extraction

14 years 6 months ago

Download rtw.ml.cmu.edu

Andrew Carlson, Justin Betteridge, Richard C. Wang...

claim paper

Read More »

click to vote

LPAR
2010
Springer

102views Automated Reasoning» more LPAR 2010»

A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae

13 years 6 months ago

Download cs.bath.ac.uk

Abstract. Jer

Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, ...

claim paper

Read More »

click to vote

CCGRID
2010
IEEE

229views Distributed And Parallel Com...» more CCGRID 2010»

Polyphony: A Workflow Orchestration Framework for Cloud Computing

13 years 9 months ago

Download trs-new.jpl.nasa.gov

Khawaja S. Shams, Mark W. Powell, Thomas Crockett,...

claim paper

Read More »

click to vote

ICDM
2010
IEEE

123views Data Mining» more ICDM 2010»

Catching a Viral Video

13 years 6 months ago

Download static.googleusercontent.com

The sharing and re-sharing of videos on social sites, blogs e-mail, and other means has given rise to the phenomenon of viral videos

Tom Broxton, Yannet Interian, Jon Vaver, Mirjam Wa...

claim paper

Read More »

« Prev « First page 13 / 43 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers