438 search results - page 85 / 88 » Pervasive Theory of Memory |
100
click to vote
DOLAP
2000
ACM
15 years 4 months ago
2000
ACM
Being able to efficiently answer arbitrary OLAP queries that aggregate along any combination of dimensions over numerical and categorical attributes has been a continued, major co...
147
Voted
CAV
1998
Springer
15 years 3 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...
115
Voted
GROUP
2009
ACM
15 years 2 months ago
2009
ACM
Collaborative brainstorming can be a challenging but important part of creative group problem solving. Mind-mapping has the potential to enhance the brainstorming process but has ...
91
Voted
IE
2007
15 years 1 months ago
2007
This paper describes the rationale and subsequent development stages of a work in progress: a graffiti toolkit for rich spatial 3D environments and an actual world mnemonic collec...
115
click to vote
OPODIS
2004
15 years 1 months ago
2004
S (in alphabetic order by speaker surname) Speaker: Uri Abraham (Ben-Gurion University) Title: Self-Stabilizing TimeStamps : Speaker: Anish Arora (Ohio State) Title: Self-Stabilizi...