9067 search results - page 771 / 1814 » Adaptive Model Checking |
187
click to vote
APPROX
2006
Springer
15 years 11 months ago
2006
Springer
We prove that any real matrix A contains a subset of at most 4k/ + 2k log(k + 1) rows whose span "contains" a matrix of rank at most k with error only (1 + ) times the er...
193
click to vote
DEXAW
2004
IEEE
15 years 11 months ago
2004
IEEE
As the number of resources on the Grid tends to be very dynamic and potentially large, it becomes increasingly important to discover and monitor them efficiently. This paper conce...
192
click to vote
AAAI
2008
15 years 10 months ago
2008
This paper highlights the crucial role that modern machine learning techniques can play in the optimization of treatment strategies for patients with chronic disorders. In particu...
177
click to vote
PODC
2010
ACM
15 years 9 months ago
2010
ACM
In this paper, we address the problem of content placement in peer-to-peer systems, with the objective of maximizing the utilization of peers' uplink bandwidth resources. We ...
201
click to vote
LREC
2010
15 years 9 months ago
2010
In Chinese texts, words composed of single or multiple characters are not separated by spaces, unlike most western languages. Therefore Chinese word segmentation is considered an ...