Sciweavers

822 search results - page 85 / 165
» Visualization techniques utilizing the sensitivity analysis ...
Sort
View
ISORC
2005
IEEE
15 years 6 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
84
Voted
ICIP
2005
IEEE
16 years 2 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
128
Voted
CVPR
2007
IEEE
16 years 2 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
15 years 5 months 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
117
Voted
NIPS
2004
15 years 2 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