Sciweavers

4457 search results - page 11 / 892
» Tests of Machine Intelligence
Sort
View
ICALT
2003
IEEE
14 years 2 months ago
Web-Based Two-Tier Test for Internet Literacy
Chien Chou, Chin-Chung Tsai
COLT
1998
Springer
14 years 29 days ago
Testing Problems with Sub-Learning Sample Complexity
Michael J. Kearns, Dana Ron
TACAS
1997
Springer
132views Algorithms» more  TACAS 1997»
14 years 26 days 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