336 search results - page 24 / 68 » Program Speedups in Theory and Practice |
145
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
90
Voted
ICS
2009
Tsinghua U.
15 years 7 months ago
2009
Tsinghua U.
General purpose programming on the graphics processing units (GPGPU) has received a lot of attention in the parallel computing community as it promises to offer the highest perfo...
160
Voted
POPL
2003
ACM
16 years 23 days ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
106
click to vote
AGI
2008
15 years 1 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
120
click to vote
ATAL
2010
Springer
15 years 20 days ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...