1054 search results - page 35 / 211 » A Formalization of the Turing Test |
133
click to vote
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— SPam over Internet Telephony (SPIT) is expected to become a very serious issue in the next years. The threat is going to spin out from the well known email spam problem by bot ...
152
click to vote
ICCCI
2009
Springer
14 years 11 months ago
2009
Springer
In this paper we introduce a new formalism to represent multi-agent systems where resources can be exchanged among different agents by maximizing the utility of the agents conformi...
101
click to vote
RSP
2005
IEEE
15 years 7 months ago
2005
IEEE
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
ISCIS
2003
Springer
15 years 7 months ago
2003
Springer
One of the important tasks during software testing is the generation of test cases. Unfortunately, existing approaches to test case generation often have problems limiting their us...