1878 search results - page 4 / 376 » Feature Generation Using General Constructor Functions |
CADE
2008
Springer
14 years 8 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
1 In this paper, we study biometric key generation using face images. Given a face image, a set of biometric features are extracted. Each feature is compared with a threshold to ge...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
Scale-space representation of an image is a significant way to generate features for classification. However, for a specific classification task, the entire scale-space may not be...
IIE
2008
13 years 7 months ago
2008
Abstract. Learning Objects (LOs) play a key role for supporting eLearning. In general, however, the development of LOs remains a vague issue, because there is still no clearly defi...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...