Sciweavers

550 search results - page 70 / 110
» Adaptive Hypermedia System Design: A Method From Practice
Sort
View
FORTE
2004
15 years 3 months ago
Symbolic Diagnosis of Partially Observable Concurrent Systems
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
Thomas Chatain, Claude Jard
ICONIP
2009
14 years 11 months ago
A Rock Structure Recognition System Using FMI Images
Formation Micro Imager (FMI) can directly reflect changes of wall stratum and rock structures. It is also an important method to divide stratum and identify lithology. However, peo...
Xu-Cheng Yin, Qian Liu, Hong-Wei Hao, Zhi-Bin Wang...
AP2PC
2004
Springer
15 years 7 months ago
An Agent Module for a System on Mobile Devices
A Middleware is the software that assists an application to interact or communicate with other applications, networks, hardware, and/or operating systems. We have earlier proposed ...
Praveen Madiraju, Sushil K. Prasad, Rajshekhar Sun...
DALT
2010
Springer
14 years 9 months ago
Executing Specifications of Social Reasoning Agents
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
Iain Wallace, Michael Rovatsos
ARCS
2005
Springer
15 years 7 months ago
Organic Architectures for Large-Scale Environment-Aware Sensor Networks
This paper examines how methods inspired by biological processes can be applied to the design of large-scale environment-aware sensor networks. Our ultimate goal are systems conta...
Paul Lukowicz, Erhardt Barth, Jan T. Kim