Sciweavers

4457 search results - page 11 / 892
» Tests of Machine Intelligence
Sort
View
ICALT
2003
IEEE
15 years 2 months ago
Web-Based Two-Tier Test for Internet Literacy
Chien Chou, Chin-Chung Tsai
COLT
1998
Springer
15 years 1 months ago
Testing Problems with Sub-Learning Sample Complexity
Michael J. Kearns, Dana Ron
TACAS
1997
Springer
132views Algorithms» more  TACAS 1997»
15 years 1 months ago
Test Generation for Intelligent Networks Using Model Checking
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
André Engels, Loe M. G. Feijs, Sjouke Mauw