1416 search results - page 57 / 284 » An Exact Interpretation of While |
ACL
1998
13 years 11 months ago
1998
We introduce an algorithm for scope resolution in underspecified semantic representations. Scope preferences are suggested on the basis of semantic argument structure. The major n...
ACL
1990
13 years 11 months ago
1990
Current complex-feature based grammars use a single procedure--unification--for a multitude of purposes, among them, enforcing formal agreement between purely syntactic features. ...
ENTCS
2006
13 years 10 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
COMBINATORICS
2007
13 years 10 months ago
2007
By introducing the notion of relative derangements of type B, also called signed relative derangements, which are defined in terms of signed permutations, we obtain a type B anal...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
In this paper, we study the application of sparse principal component analysis (PCA) to clustering and feature selection problems. Sparse PCA seeks sparse factors, or linear combi...