Sciweavers

822 search results - page 85 / 165
» Visualization techniques utilizing the sensitivity analysis ...
Sort
View
ISORC
2005
IEEE
14 years 1 months ago
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
Zonghua Gu, Kang G. Shin
ICIP
2005
IEEE
14 years 9 months ago
Image denoising in nonlinear scale-spaces: automatic scale selection via cross-validation
Multiscale, i.e. scale-space image analysis is a powerful framework for many image processing tasks. A fundamental issue with such scale-space techniques is the automatic selectio...
George Papandreou, Petros Maragos
CVPR
2007
IEEE
14 years 10 months ago
Removal of Image Artifacts Due to Sensor Dust
Image artifacts that result from sensor dust are a common but annoying problem for many photographers. To reduce the appearance of dust in an image, we first formulate a model of ...
Changyin Zhou, Stephen Lin
SSIAI
2000
IEEE
14 years 16 days ago
Morphological Pyramid Image Registration
We proposed an intensity-based morphological pyramid image registration algorithm. This approach utilizes the global affine transformation model, also considering radiometric chan...
Zhongxiu Hu, Scott T. Acton
NIPS
2004
13 years 9 months ago
A Three Tiered Approach for Articulated Object Action Modeling and Recognition
Visual action recognition is an important problem in computer vision. In this paper, we propose a new method to probabilistically model and recognize actions of articulated object...
Le Lu, Gregory D. Hager, Laurent Younes