Sciweavers

13383 search results - page 66 / 2677
» Abstractions from proofs
Sort
View
IPPS
2010
IEEE
14 years 7 months ago
Transforming linear algebra libraries: From abstraction to parallelism
Ernie Chan, Robert A. van de Geijn, Field G. Van Z...
EMNLP
2009
14 years 7 months ago
Reading to Learn: Constructing Features from Semantic Abstracts
Jacob Eisenstein, James Clarke, Dan Goldwasser, Da...