Sciweavers

1359 search results - page 59 / 272
» Probabilistic Points-to Analysis
Sort
View
ESORICS
2009
Springer
15 years 10 months ago
Computationally Sound Analysis of a Probabilistic Contract Signing Protocol
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
Mihhail Aizatulin, Henning Schnoor, Thomas Wilke
DAC
2001
ACM
15 years 10 months ago
Fast Statistical Timing Analysis By Probabilistic Event Propagation
Jing-Jia Liou, Kwang-Ting Cheng, Sandip Kundu, Ang...
FGR
2004
IEEE
107views Biometrics» more  FGR 2004»
15 years 1 months ago
Intra-Personal Kernel Space for Face Recognition
Intra-personal space modeling proposed by Moghaddam et. al. has been successfully applied in face recognition. In their work the regular principal subspaces are derived from the i...
Shaohua Kevin Zhou, Rama Chellappa, Baback Moghadd...
WCE
2007
14 years 11 months ago
Optimizing Designs based on Risk Approach
— In this paper a new approach to optimize nuclear power plant designs based on global risk reduction are described. In design the focus is on as components quality as redundancy...
Jorge E. Núñez Mc Leod, Selva S. Riv...
CPHYSICS
2006
95views more  CPHYSICS 2006»
14 years 9 months ago
Efficient data processing and quantum phenomena: Single-particle systems
We study the relation between the acquisition and analysis of data and quantum theory using a probabilistic and deterministic model for photon polarizers. We introduce criteria fo...
H. De Raedt, Koen De Raedt, K. Michielsen, S. Miya...