870 search results - page 156 / 174 » Constructions for Difference Triangle Sets |
98
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
We consider the problem of indexing high-dimensional data for answering (approximate) similarity-search queries. Similarity indexes prove to be important in a wide variety of sett...
242
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
139
Voted
COORDINATION
2009
Springer
16 years 29 days ago
2009
Springer
: Heterogeneous wireless sensor networks represent a challenging programming environment. Servilla addresses this by offering a new middleware framework that provides service provi...
107
Voted
HPCA
2008
IEEE
16 years 24 days ago
2008
IEEE
The trend towards integrating multiple cores on the same die has accentuated the need for larger on-chip caches. Such large caches are constructed as a multitude of smaller cache ...
130
click to vote
CHI
2003
ACM
16 years 23 days ago
2003
ACM
We describe two games in which online participants collaborated with mobile participants on the city streets. In the first, the players were online and professional performers wer...