49 search results - page 7 / 10 » Provenance Traces |
SCALESPACE
2009
Springer
14 years 2 months ago
2009
Springer
Adding external knowledge improves the results for ill-posed problems. In this paper we present a new multi-level optimization framework for image registration when adding landmark...
CASON
2010
IEEE
12 years 11 months ago
2010
IEEE
—The analysis of social networks is concentrated especially on uncovering hidden relations and properties of network members (vertices). Most of the current approaches are focuse...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
Scheduling of delay-tolerant jobs has been proposed as a mechanism to alleviate pressure on congested network resources. However, when multiple competing users share these resource...
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
Counterfeit and expired pharmaceuticals are a significant problem in the developing world, constituting up to 80% of stock on pharmacy shelves. This is due both to poor existing ...