3281 search results - page 282 / 657 » An Approach to use Executable Models for Testing |
139
click to vote
NIPS
2008
15 years 5 months ago
2008
We present a correlated bigram LSA approach for unsupervised LM adaptation for automatic speech recognition. The model is trained using efficient variational EM and smoothed using...
115
click to vote
CSCWD
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we propose an analytical approach based on models of human performance to evaluate workspace collaboration. Our results indicate that the approach: 1) facilitates th...
130
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— This paper presents a technique for the Simultaneous Calibration of Action and Sensor Models (SCASM) on a mobile robot. While previous approaches to calibration make us...
143
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
130
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Apart from experimental and theoretical approaches, computer simulation is an important tool in testing hypotheses about stony coral growth. However, the construction and...