12519 search results - page 2304 / 2504 » Approximation Problems Categories |
153
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Byzantine consensus in asynchronous message-passing systems has been shown to require at least 3f + 1 processes to be solvable in several system models (e.g., with failure detecto...
146
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Web-based collaboration systems typically require dynamic and context-based interactions between people and services. To support such complex interaction scenarios, we introduce a...
135
click to vote
WSDM
2010
ACM
15 years 11 months ago
2010
ACM
Web search engines are traditionally evaluated in terms of the relevance of web pages to individual queries. However, relevance of web pages does not tell the complete picture, si...
136
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
143
click to vote
IPSN
2010
Springer
15 years 11 months ago
2010
Springer
We consider the problem of selecting an optimal set of sensors, as determined, for example, by the predictive accuracy of the resulting sensor network. Given an underlying metric ...