3293 search results - page 655 / 659 » Communicative Autonomous Agents |
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
MOBICOM
2004
ACM
15 years 3 months ago
2004
ACM
The progress of mobile device technology unfolds a new spectrum of applications that challenges conventional infrastructure models. Most of these devices are perceived by their us...
157
click to vote
ADS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. If we wish to implement dialogue systems which express emotion, dialogue corpora annotated for emotion would be a valuable resource. In order to develop such corpora we r...
104
click to vote
SPW
2004
Springer
15 years 2 months ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...
ICPP
2003
IEEE
15 years 2 months ago
2003
IEEE
Multi agent systems, Grid technology, Semantic Web, and Web Intelligence paradigm are three modern approaches in information technologies, which we put together in our research eff...