1729 search results - page 140 / 346 » Simplifying the Development of Intelligent Agents |
ATAL
2009
Springer
14 years 5 months ago
2009
Springer
We have developed a general purpose use and modular architecture of an Embodied Conversational Agent (ECA) called Greta. Our 3D agent is able to communicate using verbal and nonve...
FAABS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
ATAL
2001
Springer
14 years 3 months ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...
ECAL
2001
Springer
14 years 3 months ago
2001
Springer
We develop a novel coevolutionary algorithm based upon the concept of Pareto optimality. The Pareto criterion is core to conventional multi-objective optimization (MOO) algorithms....
AAAI
2004
14 years 6 days ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...