Search Sciweavers | Sciweavers

31387 search results - page 341 / 6278

» Abstracts

120

click to vote

INLG
2010
Springer

95views Natural Language Processing» more INLG 2010»

Generating and Validating Abstracts of Meeting Conversations: a User Study

15 years 4 months ago

Download www.cs.ubc.ca

Gabriel Murray, Giuseppe Carenini, Raymond T. Ng

claim paper

Read More »

151

click to vote

IPAW
2010

124views Information Technology» more IPAW 2010»

Abstract Provenance Graphs: Anticipating and Exploiting Schema-Level Data Provenance

15 years 4 months ago

Download www.cs.ucdavis.edu

Daniel Zinn, Bertram Ludäscher

claim paper

Read More »

115

click to vote

IPPS
2010
IEEE

77views Distributed And Parallel Com...» more IPPS 2010»

Transforming linear algebra libraries: From abstraction to parallelism

15 years 4 months ago

Download www.cs.utexas.edu

Ernie Chan, Robert A. van de Geijn, Field G. Van Z...

claim paper

Read More »

152

click to vote

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

15 years 4 months ago

Download www.cs.nmsu.edu

Gourinath Banda, John P. Gallagher

claim paper

Read More »

169

click to vote

MEMOCODE
2010
IEEE

133views Formal Methods» more MEMOCODE 2010»

ATLAS: Automatic Term-level abstraction of RTL designs

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers