9405 search results - page 300 / 1881 » Computing a Model of Set Theory |
211
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
147
click to vote
RECOMB
2003
Springer
16 years 5 months ago
2003
Springer
Genetic linkage analysis is a challenging application which requires Bayesian networks consisting of thousands of vertices. Consequently, computing the likelihood of data, which i...
128
Voted
AO
2007
15 years 5 months ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
171
click to vote
RTAS
2007
IEEE
15 years 11 months ago
2007
IEEE
Cluster computing has emerged as a new paradigm for solving large-scale problems. To enhance QoS and provide performance guarantees in cluster computing environments, various real...
150
Voted
MICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...