3729 search results - page 339 / 746 » On Formal Modeling of Agent Computations |
171
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The aim of our research is to provide a unified model for the composition and management of consumer care services. We identify design, composition, distribution and management as...
182
click to vote
ICLP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
160
click to vote
CA
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper an operational model for the automatic generation of lifelike gestures of an anthropomorphic virtual agent is described. The biologically motivated approach to contr...
189
click to vote
ADS
2004
Springer
16 years 4 days ago
2004
Springer
Modeling user affect is becoming increasingly important for intelligent interfaces and agents that aim to establish believable interactions with their users. However, evaluating th...
155
click to vote
ENTCS
2006
15 years 6 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...