Sciweavers

5272 search results - page 898 / 1055
» Design of Social Agents
Sort
View
IJAIT
2006
136views more  IJAIT 2006»
13 years 10 months ago
Model Checking for Multiagent Systems: the Mable Language and its Applications
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
Michael Wooldridge, Marc-Philippe Huget, Michael F...
IWC
2006
165views more  IWC 2006»
13 years 10 months ago
Cross-cultural differences in recognizing affect from body posture
Conveyance and recognition of human emotion and affective expression is influenced by many factors, including culture. Within the user modeling field, it has become increasingly n...
Andrea Kleinsmith, P. Ravindra De Silva, Nadia Bia...
AMC
2005
117views more  AMC 2005»
13 years 10 months ago
Teleonomic entropy: measuring the phase-space of end-directed systems
We introduce a novel way of measuring the entropy of a set of values undergoing changes. Such a measure becomes useful when analyzing the temporal development of an algorithm desi...
Alexander Pudmenzky
JPDC
2007
84views more  JPDC 2007»
13 years 10 months ago
Distributed average consensus with least-mean-square deviation
We consider a stochastic model for distributed average consensus, which arises in applications such as load balancing for parallel processors, distributed coordination of mobile a...
Lin Xiao, Stephen P. Boyd, Seung-Jean Kim
AR
1998
124views more  AR 1998»
13 years 9 months ago
The CMUnited-98 champion small-robot team
Robotic soccer presents a large spectrum of challenging research opportunities. In this article, we present the main research and technical contributions of our champion CMUnited-...
Manuela M. Veloso, Michael H. Bowling, Peter Stone