79 search results - page 16 / 16 » Gradual Numbers and Their Application to Fuzzy Interval Anal... |
AI
2002
Springer
13 years 5 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
MSWIM
2009
ACM
14 years 3 days ago
2009
ACM
We evaluate an asynchronous gossiping middleware for wireless users that propagates messages from any group member to all the other group members. This propagation can either be i...
ICCD
1995
IEEE
13 years 8 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
KDD
2005
ACM
14 years 5 months ago
2005
ACM
We propose a new class of spatio-temporal cluster detection methods designed for the rapid detection of emerging space-time clusters. We focus on the motivating application of pro...