Sciweavers

805 search results - page 16 / 161
» On the Semantics of Conditional Commitment
Sort
View
91
Voted
ACOM
2006
Springer
15 years 3 months ago
Towards Design Tools for Protocol Development
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
Pinar Yolum
71
Voted
ACOM
2004
Springer
15 years 2 months ago
Formulating Agent Communication Semantics and Pragmatics as Behavioral Expectations
Abstract. Although several approaches to the semantics of agent communication have been proposed, none of them is really suitable for dealing with agent autonomy, which is a decisi...
Matthias Nickles, Michael Rovatsos, Gerhard Wei&sz...
ATAL
2004
Springer
15 years 2 months ago
Empirical-Rational Semantics of Agent Communication
The missing of an appropriate semantics of agent communication languages is one of the most challenging issues of contemporary AI. Although several approaches to this problem exis...
Matthias Nickles, Michael Rovatsos, Gerhard Wei&sz...
TPHOL
1994
IEEE
15 years 1 months ago
Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
Peter V. Homeier, David F. Martin
ICASSP
2007
IEEE
15 years 3 months ago
Context-Based Concept Fusion with Boosted Conditional Random Fields
The contextual relationships among different semantic concepts provide important information for automatic concept detection in images/videos. We propose a new context-based conce...
Wei Jiang, Shih-Fu Chang, Alexander C. Loui