Sciweavers

2168 search results - page 82 / 434
» Using Approximation Hardness to Achieve Dependable Computati...
Sort
View
108
Voted
MICCAI
2009
Springer
16 years 4 months ago
A Fast Alternative to Computational Fluid Dynamics for High Quality Imaging of Blood Flow
Obtaining detailed, patient-specific blood flow information would be very useful in detecting and monitoring cardio-vascular diseases. Current approaches rely on computational flui...
Robert H. P. McGregor, Dominik Szczerba, Krishnamu...
117
Voted
CRYPTO
2007
Springer
105views Cryptology» more  CRYPTO 2007»
15 years 9 months ago
A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness
In this paper we identify the (P, Q)-DDH assumption, as an extreme, powerful generalization of the Decisional Diffie-Hellman (DDH) assumption: virtually all previously proposed gen...
Emmanuel Bresson, Yassine Lakhnech, Laurent Mazar&...
136
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
Efficient Approximations for Call Admission Control Performance Evaluations in Multi-Service Networks
—Several dynamic call admission control (CAC) schemes for cellular networks have been proposed in the literature to reserve resources adaptively to provide the desired quality of...
Emre A. Yavuz, Victor C. M. Leung
123
Voted
TCC
2007
Springer
102views Cryptology» more  TCC 2007»
15 years 9 months ago
Parallel Repetition of Computationally Sound Protocols Revisited
Abstract. Parallel repetition is well known to reduce the error probability at an exponential rate for single- and multi-prover interactive proofs. Bellare, Impagliazzo and Naor (1...
Krzysztof Pietrzak, Douglas Wikström
274
Voted
JMLR
2012
13 years 6 months ago
Approximate Inference in Additive Factorial HMMs with Application to Energy Disaggregation
This paper considers additive factorial hidden Markov models, an extension to HMMs where the state factors into multiple independent chains, and the output is an additive function...
J. Zico Kolter, Tommi Jaakkola