Sciweavers

3208 search results - page 240 / 642
» Methods and views
Sort
View
ESOP
1999
Springer
15 years 10 months ago
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
Andreas Podelski, Witold Charatonik, Martin Mü...
140
Voted
ICRA
2007
IEEE
125views Robotics» more  ICRA 2007»
16 years 2 days ago
Mirror Localization for a Catadioptric Imaging System by Projecting Parallel Lights
Abstract— This paper describes a method of mirror localization to calibrate a catadioptric imaging system. Even though the calibration of a catadioptric system includes the estim...
Ryusuke Sagawa, Nobuya Aoki, Yasuhiro Mukaigawa, T...
ICIP
2003
IEEE
16 years 7 months ago
Local regularity-based image denoising
We present an approach for image denoising based on the analysis of the local H?older regularity. The method takes the point of view that denoising may be performed by increasing ...
Jacques Lévy Véhel, Pierrick Legrand
SIBGRAPI
2009
IEEE
16 years 15 days ago
A Multi-linear Discriminant Analysis of 2D Frontal Face Images
We have designed and implemented a multi-linear discriminant method of constructing and quantifying statistically significant changes on human identity photographs. The method is...
Carlos E. Thomaz, Vagner do Amaral, Gilson Antonio...
CVPR
2008
IEEE
16 years 7 months ago
Calibration of an Articulated Camera System
Multiple Camera Systems (MCS) have been widely used in many vision applications and attracted much attention recently. There are two principle types of MCS, one is the Rigid Multi...
Junzhou Chen, Kin Hong Wong