Sciweavers

Share
17 search results - page 1 / 4
» On the Relations between the Syntactic Theories of lambda-mu...
Sort
View
CSL
2008
Springer
9 years 1 months ago
On the Relations between the Syntactic Theories of lambda-mu-Calculi
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
Alexis Saurin
ACL
2007
9 years 1 months ago
Detecting Semantic Relations between Named Entities in Text Using Contextual Features
This paper proposes a supervised learning method for detecting a semantic relation between a given pair of named entities, which may be located in different sentences. The method ...
Toru Hirano, Yoshihiro Matsuo, Gen-ichiro Kikui
ACL
2010
8 years 10 months ago
Fully Unsupervised Core-Adjunct Argument Classification
The core-adjunct argument distinction is a basic one in the theory of argument structure. The task of distinguishing between the two has strong relations to various basic NLP task...
Omri Abend, Ari Rappoport
ICDT
2012
ACM
247views Database» more  ICDT 2012»
7 years 2 months ago
A normal form for preventing redundant tuples in relational databases
We introduce a new normal form, called essential tuple normal form (ETNF), for relations in a relational database where the constraints are given by functional dependencies and jo...
Hugh Darwen, C. J. Date, Ronald Fagin
CSL
1997
Springer
9 years 4 months ago
From Action Calculi to Linear Logic
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
Andrew Barber, Philippa Gardner, Masahito Hasegawa...
books