285 search results - page 40 / 57 » Steaming on Convex Hulls |
105
click to vote
MOR
2010
14 years 12 months ago
2010
We consider the mixed integer version of bipartite vertex cover. This is equivalent to the mixed integer network dual model, recently introduced in [2], that generalizes several m...
144
click to vote
TGC
2010
Springer
14 years 11 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
142
click to vote
MA
2011
Springer
14 years 8 months ago
2011
Springer
A general notion of trimmed regions for empirical distributions in d-space is introduced. The regions are called weighted-mean trimmed regions. They are continuous in the data as ...
JMLR
2010
14 years 8 months ago
2010
While most popular collaborative filtering methods use low-rank matrix factorization and parametric density assumptions, this article proposes an approach based on distribution-fr...
125
click to vote
PODC
2012
ACM
13 years 4 months ago
2012
ACM
This paper proves a necessary and sufficient condition for the existence of iterative algorithms that achieve approximate Byzantine consensus in arbitrary directed graphs, where e...