3984 search results - page 482 / 797 » A Model-Driven Transformation Method |
157
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Stencil computation (SC) is of critical importance for broad scientific and engineering applications. However, it is a challenge to optimize complex, highorder SC on emerging clus...
170
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Tracking moving objects from image sequences obtained by a moving camera is a difficult problem since there exists apparent motion of the static background. It becomes more dif...
188
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
This appendix proves the illumination robustness of the proposed corner detector over the Harris corner detector. I. HARRIS CORNER DETECTOR The Harris corner detector [1] is based...
152
click to vote
CVPR
2007
IEEE
16 years 28 days ago
2007
IEEE
Registering consecutive images from an airborne sensor into a mosaic is an essential tool for image analysts. Strictly local methods tend to accumulate errors, resulting in distor...
189
click to vote
CSL
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...