Sciweavers

3536 search results - page 375 / 708
» Local dependent components
Sort
View
152
Voted
EUROCRYPT
2004
Springer
15 years 10 months ago
On the Hardness of Information-Theoretic Multiparty Computation
We revisit the following open problem in information-theoretic cryptography: Does the communication complexity of unconditionally secure computation depend on the computational com...
Yuval Ishai, Eyal Kushilevitz
TACAS
2004
Springer
135views Algorithms» more  TACAS 2004»
15 years 10 months ago
Liveness with Incomprehensible Ranking
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
130
Voted
AMFG
2003
IEEE
118views Biometrics» more  AMFG 2003»
15 years 10 months ago
Shape and appearance models of talking faces for model-based tracking
This article presents a system that can recover and track the 3D speech movements of a speaker’s face for each image of a monocular sequence. A speaker-specific face model is u...
Matthias Odisio, Gérard Bailly
ICIP
2003
IEEE
15 years 10 months ago
A general framework for designing image processing algorithms for coherent polarimetric images
We describe a general framework to design optimal image processing algorithms for polarimetric images formed with coherent radiations, which can be optical or microwave. Starting ...
François Goudail, Frédéric Ga...
ISCC
2003
IEEE
15 years 10 months ago
Provisioning Algorithms in Survivable Optical Networks with Shared Protection
The efficient use of network capacity strongly depends upon the path selection procedure. In this paper we propose and evaluate efficient path selection algorithms for survivable ...
Chadi Assi, Ahmad Khalil, Nasir Ghani, Mohamed A. ...