9049 search results - page 310 / 1810 » The New C Standard |
150
Voted
CIE
2008
Springer
15 years 8 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...
163
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Usable security has unique usability challenges because the need for security often means that standard humancomputer-interaction approaches cannot be directly applied. An importa...
194
Voted
NIPS
2003
15 years 8 months ago
2003
This paper presents a method for learning a distance metric from relative comparison such as “A is closer to B than A is to C”. Taking a Support Vector Machine (SVM) approach,...
218
click to vote
ODP
1993
15 years 8 months ago
1993
The user-centred philosophy of Computer Supported Cooperative Work (CSCW) challenges the established principles of many existing technologies. In turn, the development of CSCW is ...
135
click to vote
AO
2006
15 years 6 months ago
2006
Abstract. That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson...