2638 search results - page 349 / 528 » A Framework for Automatic Debugging |
210
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Some recent dereverberation approaches that have been effective for automatic speech recognition (ASR) applications, model reverberation as a linear convolution operation in the s...
183
click to vote
JSC
2011
14 years 9 months ago
2011
We scan a large class of one-parameter families of elliptic curves for efficient arithmetic. The construction of the class is inspired by toric geometry, which provides a natural ...
229
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper presents a novel multi-body multi-view stereo method to simultaneously recover dense depth maps and perform segmentation with the input of a monocular image sequence. U...
234
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
219
click to vote
CC
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. How can we exploit a microprocessor as efficiently as possible? The “classic” approach is static optimization at compile-time, optimizing a program for all possible u...