Sciweavers

262 search results - page 23 / 53
» A concurrent rule scheduling algorithm for active rules
Sort
View
FSTTCS
2000
Springer
14 years 2 days ago
Formal Verification of the Ricart-Agrawala Algorithm
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ar...
ML
1998
ACM
220views Machine Learning» more  ML 1998»
13 years 8 months ago
Learning to Improve Coordinated Actions in Cooperative Distributed Problem-Solving Environments
Abstract. Coordination is an essential technique in cooperative, distributed multiagent systems. However, sophisticated coordination strategies are not always cost-effective in all...
Toshiharu Sugawara, Victor R. Lesser
ICTAI
1994
IEEE
14 years 18 days ago
A Distributed Scheduling Framework
A distributed problem solving approach to job shop scheduling is described in this paper. The approach views the system as an Organisation. Agents are assigned di erent roles and ...
Carla P. Gomes, Austin Tate, Lyn Thomas
WSC
2000
13 years 9 months ago
Simulation of an evolutionary tuned fuzzy dispatching system for automated guided vehicles
This paper presents the development and simulation of a novel Genetic Algorithm (GA) based methodology applied to optimal tuning of a fuzzy dispatching system for a fleet of autom...
Kok Kiong Tan, K. Z. Tang
FIMI
2004
134views Data Mining» more  FIMI 2004»
13 years 10 months ago
Recursion Pruning for the Apriori Algorithm
Implementations of the well-known Apriori algorithm for finding frequent item sets and associations rules usually rely on a doubly recursive scheme to count the subsets of a given...
Christian Borgelt