Sciweavers

4457 search results - page 41 / 892
» Tests of Machine Intelligence
Sort
View
CN
2008
72views more  CN 2008»
13 years 10 months ago
Formal testing from timed finite state machines
Mercedes G. Merayo, Manuel Núñez, Is...
TSMC
2008
87views more  TSMC 2008»
13 years 9 months ago
The Problem of Test Latency in Machine Diagnosis
The impact of delayed sensor-alarm data upon a diagnostic inference engine appears not to be well appreciated. In this paper we illustrate the effect of sensor latency, and we pro...
Ozgur Erdinc, Craig Brideau, Peter Willett, Thia K...
PTS
1993
91views Hardware» more  PTS 1993»
13 years 11 months ago
Generating Tests for Control Portion of SDL Specifications
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
Gang Luo, Anindya Das, Gregor von Bochmann