Sciweavers

2152 search results - page 304 / 431
» A Framework for Modeling DNA Based Molecular Systems
Sort
View
WSCG
2003
150views more  WSCG 2003»
15 years 7 months ago
Smart Objects for Attentive Agents
We present an extended framework for modelling agent-object interactions in virtual environments. Our framework is based on the concept of Smart Objects and provides agents with p...
Christopher Peters, Simon Dobbyn, Brian MacNamee, ...
ATAL
2010
Springer
15 years 7 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
SIGMOD
2006
ACM
116views Database» more  SIGMOD 2006»
16 years 6 months ago
Extensible optimization in overlay dissemination trees
We introduce XPORT, a profile-driven distributed data dissemination system that supports an extensible set of data types, profile types, and optimization metrics. XPORT efficientl...
Olga Papaemmanouil, Yanif Ahmad, Ugur Çetin...
HRI
2010
ACM
15 years 11 months ago
Recognizing engagement in human-robot interaction
—Based on a study of the engagement process between humans, we have developed and implemented an initial computational model for recognizing engagement between a human and a huma...
Charles Rich, Brett Ponsleur, Aaron Holroyd, Canda...
SP
2002
IEEE
103views Security Privacy» more  SP 2002»
15 years 6 months ago
Methods and Limitations of Security Policy Reconciliation
A security policy specifies session participant requirements. However, existing frameworks provide limited facilities for the automated reconciliation of participant policies. Thi...
Patrick Drew McDaniel, Atul Prakash