1991 search results - page 230 / 399 » Small Models of Large Machines |
139
Voted
STOC
1999
ACM
15 years 9 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
140
click to vote
SIGGRAPH
1992
ACM
15 years 8 months ago
1992
ACM
We describe a physically-based Monte Carlo technique for approximating bidirectional reflectance distribution functions (BRDFs) for a large class of geometries by directly simulat...
197
click to vote
DAMAS
2005
Springer
15 years 10 months ago
2005
Springer
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain. Effective applications to support SRL must antic...
192
click to vote
GROUP
2010
ACM
15 years 2 months ago
2010
ACM
Previous research has motivated the idea of automatically determining when programmers are having difficulty, provided an initial algorithm (unimplemented in an actual system), an...
215
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Synchronous transactional logging is the central mechanism for ensuring data persistency and recoverability in database systems. Unfortunately, magnetic disks are ill-suited for t...