5344 search results - page 820 / 1069 » Privacy-Preserving Set Operations |
179
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...
199
click to vote
CIIA
2009
15 years 7 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
162
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
The saddle point framework provides a convenient way to formulate many convex variational problems that occur in computer vision. The framework unifies a broad range of data and re...
179
click to vote
ECRTS
2010
IEEE
15 years 7 months ago
2010
IEEE
Modern real-time systems increasingly operate with multiple interactive applications. While these systems often require reliable quality of service (QoS) for the applications, eve...
215
click to vote
EPEW
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...