5363 search results - page 956 / 1073 » Building the Cerebellum in a Computer |
176
click to vote
P2P
2006
IEEE
16 years 13 days ago
2006
IEEE
Peer-to-peer grids aim to build computational grids encompassing thousands of sites. To achieve this scale, such systems cannot rely on trust or off-line negotiations among partic...
216
click to vote
ACL2
2006
ACM
16 years 12 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
183
click to vote
ACMDIS
2006
ACM
16 years 12 days ago
2006
ACM
This paper presents the main results of a three-year long field and design study of proactive information technology in the home. This technology uses sensors to track human activ...
177
click to vote
ACMSE
2006
ACM
16 years 12 days ago
2006
ACM
Standardized middleware is used to build large distributed real-time and enterprise (DRE) systems. These middleware are highly flexible and support a large number of features sin...
157
click to vote
CHI
2006
ACM
16 years 11 days ago
2006
ACM
Multi-display environments and smart meeting rooms are now becoming more common. These environments build a shared display space from variety of devices: tablets, projected surfac...