1054 search results - page 23 / 211 » A Formalization of the Turing Test |
FATES
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
FLAIRS
2006
15 years 1 months ago
2006
The success of TURING Test technologies for system validation depends on the quality of the human expertise behind the system. As an additional source of human experts' valid...
FLAIRS
2000
15 years 1 months ago
2000
Knowledgeincorporated intelligent solving methodsare prevailing in practical planningandschedulingbecauseof the large problemsize and complexconstraints. However,when intelligent ...
JETAI
1998
14 years 11 months ago
1998
The proper treatment of computationalism, as the thesis that cognition is computable, is presented and defended. Some arguments of James H. Fetzer against computationalism are exam...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
14 years 10 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...