Sciweavers

2686 search results - page 184 / 538
» Testing metric properties
Sort
View
BIRTHDAY
2010
Springer
15 years 3 months ago
Designing Benchmarks for P2P Systems
In this paper we discuss requirements for peer-to-peer (P2P) benchmarking, and we present two exemplary approaches to benchmarks for Distributed Hashtables (DHT) and P2P gaming ove...
Max Lehn, Tonio Triebel, Christian Gross, Dominik ...
IJFCS
2008
81views more  IJFCS 2008»
15 years 5 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
158
Voted
ICASSP
2010
IEEE
15 years 5 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 5 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
ECRTS
2007
IEEE
15 years 12 months ago
Cache-Aware Timing Analysis of Streaming Applications
Of late, there has been a considerable interest in models, algorithms and methodologies specifically targeted towards designing hardware and software for streaming applications. ...
Samarjit Chakraborty, Tulika Mitra, Abhik Roychoud...