3888 search results - page 250 / 778 » Change-Driven Model Transformations |
175
click to vote
SIAMIS
2008
15 years 6 months ago
2008
We propose, analyze and test an alternating minimization algorithm for recovering images from blurry and noisy observations with total variation (TV) regularization. This algorith...
165
click to vote
RAS
2006
15 years 6 months ago
2006
In this paper, we propose a novel algorithm for the automatic registration of two overlapping range images. Since it is relatively difficult to compare the registration errors of ...
183
click to vote
DSL
2009
15 years 4 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
198
click to vote
DEBU
2010
15 years 4 months ago
2010
Panda (for Provenance and Data) is a new project whose goal is to develop a general-purpose system that unifies concepts from existing provenance systems and overcomes some limita...
206
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...