Sciweavers

3729 search results - page 358 / 746
» On Formal Modeling of Agent Computations
Sort
View
ICN
2009
Springer
15 years 4 months ago
Design and Validation of an Analytical Model to Evaluate Monitoring Frameworks Limits
It is essential that a monitoring system is being designed with performance and scalability in mind. But due to the diversity and complexity of both the monitoring and the monitore...
Abdelkader Lahmadi, Laurent Andrey, Olivier Festor
SKG
2005
IEEE
16 years 10 days ago
DLOnto: A Semantic Information Model for Digital Libraries
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
Ming Zhang, Zhi-Hong Deng, Shukai Ding, Dongqing Y...
AVI
1996
15 years 8 months ago
Closing the loop: modelling action, perception and information
Visual interfaces to computer systems are interactive. The cycle of visual interaction involves both visual perception and action. This paper examines formal models of interactive...
Alan J. Dix
ATAL
2008
Springer
15 years 8 months ago
A distributed normative infrastructure for situated multi-agent organisations
In most of the existing approaches to the design of multiagent systems, there is no clear way in which to relate organisational and normative structures to the model of the enviro...
Fabio Y. Okuyama, Rafael H. Bordini, Antônio...
ACL
1994
15 years 8 months ago
Discourse Obligations in Dialogue Processing
We show that in modeling social interaction, particularly dialogue, the attitude of obligation can be a useful adjunct to the popularly considered attitudes of belief, goal, and i...
David R. Traum, James F. Allen