7393 search results - page 577 / 1479 » Synthesis-for-testability using transformations |
210
click to vote
ICIP
2008
IEEE
16 years 9 months ago
2008
IEEE
We consider the problem of reconstructing time sequences of spatially sparse signals (with unknown and time-varying sparsity patterns) from a limited number of linear "incohe...
201
click to vote
ICIP
2009
IEEE
2009
IEEE
Localized Null Space Representation For Dynamic Updating And Downdating In Image And Video Databases
16 years 8 months ago
Event/object classification and recognition is an extremely challenging problem, particularly when the query or stored data undergo an affine transformation due to camera motion. ...
212
click to vote
IPMI
2003
Springer
16 years 8 months ago
2003
Springer
In this paper we develop a novel measure of information in a random variable based on its cumulative distribution that we dub cumulative residual entropy (CRE). This measure parall...
185
click to vote
ISBI
2004
IEEE
16 years 8 months ago
2004
IEEE
Microscopy imaging often suffers from limited depth-offocus. However, the specimen can be `optically sectioned' by moving the object along the optical axis; different areas a...
316
click to vote
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...