Sciweavers

703 search results - page 124 / 141
» On the Impact of Agent Communication Languages on the Implem...
Sort
View
ISW
2005
Springer
14 years 1 months ago
Evaluating Access Control Policies Through Model Checking
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
CA
2002
IEEE
14 years 14 days ago
Specifying MPEG-4 Body Behaviors
The MPEG-4 standard specifies a set of low-level animation parameters for body animation, but does not provide any high-level functionality for the control of avatars or embodied...
Anthony Guye-Vuillème, Daniel Thalmann
CHI
2005
ACM
14 years 8 months ago
Topic spotting common sense translation assistant
Our Translation Assistant applies common sense logic to the problem of translating speech in real time from one language to another. Using speech recognition combined with a softw...
Jae-woo Chung, Rachel Kern, Henry Lieberman
ECAL
1999
Springer
13 years 11 months ago
Modeling Categorization Dynamics through Conversation by Constructive Approach
Categorization dynamics as the clustering of words in word relation is studied by a constructive approach which is suited to inquire evolutionary linguistics with dynamical view on...
Takashi Hashimoto
ATAL
2010
Springer
13 years 8 months ago
Aggregation-mediated collective perception and action in a group of miniature robots
We introduce a novel case study in which a group of miniaturized robots screen an environment for undesirable agents, and destroy them. Because miniaturized robots are usually end...
Grégory Mermoud, Loïc Matthey, William...