860 search results - page 84 / 172 » Completeness in two-party secure computation: a computationa... |
181
click to vote
EUROCRYPT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In the bounded-storage model (BSM) for information-theoretically secure encryption and key-agreement one uses a random string R whose length t is greater than the assumed...
156
click to vote
ISBI
2006
IEEE
16 years 6 months ago
2006
IEEE
We present a method to improve the quality of cone-beam tomographic images computed from an intra-operative C-arm scan by adding information from an anatomical atlas. Limited rang...
183
click to vote
ICALP
2011
Springer
14 years 9 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
153
click to vote
EMMCVPR
2007
Springer
16 years 11 days ago
2007
Springer
Skeleton can be viewed as a compact shape representation in that the shape can be completely reconstructed form the skeleton. We present a novel method for skeleton pruning that is...
179
click to vote
WFLP
2009
Springer
15 years 10 months ago
2009
Springer
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...