4107 search results - page 392 / 822 » The Generalized Lambda Test |
178
click to vote
ICIAP
2009
ACM
16 years 7 months ago
2009
ACM
Abstract. We exploit the recurrence of structures at different locations, orientations and scales in an image to perform denoising. While previous methods based on "nonlocal f...
303
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
324
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...
178
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
Data Stream Management Systems (DSMSs) must support optimized execution scheduling of multiple continuous queries on massive, and frequently bursty, data streams. Previous approac...
196
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Most existing RCL−1 circuit reductions stamp inverse inductance L−1 elements by a second-order nodal analysis (NA). The NA formulation uses nodal voltage variables and describ...