1187 search results - page 51 / 238 » Computation in Extended Argumentation Frameworks |
213
click to vote
IACR
2011
14 years 5 months ago
2011
Fully homomorphic encryption (FHE) provides a simple template for secure computation between two parties (Alice and Bob) where: (I) Alice encrypts her input under her key, (II) Bo...
140
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
134
click to vote
ECCV
2008
Springer
16 years 7 months ago
2008
Springer
In this paper, a generic bi-directional framework is proposed for parametric image alignment, that extends the classification of [1]. Four main categories (Forward, Inverse, Depend...
170
click to vote
ISQED
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
148
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...