3713 search results - page 667 / 743 » Constructing a Calculus of Programs |
LREC
2008
13 years 11 months ago
2008
Recently, collaboratively constructed resources such as Wikipedia and Wiktionary have been discovered as valuable lexical semantic knowledge bases with a high potential in diverse...
LREC
2008
13 years 11 months ago
2008
To achieve true interoperability for valuable linguistic resources different levels of variation need to be addressed. ISO Technical Committee 37, Terminology and other language a...
NIPS
2008
13 years 11 months ago
2008
We consider the problem of binary classification where the classifier may abstain instead of classifying each observation. The Bayes decision rule for this setup, known as Chow�...
SODA
2008
ACM
13 years 11 months ago
2008
ACM
We consider a problem known as the restricted assignment version of the max-min allocation problem with indivisible goods. There are n items of various nonnegative values and m pl...
SPLC
2008
13 years 11 months ago
2008
We have developed and maintained a set of closely related compilers. Although much of their code is duplicated and shared, they have been maintained separately because they are tr...