5084 search results - page 872 / 1017 » Proving Possibility Properties |
132
click to vote
JOC
2010
14 years 11 months ago
2010
Abstract. In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their private inputs. The computati...
367
click to vote
ICA
2012
Springer
14 years 17 hour ago
2012
Springer
A novel tensor decomposition called pattern or P-decomposition is proposed to make it possible to identify replicating structures in complex data, such as textures and patterns in ...
134
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
178
Voted
ECCV
2004
Springer
16 years 6 months ago
2004
Springer
Suppose that two perspective views of four world points are given, that the intrinsic parameters are known, but the camera poses and the world point positions are not. We prove tha...
245
click to vote
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
Aggregate monitoring over data streams is attracting more and more attention in research community due to its broad potential applications. Existing methods suffer two problems, 1...