8780 search results - page 1594 / 1756 » On the Feasibility of Consistent Computations |
206
click to vote
SCALESPACE
2007
Springer
16 years 16 days ago
2007
Springer
This paper presents a statistical model for textures that uses a non-negative decomposition on a set of local atoms learned from an exemplar. This model is described by the varianc...
166
click to vote
SG
2007
Springer
16 years 16 days ago
2007
Springer
: We propose a sketch-based interface for modeling the myocardial fiber orientation required in the electrophysiological simulation of the heart, especially the ventricles. The use...
178
click to vote
SOFSEM
2007
Springer
16 years 16 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
163
click to vote
FOCS
2006
IEEE
16 years 15 days ago
2006
IEEE
We study compression that preserves the solution to an instance of a problem rather than preserving the instance itself. Our focus is on the compressibility of NP decision problem...
147
click to vote
HPCS
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper presents the initial design of the Cyclops-64 (C64) system software infrastructure and tools under development as a joint effort between IBM T.J. Watson Research Center...