3742 search results - page 219 / 749 » On the Use of Formal Techniques for Validation |
192
click to vote
IBPRIA
2007
Springer
16 years 21 days ago
2007
Springer
This paper presents a novel methodology to obtain the breast skin line in mammographic images. The breast edge provides important information of the breast shape and deformation wh...
131
click to vote
ICMCS
2006
IEEE
16 years 17 days ago
2006
IEEE
In this paper, we address the problem of separating unknown multicomponent signals from their instantaneous mixtures. Using linear time-frequency (TF) representation of the mixtur...
161
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
A novel technique is presented in this paper to extract strings in color images of both Business Settlement Plan (BSP) and non-BSP airline coupon. The essential concept is to remo...
150
click to vote
MVA
2007
15 years 8 months ago
2007
We propose a technique to recognize actions of grasshoppers based on spectral clustering. We track the object in 3D and construct features using 3D object movement in segments of ...
175
click to vote
ACCV
2007
Springer
16 years 22 days ago
2007
Springer
We propose a method for interpolation between eigenspaces. Techniques that represent observed patterns as multivariate normal distribution have actively been developed to make it r...