Sciweavers

2776 search results - page 22 / 556

» System-Level Abstraction Semantics

21

ACL
2009

113views Computational Linguistics» more ACL 2009»

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

13 years 6 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 »

23

EMNLP
2009

79views Natural Language Processing» more EMNLP 2009»

Reading to Learn: Constructing Features from Semantic Abstracts

13 years 6 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 »

3

IJCM
2011

53views more IJCM 2011»

An abstract interpretation-based model for safety semantics

13 years 3 months ago

An abstract interpretation-based model for safety semantics

Download profs.scienze.univr.it

Isabella Mastroeni, Roberto Giacobazzi

claim paper

Read More »

27

CONCUR
2003
Springer

86views Distributed And Parallel Com...» more CONCUR 2003»

Full Abstraction for HOPLA

14 years 2 months ago

Full Abstraction for HOPLA

Download www.cl.cam.ac.uk

traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...

Mikkel Nygaard, Glynn Winskel

claim paper

Read More »

22

ATVA
2008
Springer

99views Hardware» more ATVA 2008»

Model Checking Recursive Programs with Exact Predicate Abstraction

13 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 »

« Prev « First page 22 / 556 Last » Next »