Sciweavers

2638 search results - page 411 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
ATAL
2010
Springer
15 years 7 months ago
Point-based backup for decentralized POMDPs: complexity and new algorithms
Decentralized POMDPs provide an expressive framework for sequential multi-agent decision making. Despite their high complexity, there has been significant progress in scaling up e...
Akshat Kumar, Shlomo Zilberstein
JAPLL
2010
104views more  JAPLL 2010»
15 years 4 months ago
Group announcement logic
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
Thomas Ågotnes, Philippe Balbiani, Hans P. v...
APSEC
2008
IEEE
16 years 26 days ago
A Heap Model for Java Bytecode to Support Separation Logic
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
Chenguang Luo, Guanhua He, Shengchao Qin
IJCNN
2006
IEEE
16 years 13 days ago
An Architecture for Object-based Saccade Generation using a Biologically Inspired Self-organised Retina
— Our paper presents a fully automated computational mechanism for targeting a space-variant retina based on the highlevel visual content of a scene. Our retina’s receptive fie...
Sanjeeva Balasuriya, Paul Siebert
UIC
2007
Springer
16 years 15 days ago
Audio-Visual Fused Online Context Analysis Toward Smart Meeting Room
Abstract. Context-aware systems incorporate multimodal information to analyze contextual information in users’ environment and provide various proactive services according to dyn...
Peng Dai, Linmi Tao, Guangyou Xu