3082 search results - page 392 / 617 » Deviation Analysis: A New Use of Model Checking |
181
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
We introduce in this paper a new face coding and recognition method which employs the Enhanced FLD (Fisher Linear Discrimimant) Model (EFM)on integrated shape (vector) and texture...
178
click to vote
KDD
2005
ACM
16 years 6 months ago
2005
ACM
We propose a new algorithm for dimensionality reduction and unsupervised text classification. We use mixture models as underlying process of generating corpus and utilize a novel,...
284
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Reuse distance (i.e. LRU stack distance) precisely characterizes program locality and has been a basic tool for memory system research since the 1970s. However, the high cost of m...
159
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
The multiple species de novo gene prediction problem can be stated as follows: given an alignment of genomic sequences from two or more organisms, predict the location and structur...
187
click to vote
IEEECGIV
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present a novel algorithm to segment a 3D surface mesh into visually meaningful regions. Our approach is based on an analysis of the local geometry of vertices. In particular...