2686 search results - page 334 / 538 » Testing metric properties |
168
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
201
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
Robust speech recognition in everyday conditions requires the solution to a number of challenging problems, not least the ability to handle multiple sound sources. The specific ca...
194
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
We describe an evaluation of spoken dialogue strategies designed using hierarchical reinforcement learning agents. The dialogue strategies were learnt in a simulated environment a...
209
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
s: clustering, denoising, sharp feature, shape abstraction, reverse engineering In this paper we describe a hierarchical face clustering algorithm for triangle meshes based on fit...
156
click to vote
CN
2006
15 years 6 months ago
2006
In this article, we propose a new single-rate end-to-end multicast congestion control scheme called Explicit Rate Multicast Congestion Control (ERMCC) based on a new metric, TRAC ...