257 search results - page 22 / 52 » The Generalized Deadlock Resolution Problem |
TASE
2008
IEEE
13 years 7 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
Given a large group of cooperative agents, selecting the right coordination or conflict resolution strategy can have a significant impact on their performance (e.g., speed of co...
IJCAI
1989
13 years 9 months ago
1989
Intelligent reasoners sometimes draw conclusions that lack new or relevant information. Similarly, automated reasoning systems can produce formulas that are not necessary for the ...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problem...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Software Engineering (SE) is a field without too much historic background. The youth of the SE discipline is resulted in an immaturity of this research field and SE research still ...