74 search results - page 14 / 15 » Deduction Schemes for Association Rules |
LREC
2010
13 years 9 months ago
2010
This paper investigates the mapping between two semantic formalisms, namely the tectogrammatical layer of the Prague Dependency Treebank 2.0 (PDT) and (Robust) Minimal Recursion S...
EACL
1993
ACL Anthology
13 years 8 months ago
1993
ACL Anthology
This paper solves some puzzles in the formalisation of logic for discontinuity in categorial grammar. A ‘tuple’ operation introduced in [Solias, 1992] is defined as a mode of...
MANSCI
2008
13 years 7 months ago
2008
We study large-scale service systems with multiple customer classes and many statistically identical servers. The following question is addressed: How many servers are required (s...
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
Web applications are becoming the dominant way to provide access to on-line services. At the same time, web application vulnerabilities are being discovered and disclosed at an al...