685 search results - page 10 / 137 » Closure Operators for Order Structures |
EACL
2006
ACL Anthology
15 years 1 months ago
2006
ACL Anthology
I propose a uniform approach to the elimination of redundancy in CCG lexicons, where grammars incorporate inheritance hierarchies of lexical types, defined over a simple, feature-...
104
click to vote
LFP
1992
15 years 26 days ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
106
click to vote
CSL
2010
Springer
15 years 24 days ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
LCN
1997
IEEE
15 years 3 months ago
1997
IEEE
A vertically structured Operating System is one in which neither the “kernel” nor “servers” perform work on behalf of applications – the former because it exists only to...
IJCAI
2007
15 years 1 months ago
2007
The Valued (VCSP) framework is a generic optimization framework with a wide range of applications. Soft arc consistency operations transform a VCSP into an equivalent problem by s...