10 search results - page 1 / 2 » Underspecified Beta Reduction |
ACL
2001
13 years 6 months ago
2001
For ambiguous sentences, traditional semantics construction produces large numbers of higher-order formulas, which must then be -reduced individually. Underspecified versions can ...
RTA
2001
Springer
13 years 9 months ago
2001
Springer
The constraint language for lambda structures (CLLS) can model lambda terms that are known only partially. In this paper, we introduce beta reduction constraints to describe beta r...
BMCBI
2011
12 years 8 months ago
2011
Background: Patterns of genome-wide methylation vary between tissue types. For example, cancer tissue shows markedly different patterns from those of normal tissue. In this paper ...
BIOWIRE
2007
Springer
13 years 11 months ago
2007
Springer
Random projection (RP) is a common technique for dimensionality reduction under L2 norm for which many significant space embedding results have been demonstrated. In particular, r...
AMC
2006
13 years 5 months ago
2006
This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churc...