Search Sciweavers | Sciweavers

713 search results - page 6 / 143

» Syntax and Semantics of Babel-17

click to vote

EPK
2006

84views Management» more EPK 2006»

Nautilus Event-driven Process Chains: Syntax, Semantics, and their Mapping to BPEL

13 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract: Nautilus Event-driven Process Chains (N-EPCs) are a variant of Eventdriven process chains allowing multiple events between functions. This allows events to be used as tra...

Oliver Kopp, Tobias Unger, Frank Leymann

claim paper

Read More »

click to vote

WOLLIC
2007
Springer

132views Artificial Intelligence» more WOLLIC 2007»

Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus

14 years 2 months ago

Download www.let.uu.nl

In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...

Michael Moortgat

claim paper

Read More »

click to vote

ACL
2008

149views Computational Linguistics» more ACL 2008»

Extraction of Entailed Semantic Relations Through Syntax-Based Comma Resolution

13 years 10 months ago

Download l2r.cs.uiuc.edu

This paper studies textual inference by investigating comma structures, which are highly frequent elements whose major role in the extraction of semantic relations has not been hi...

Vivek Srikumar, Roi Reichart, Mark Sammons, Ari Ra...

claim paper

Read More »

click to vote

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

14 years 8 months ago

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »