1068 search results - page 140 / 214 » For completeness, sublogarithmic space is no space |
CHI
2002
ACM
14 years 9 months ago
2002
ACM
In order to develop technology that promotes social interaction rather than isolation, we are exploring the space between board games and video games. We created a hybrid game tha...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to p...
STOC
2007
ACM
14 years 9 months ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...
OSDI
2008
ACM
14 years 9 months ago
2008
ACM
Transactional flash (TxFlash) is a novel solid-state drive (SSD) that uses flash memory and exports a transactional interface (WriteAtomic) to the higher-level software. The copy-...
EDBT
2004
ACM
14 years 9 months ago
2004
ACM
Efficient search for nearest neighbors (NN) is a fundamental problem arising in a large variety of applications of vast practical interest. In this paper we propose a novel techniq...