1755 search results - page 37 / 351 » An efficient simulation algorithm based on abstract interpre... |
AAECC
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We build on the new security notion for deterministic encryption (PRIV) and the PRIV-secure schemes presented by Bellare et al at Crypto'07. Our work introduces: 1) ...
ERSA
2006
14 years 11 months ago
2006
Reconfigurable computing offers an attractive solution to accelerating infrared scene simulations. In infrared scene simulations, the modeling of a number of atmospheric and optic...
103
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract –In this paper, a variational message passing framework is proposed for Markov random fields, which is computationally more efficient and admits wider applicability comp...
NIPS
2004
14 years 11 months ago
2004
This paper investigates a new learning model in which the input data is corrupted with noise. We present a general statistical framework to tackle this problem. Based on the stati...
100
click to vote
CAL
2002
14 years 9 months ago
2002
Abstract-- Computer architects must determine how to most effectively use finite computational resources when running simulations to evaluate new architectural ideas. To facilitate...