4693 search results - page 199 / 939 » Verifying Hybrid Systems |
148
click to vote
ICAT
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper proposes a wearable annotation overlay system which can correctly annotate dynamic users of wearable computers. To provide users with the newest annotation information, ...
169
click to vote
ESANN
1998
15 years 6 months ago
1998
Abstract. In this paper, we focus on a novel NN/HMM architecture for continuous speech recognition. The architecture incorporates a neural feature extraction to gain more discrimin...
163
click to vote
SBIA
2000
Springer
15 years 9 months ago
2000
Springer
In recent years, the Natural Language Processing scene has witnessed the steady growth of interest in connectionist modeling. The main appeal of such an approach is that one does n...
133
click to vote
TSP
2008
15 years 5 months ago
2008
This paper is motivated by multichannel sampling applications. We consider a hybrid filter banks consisting of a set of fractional delays operators, slow A/D converters with differ...
187
click to vote
INFSOF
2002
15 years 5 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...