9405 search results - page 1634 / 1881 » Computing a Model of Set Theory |
141
click to vote
TCC
2010
Springer
15 years 12 months ago
2010
Springer
A number of works have investigated using tamper-proof hardware tokens as tools to achieve a variety of cryptographic tasks. In particular, Goldreich and Ostrovsky considered the ...
162
click to vote
FOCS
2008
IEEE
15 years 11 months ago
2008
IEEE
Learning problems form an important category of computational tasks that generalizes many of the computations researchers apply to large real-life data sets. We ask: what concept ...
141
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
Volunteer Computing is becoming a new paradigm not only for the Computational Grid, but also for institutions using production-level Data Grids because of the enormous storage pot...
176
click to vote
RECOMB
2007
Springer
15 years 11 months ago
2007
Springer
Publicly-available data sets provide detailed and large-scale information on multiple types of molecular interaction networks in a number of model organisms. These multi-modal univ...
139
Voted
IV
2003
IEEE
15 years 10 months ago
2003
IEEE
The paper begins with a response to the nature of contemporary artists relationships to how computers have permeated the fine art domain and how they affect the creative process. ...