Search Sciweavers | Sciweavers

11016 search results - page 639 / 2204

» Cloud Computing for Science

145

click to vote

SDM
2009
SIAM

138views Data Mining» more SDM 2009»

The Metric Dilemma: Competence-Conscious Associative Classification.

16 years 4 months ago

Download www.siam.org

Adriano Veloso, Mohammed Javeed Zaki, Wagner Meira...

claim paper

Read More »

123

click to vote

ICALP
2009
Springer

146views Programming Languages» more ICALP 2009»

Approximating Matches Made in Heaven

16 years 2 months ago

Download www.eecs.harvard.edu

Ning Chen, Nicole Immorlica, Anna R. Karlin, Moham...

claim paper

Read More »

179

click to vote

FSTTCS
2009
Springer

106views Software Engineering» more FSTTCS 2009»

Mediating for Reduction (on Minimizing Alternating Büchi Automata)

16 years 1 months ago

Download www.fit.vutbr.cz

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

claim paper

Read More »

146

click to vote

LICS
2007
IEEE

117views Automated Reasoning» more LICS 2007»

Characterising Testing Preorders for Finite Probabilistic Processes

16 years 1 months ago

Download www.cse.unsw.edu.au

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy,...

claim paper

Read More »

195

click to vote

SCCC
2007
IEEE

187views Theoretical Computer Science» more SCCC 2007»

Eliciting Multi-Agent Systems Intentionality: from Language Extended Lexicon to i* Models

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers