Sciweavers

1151 search results - page 199 / 231
» A Generative Approach for Multi-agent System Development
Sort
View
ATAL
2004
Springer
15 years 11 months ago
Multiagent Planning as Control Synthesis
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
Kiam Tian Seow, Chuan Ma, Makoto Yokoo
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 11 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
AMFG
2003
IEEE
148views Biometrics» more  AMFG 2003»
15 years 11 months ago
Multi-Modal Face Tracking Using Bayesian Network
This paper presents a Bayesian network based multimodal fusion method for robust and real-time face tracking. The Bayesian network integrates a prior of second order system dynami...
Fang Liu, Xueyin Lin, Stan Z. Li, Yuanchun Shi
IDEAS
2003
IEEE
106views Database» more  IDEAS 2003»
15 years 11 months ago
Frequent Itemsets Mining for Database Auto-Administration
With the wide development of databases in general and data warehouses in particular, it is important to reduce the tasks that a database administrator must perform manually. The a...
Kamel Aouiche, Jérôme Darmont, Le Gru...
MOBIDE
2003
ACM
15 years 11 months ago
Semantically driven service interoperability for pervasive computing
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
Declan O'Sullivan, David Lewis