1054 search results - page 55 / 211 » A Formalization of the Turing Test |
102
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
132
click to vote
ISOLA
2007
Springer
15 years 10 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
116
click to vote
FMCAD
1998
Springer
15 years 8 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
162
click to vote
AH
2008
Springer
15 years 11 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
148
click to vote
AO
2006
15 years 4 months ago
2006
in ontology is quite abstract and often based on toy-examples to the point that the gap between the work of theoreticians and the needs of real applications is too wide to be cross...