1054 search results - page 77 / 211 » A Formalization of the Turing Test |
165
click to vote
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
141
Voted
ASWEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
133
click to vote
ECBS
2005
IEEE
15 years 10 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
129
Voted
COCO
2005
Springer
15 years 10 months ago
2005
Springer
We continue the study of noncommutative polynomial identity testing initiated by Raz and Shpilka and present efficient algorithms for the following problems in the noncommutative...
136
click to vote
VL
2003
IEEE
15 years 10 months ago
2003
IEEE
ct How can rigorous forms of testing be supported in a way that is both compatible with the visual aspect of visual programming languages, and usable by the audiences using those l...