Search Sciweavers | Sciweavers

10271 search results - page 476 / 2055

» Computer Science

108

click to vote

ICALP
2009
Springer

146views Programming Languages» more ICALP 2009»

Approximating Matches Made in Heaven

16 years 1 months ago

Download www.eecs.harvard.edu

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

claim paper

Read More »

147

click to vote

FSTTCS
2009
Springer

106views Software Engineering» more FSTTCS 2009»

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

16 years 25 days ago

Download www.fit.vutbr.cz

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

claim paper

Read More »

126

click to vote

LICS
2007
IEEE

117views Automated Reasoning» more LICS 2007»

Characterising Testing Preorders for Finite Probabilistic Processes

16 years 16 days ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

171

Voted

SCCC
2007
IEEE

187views Theoretical Computer Science» more SCCC 2007»

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

16 years 16 days ago

Download www.math.yorku.ca

Antonio de Pádua Albuquerque Oliveira, Juli...

claim paper

Read More »

137

Voted

SCCC
2007
IEEE

89views Theoretical Computer Science» more SCCC 2007»

Specifying Fractal and GCM Components with UML

16 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers