15073 search results - page 93 / 3015 » Probabilistic algorithms for computing resultants |
120
Voted
FOCS
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we show a reduction from the Unique Games problem to the problem of approximating MAX-CUT to within a factor of GW + , for all > 0; here GW .878567 denotes the a...
136
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
In this paper, we demonstrate an integrated registration and clustering algorithm to compute an atlas of fiberbundles from a set of multi-subject diffusion weighted MR images. We ...
132
click to vote
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
107
click to vote
CONCURRENCY
2000
15 years 3 months ago
2000
Javelin is a Java-based infrastructure for global computing. This paper presents Javelin++, an extension of Javelin, intended to support a much larger set of computational hosts. ...
212
click to vote
SIGMOD
2005
ACM
16 years 3 months ago
2005
ACM
Many analysis and monitoring applications require the repeated execution of expensive modeling functions over streams of rapidly changing data. These applications can often be exp...