6608 search results - page 1131 / 1322 » On the Completeness of Model Checking |
133
click to vote
STOC
2009
ACM
16 years 5 months ago
2009
ACM
We consider and analyze a new algorithm for balancing indivisible loads on a distributed network with n processors. The aim is minimizing the discrepancy between the maximum and m...
142
click to vote
MOBIHOC
2009
ACM
16 years 5 months ago
2009
ACM
Femto cells are a cost-effective means of providing ubiquitous connectivity in future broadband wireless networks. While their primary purpose has been to improve coverage in curr...
127
click to vote
KDD
2002
ACM
16 years 5 months ago
2002
ACM
In the last decade there has been an explosion of interest in mining time series data. Literally hundreds of papers have introduced new algorithms to index, classify, cluster and s...
133
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
Volumetric displays possess a number of unique properties which potentially make them particularly suitable for collaborative 3D applications. Because such displays have only rece...
126
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
In this paper we present work toward a new method of evaluation for Reality-Based Interaction Styles that we call Cognitive Description and Evaluation of Interaction (CoDeIn). Thi...