3742 search results - page 189 / 749 » On the Use of Formal Techniques for Validation |
160
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
In this paper we propose a novel approach to the perceptual interpretation of building facades that combines shape grammars, supervised classification and random walks. Procedural...
206
click to vote
ISNN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Nonlinear component analysis is a popular nonlinear feature extraction method. It generally uses eigen-decomposition technique to extract the principal components. But th...
150
click to vote
MICAI
2007
Springer
16 years 18 days ago
2007
Springer
This paper presents a particle swarm optimizer for solving constrained optimization problems which adopts a very small population size (five particles). The proposed approach uses...
179
click to vote
SCVMA
2004
Springer
15 years 11 months ago
2004
Springer
This paper deals with the motion detection problem. This issue is of key importance in many application fields. To solve this problem, we compute the dominant motion in the sequen...
161
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
A new method for state justi cation is proposed for sequential circuit test generation. The linear list of states dynamically obtained during the derivation of test vectors is use...