3082 search results - page 380 / 617 » Deviation Analysis: A New Use of Model Checking |
175
click to vote
PR
2010
15 years 4 months ago
2010
Wavelet analysis has found widespread use in signal processing and many classification tasks. Nevertheless, its use in dynamic pattern recognition have been much more restricted ...
178
click to vote
BIBE
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract—Because of the advent of high-throughput sequencing and the consequent reduction in cost of sequencing, many organisms have been completely sequenced and most of their g...
182
click to vote
POPL
2004
ACM
15 years 12 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
186
click to vote
APGV
2004
ACM
15 years 12 months ago
2004
ACM
Motivated by the need for an informative, unbiased and quantitative perceptual method for the development and evaluation of a talking head we are developing, we propose a new test...
159
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
This paper develops a supervised dimensionality reduction method, Lorentzian Discriminant Projection (LDP), for discriminant analysis and classification. Our method represents the...