1585 search results - page 112 / 317 » A framework for computer-aided validation |
142
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Although software managers are generally good at new project estimation, their experience of scheduling rework tends to be poor. Inconsistent or incorrect effort estimation can in...
132
click to vote
ENTCS
2008
15 years 3 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
108
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
This paper addresses the problem of robust optimal multi-view triangulation. We propose an abstract framework, as well as a practical algorithm, which finds the best 3D reconstruc...
135
click to vote
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
A Generalized Nonlinear Discriminant Analysis (GNDA) method is proposed, which implements Fisher discriminant analysis in a nonlinear mapping space. Linear discriminant analysis i...
MICCAI
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We show that a simple probabilistic modelling of the registration problem for surfaces allows to solve it by using standard clustering techniques. In this framework, poin...