386 search results - page 9 / 78 » Model Classifications and Automated Verification |
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Sparse representations of signals have received a great deal of attention in recent years, and the sparse representation classifier has very lately appeared in a speaker recogniti...
111
Voted
TPHOL
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
83
Voted
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
We tackle the challenge of kinship verification using novel feature extraction and selection methods, automatically classifying pairs of face images as "related" or &quo...
84
Voted
STTT
2002
15 years 1 days ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
88
Voted
DATASCIENCE
2007
15 years 11 days ago
2007
This paper presents results in automated genre classification of digital documents in PDF format. It describes genre classification as an important ingredient in contextualising s...