4114 search results - page 381 / 823 » Efficient Algorithms for the 2-Center Problems |
153
click to vote
IJAHUC
2010
15 years 5 months ago
2010
: We consider the problem of routing locality in peer-to-peer storage systems where peers store and exchange data among themselves. With the global information, peers will take the...
165
click to vote
ACL
2010
15 years 4 months ago
2010
Incremental parsing techniques such as shift-reduce have gained popularity thanks to their efficiency, but there remains a major problem: the search is greedy and only explores a ...
175
click to vote
DLOG
2010
15 years 4 months ago
2010
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on co...
193
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
177
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Based on the theory of Markov Random Fields, a Bayesian regularization model for diffusion tensor images (DTI) is proposed in this paper. The low-degree parameterization of diffus...