1054 search results - page 126 / 211 » A Formalization of the Turing Test |
167
click to vote
AIME
2005
Springer
16 years 11 days ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...
168
click to vote
CONCUR
2005
Springer
16 years 10 days ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
185
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
177
click to vote
ISW
2004
Springer
16 years 5 days ago
2004
Springer
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...
183
click to vote
ISESE
2003
IEEE
16 years 2 days ago
2003
IEEE
In this paper we report results of an informal field study of a software development team conducted during an eight week internship at the NASA/Ames Research Center. The team deve...