Sciweavers

2312 search results - page 197 / 463
» Invariance in Property Testing
Sort
View
ICPR
2000
IEEE
15 years 8 months ago
Measuring Shape: Ellipticity, Rectangularity, and Triangularity
Object classification often operates by making decisions based on the values of several shape properties measured from the image. This paper describes and tests several algorithms...
Paul L. Rosin
IJFCS
2008
81views more  IJFCS 2008»
15 years 4 months ago
Reachability Analysis in Verification via Supercompilation
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
Alexei Lisitsa, Andrei P. Nemytykh
ICASSP
2010
IEEE
15 years 4 months ago
A kernel mean matching approach for environment mismatch compensation in speech recognition
The mismatch between training and test environmental conditions presents a challenge to speech recognition systems. In this paper, we investigate an approach for matching the dist...
Abhishek Kumar, John H. L. Hansen
PAMI
2006
159views more  PAMI 2006»
15 years 4 months ago
Consistency Checks for Particle Filters
An "inconsistent" particle filter produces--in a statistical sense--larger estimation errors than predicted by the model on which the filter is based. Two test variables ...
Ferdinand van der Heijden
SIGIR
2010
ACM
15 years 8 months ago
Metrics for assessing sets of subtopics
To evaluate the diversity of search results, test collections have been developed that identify multiple intents for each query. Intents are the different meanings or facets that...
Filip Radlinski, Martin Szummer, Nick Craswell