9067 search results - page 352 / 1814 » Adaptive Model Checking |
181
Voted
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In open settings, the participants are autonomous and there is no central authority to ensure the felicity of their interactions. When agents interact in such settings, each relie...
165
Voted
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...
151
click to vote
ACII
2005
Springer
16 years 6 days ago
2005
Springer
Curtin University’s Talking Heads (TH) combine an MPEG-4 compliant Facial Animation Engine (FAE), an Text To Emotional Speech Synthesiser (TTES), a multi-modal Dialogue Manager (...
165
click to vote
SOFSEM
2004
Springer
16 years 2 days ago
2004
Springer
Cooperation in information retrieval contexts can be used to share query results inside groups of individuals with common objectives, provided that all of them are aware of each ot...
200
click to vote
CVPR
2007
IEEE
15 years 8 months ago
2007
IEEE
Topology-preserving geometric deformable models (TGDMs) are used to segment objects that have a known topology. Their accuracy is inherently limited, however, by the resolution of...