2479 search results - page 271 / 496 » A Computational Theory of Working Memory |
180
click to vote
VISUALIZATION
2005
IEEE
16 years 6 days ago
2005
IEEE
Recent years have seen an immense increase in the complexity of geometric data sets. Today’s gigabyte-sized polygon models can no longer be completely loaded into the main memor...
232
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
177
click to vote
STOC
2010
ACM
15 years 11 months ago
2010
ACM
Data streams emerged as a critical model for multiple applications that handle vast amounts of data. One of the most influential and celebrated papers in streaming is the “AMSâ...
187
click to vote
ICPP
2007
IEEE
16 years 28 days ago
2007
IEEE
As the number of computing and storage nodes keeps increasing, the interconnection network is becoming a key element of many computing and communication systems, where the overall...
173
click to vote
ISWC
1998
IEEE
15 years 11 months ago
1998
IEEE
StartleCam is a wearable video camera, computer, and sensing system, which enables the camera to be controlled via both conscious and preconscious events involving the wearer. Tra...