5525 search results - page 676 / 1105 » Verification of Model Transformations |
203
click to vote
ICIP
2008
IEEE
16 years 8 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...
195
click to vote
ICFP
2002
ACM
16 years 7 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
172
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Many successful models for scene or object recognition transform low-level descriptors (such as Gabor filter responses, or SIFT descriptors) into richer representations of interme...
187
click to vote
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
Optical imaging is a powerful technique to map brain function in animals. In this study, we consider in vivo optical imaging of the murine olfactory bulb, using an intrinsic signa...
180
click to vote
SIBGRAPI
2007
IEEE
16 years 1 months ago
2007
IEEE
— In the reversible conversion of color images to gray ones, colors are mapped to textures and from the textures the receiver can recover the colors, i.e. one may print a color i...