770 search results - page 94 / 154 » Dinatural Terms in System F |
149
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
176
click to vote
SAC
2009
ACM
16 years 29 days ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
144
click to vote
SIGCSE
2009
ACM
16 years 29 days ago
2009
ACM
Many courses on the history of computing are designed for a general student audience, and as such, include fewer technical details than one might find in a typical CS course. Whi...
169
click to vote
WWW
2009
ACM
16 years 29 days ago
2009
ACM
We propose a novel cost-efficient approach to threshold selection for binary web-page classification problems with imbalanced class distributions. In many binary-classification ta...
143
click to vote
CIKM
2009
Springer
16 years 22 days ago
2009
Springer
Histogram construction or sequence segmentation is a basic task with applications in database systems, information retrieval, and knowledge management. Its aim is to approximate a...