5525 search results - page 683 / 1105 » Verification of Model Transformations |
231
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Color is a powerful attribute that is used to characterize objects for tracking and other surveillance tasks. Since color is dependent on ambient illumination and the imaging equi...
213
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose a novel semi-supervised classifier for handwritten digit recognition problems that is based on the assumption that any digit can be obtained as a slight transformation...
220
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...
217
click to vote
TVCG
2012
13 years 9 months ago
2012
—In this paper, we present a robust and accurate algorithm for interactive image segmentation. The level set method is clearly advantageous for image objects with a complex topol...
207
click to vote
IPMI
2005
Springer
16 years 14 days ago
2005
Springer
Automatic multi-modal image registration is central to numerous tasks in medical imaging today and has a vast range of applications e.g., image guidance, atlas construction, etc. ...