4167 search results - page 479 / 834 » Evolutionary functional testing |
192
click to vote
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract In this paper we extend a multi-camera model for simultaneous estimation of 3d position, normals, and 3d motion of surface patches [17] to be able to handle brightness cha...
163
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
A class of sparse regularization functions are considered for the developing sparse classifiers for determining facial gender. The sparse classification method aims to both select...
182
click to vote
ISAAC
1995
Springer
15 years 10 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
126
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract--This paper extends the transition method for binarization based on transition pixels, a generalization of edge pixels. This method originally computes transition threshol...
173
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...