Sciweavers

1789 search results - page 264 / 358
» Extending the Choquet integral
Sort
View
ACSD
2006
IEEE
89views Hardware» more  ACSD 2006»
15 years 10 months ago
On process-algebraic verification of asynchronous circuits
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
Xu Wang, Marta Z. Kwiatkowska
ARGMAS
2006
Springer
15 years 10 months ago
An Argumentation-Based Approach for Practical Reasoning
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
Iyad Rahwan, Leila Amgoud
ATAL
2006
Springer
15 years 10 months ago
Performance analysis of untraceability protocols for mobile agents using an adaptable framework
Recently we had proposed two untraceability protocols for mobile agents and began investigating their quality. We believe that quality evaluation of security protocols should exte...
Rafal Leszczyna, Janusz Górski
DASFAA
2004
IEEE
142views Database» more  DASFAA 2004»
15 years 10 months ago
Ontological and Pragmatic Knowledge Management for Web Service Composition
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow intelligent agents to automatically identify these Web...
Soon Ae Chun, Yugyung Lee, James Geller
CIA
2006
Springer
15 years 10 months ago
Market-Inspired Approach to Collaborative Learning
The paper describes a decentralized peer-to-peer multi-agent learning method based on inductive logic programming and knowledge trading. The method uses first-order logic for model...
Jan Tozicka, Michal Jakob, Michal Pechoucek