257 search results - page 22 / 52 » The Generalized Deadlock Resolution Problem |
141
click to vote
TASE
2008
IEEE
15 years 8 days 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...
117
click to vote
ATAL
2003
Springer
15 years 5 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
15 years 1 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 ...
111
Voted
CORR
2011
Springer
14 years 4 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...
101
Voted
CAISE
2005
Springer
15 years 5 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 ...