Sciweavers

2661 search results - page 13 / 533

» A Semantics for Abstraction

54

ACL
2009

113views Computational Linguistics» more ACL 2009»

Abstraction and Generalisation in Semantic Role Labels: PropBank, VerbNet or both?

14 years 7 months ago

Abstraction and Generalisation in Semantic Role Labels: PropBank, VerbNet or both?

Download www.aclweb.org

Paola Merlo, Lonneke van der Plas

claim paper

Read More »

74

EMNLP
2009

79views Natural Language Processing» more EMNLP 2009»

Reading to Learn: Constructing Features from Semantic Abstracts

14 years 7 months ago

Reading to Learn: Constructing Features from Semantic Abstracts

Download www.aclweb.org

Jacob Eisenstein, James Clarke, Dan Goldwasser, Da...

claim paper

Read More »

9

IJCM
2011

53views more IJCM 2011»

An abstract interpretation-based model for safety semantics

14 years 4 months ago

An abstract interpretation-based model for safety semantics

Download profs.scienze.univr.it

Isabella Mastroeni, Roberto Giacobazzi

claim paper

Read More »

84

ATVA
2008
Springer

99views Hardware» more ATVA 2008»

Model Checking Recursive Programs with Exact Predicate Abstraction

14 years 11 months ago

Model Checking Recursive Programs with Exact Predicate Abstraction

Download www.cs.toronto.edu

e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...

Arie Gurfinkel, Ou Wei, Marsha Chechik

claim paper

Read More »

86

ENTCS
2007

89views more ENTCS 2007»

Quantum Programs With Classical Output Streams: (Extended Abstract)

14 years 9 months ago

Quantum Programs With Classical Output Streams: (Extended Abstract)

Download www.mscs.dal.ca

d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...

Dominique Unruh

claim paper

Read More »

« Prev « First page 13 / 533 Last » Next »