5525 search results - page 818 / 1105 » Verification of Model Transformations |
210
Voted
CN
1999
15 years 6 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
168
click to vote
TCSV
2002
15 years 6 months ago
2002
A novel frequency-domain technique for image blocking artifact detection and reduction is presented in this paper. The algorithm first detects the regions of the image which presen...
125
click to vote
TIT
2002
15 years 6 months ago
2002
This paper provides a mathematical analysis of transform compression in its relationship to linear and nonlinear approximation theory. Contrasting linear and nonlinear approximatio...
174
click to vote
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Flow Doppler imaging has become an integral part of an echocardiographic exam. Automated interpretation of flow doppler imaging has so far been restricted to obtaining hemodynami...
191
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Image keypoints are broadly used in robotics for different purposes, ranging from recognition to 3D reconstruction, passing by SLAM and visual servoing. Robust keypoint matchin...