1992 search results - page 364 / 399 » Model Based Testing with Labelled Transition Systems |
131
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
We propose a system architecture for real-time hardware speech recognition on low-cost, power-constrained devices. The system is intended to support real-time speech-based user in...
128
click to vote
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
The wide availability of large scale databases requires more efficient and scalable tools for data understanding and knowledge discovery. In this paper, we present a method to ...
133
click to vote
GFKL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The manual acquisition and modeling of tourist information as e.g. addresses of points of interest is time and, therefore, cost intensive. Furthermore, the encoded inform...
137
click to vote
UMUAI
2008
15 years 2 months ago
2008
We explored the reliability of detecting a learner's affect from conversational features extracted from interactions with AutoTutor, an intelligent tutoring system that helps...
145
Voted
SIAMSC
2008
15 years 2 months ago
2008
A multilevel adaptive aggregation method for calculating the stationary probability vector of an irreducible stochastic matrix is described. The method is a special case of the ada...