1302 search results - page 132 / 261 » Fair Equivalence Relations |
150
click to vote
ICML
2003
IEEE
16 years 6 months ago
2003
IEEE
A new method for classification is proposed. This is based on kernel orthonormalized partial least squares (PLS) dimensionality reduction of the original data space followed by a ...
149
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
In a new model for answer retrieval, document collections are distilled offline into large repositories of facts. Each fact constitutes a potential direct answer to questions seek...
280
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
169
click to vote
OZCHI
2009
ACM
16 years 22 days ago
2009
ACM
For many, an interest in Human-Computer Interaction is equivalent to an interest in usability. However, using computers is only one way of relating to them, and only one topic fro...
158
click to vote
TFM
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...