Search Sciweavers | Sciweavers

31387 search results - page 359 / 6278

» Abstracts

174

click to vote

ACL
2012

207views Computational Linguistics» more ACL 2012»

Fully Abstractive Approach to Guided Summarization

13 years 9 months ago

Download www-rali.iro.umontreal.ca

Pierre-Etienne Genest, Guy Lapalme

claim paper

Read More »

166

Voted

LICS
2012
IEEE

203views Automated Reasoning» more LICS 2012»

Better Abstractions for Timed Automata

13 years 9 months ago

Download www.labri.fr

Frédéric Herbreteau, B. Srivathsan, ...

claim paper

Read More »

152

click to vote

SAS
2012
Springer

210views Formal Methods» more SAS 2012»

Bilateral Algorithms for Symbolic Abstraction

13 years 9 months ago

Download research.cs.wisc.edu

Aditya V. Thakur, Matt Elder, Thomas W. Reps

claim paper

Read More »

172

click to vote

CONCUR
2012
Springer

227views Distributed And Parallel Com...» more CONCUR 2012»

A Theory of History Dependent Abstractions for Learning Interface Automata

13 years 9 months ago

Download www.fidesaarts.nl

Fides Aarts, Faranak Heidarian, Frits W. Vaandrage...

claim paper

Read More »

155

click to vote

AAAI
2012

221views Intelligent Agents» more AAAI 2012»

Finding Optimal Abstract Strategies in Extensive-Form Games

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers