444 search results - page 6 / 89 » Erdos-Rado without choice |
CIE
2008
Springer
13 years 9 months ago
2008
Springer
The proof of the relative consistency of the axiom of choice has been mechanized using Isabelle/ZF, building on a previous mechanization of the reflection theorem. The heavy relia...
NIPS
2007
13 years 9 months ago
2007
We propose an active learning algorithm that learns a continuous valuation model from discrete preferences. The algorithm automatically decides what items are best presented to an...
CSDA
2006
13 years 7 months ago
2006
Flexible discriminant analysis (FDA) is a general methodology which aims at providing tools for multigroup non linear classification. It consists in a nonparametric version of dis...
PRESENCE
2008
13 years 7 months ago
2008
The current study investigated the value of using immersive virtual environment technology as a tool for assessing eyewitness identification. Participants witnessed a staged crime...
ISCA
1996
IEEE
13 years 11 months ago
1996
IEEE
Simultaneous multithreading is a technique that permits multiple independent threads to issue multiple instructions each cycle. In previous work we demonstrated the performance po...