Sciweavers

31387 search results - page 344 / 6278
» Abstracts
Sort
View
CORR
2009
Springer
117views Education» more  CORR 2009»
15 years 4 months ago
Automated Predicate Abstraction for Real-Time Models
Bahareh Badban, Stefan Leue, Jan-Georg Smaus
135
Voted
CORR
2009
Springer
85views Education» more  CORR 2009»
15 years 4 months ago
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
Benoît Boyer, Thomas Genet
DLOG
2009
15 years 4 months ago
Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract)
Inanç Seylan, Enrico Franconi, Jos de Bruij...
EMNLP
2009
15 years 4 months ago
Reading to Learn: Constructing Features from Semantic Abstracts
Jacob Eisenstein, James Clarke, Dan Goldwasser, Da...