Sciweavers

1643 search results - page 59 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
ATAL
2008
Springer
14 years 11 months ago
The Use of Norms Violations to Model Agents Behavioral Variety
In multi-agent applications, normative systems are usually used to regulate the behavior of the agents. They provide an efficient means to ensure limited deviations from an expecte...
Benoit Lacroix, Philippe Mathieu, Andras Kemeny
DAGSTUHL
2003
14 years 11 months ago
Coordinating Agents in OO
In this paper we introduce an object-oriented coordination language for multi-agents systems. The beliefs and reasoning capabilities ent are specified in terms of a corresponding ...
Frank S. de Boer, Cees Pierik, Rogier M. van Eijk,...
IWFM
1998
125views Formal Methods» more  IWFM 1998»
14 years 11 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
SYBEN
1998
89views more  SYBEN 1998»
14 years 11 months ago
Authoring Hypermedia Training Applications
This paper presents an approach for authoring training applications. In this approach we think an author can undertake two roles: the meta-authoring role and the authoring role. A...
Aphrodite Tsalgatidou, M. Anastasiou, D. Plevria, ...
WCE
2007
14 years 11 months ago
A Neural Network Approach to Objective Evaluation of Seam Pucker
—Seam pucker grade is one of the most important quality parameters in garments manufacturing industry. At present, seam pucker is usually evaluated by human inspectors, which is ...
K. L. Mak, Wei Li