Search Sciweavers | Sciweavers

31387 search results - page 348 / 6278

» Abstracts

152

click to vote

CORR
2011
Springer

157views Education» more CORR 2011»

A family of abstract interpretations for static analysis of concurrent higher-order programs

15 years 1 months ago

Download www.ccs.neu.edu

Matthew Might, David Van Horn

claim paper

Read More »

111

click to vote

CORR
2011
Springer

156views Education» more CORR 2011»

Poster Abstract: If You Have Time, Save Energy with Pull

15 years 1 months ago

Download ftp.tik.ee.ethz.ch

David Hasenfratz, Andreas Meier, Matthias Woehrle,...

claim paper

Read More »

149

click to vote

CMSB
2010
Springer

91views Applied Computing» more CMSB 2010»

A generic abstract machine for stochastic process calculi

15 years 1 months ago

Download research.microsoft.com

Loïc Paulevé, Simon Youssef, Matthew R...

claim paper

Read More »

155

click to vote

COGSR
2010

73views more COGSR 2010»

Personal Publication Assistant: Abstract recommendations by a cognitive model

15 years 1 months ago

Download www.ai.rug.nl

Leendert van Maanen, Hedderik van Rijn, Maarten va...

claim paper

Read More »

121

click to vote

COLING
2010

114views Computational Linguistics» more COLING 2010»

Opinosis: A Graph Based Approach to Abstractive Summarization of Highly Redundant Opinions

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers