1054 search results - page 28 / 211 » A Formalization of the Turing Test |
108
click to vote
ENTCS
2002
15 years 1 months ago
2002
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
113
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
115
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...
117
click to vote
VL
1998
IEEE
15 years 6 months ago
1998
IEEE
We introduce visual graphs as an intermediate repren between concrete visual syntax and abstract graph syntax. In a visual graph some nodes are shown as geometric figures, and som...
118
click to vote
KR
1998
Springer
15 years 6 months ago
1998
Springer
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot,...