12774 search results - page 2430 / 2555 » A Framework for Proof Systems |
185
click to vote
MM
2005
ACM
16 years 1 days ago
2005
ACM
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...
146
click to vote
MOBIDE
2005
ACM
16 years 1 days ago
2005
ACM
The increasing popularity of mobile devices and the support of web portals towards performing transactions from these mobile devices has enabled business on the move. However, int...
132
click to vote
PPOPP
2005
ACM
16 years 1 days ago
2005
ACM
Recently, system architects have built low-power, high-performance clusters, such as Green Destiny. The idea behind these clusters is to improve the energy efficiency of nodes. H...
161
click to vote
SAC
2005
ACM
16 years 1 days ago
2005
ACM
The tuple space model inspired by Linda has recently been rediscovered by distributed middleware. Moreover, some researchers also applied it in the challenging scenarios involving...
178
click to vote
SIGIR
2005
ACM
16 years 1 days ago
2005
ACM
The TREC .GOV collection makes a valuable web testbed for distributed information retrieval methods because it is naturally partitioned and includes 725 web-oriented queries with ...