193 search results - page 10 / 39 » Several ways to solve the MSO problem |
114
Voted
IAT
2005
IEEE
15 years 6 months ago
2005
IEEE
Cooperative negotiation is proved to be an effective paradigm to solve complex dynamic multi-objective problems in which each objective is associated to an agent. When the multi-o...
88
Voted
GESELLSCHAFT
1993
15 years 5 months ago
1993
The current state of traditional software development is surveyed and essential problems are investigated on the basis of system theoretical considerations. The concept of user pa...
102
Voted
FOCS
1991
IEEE
15 years 4 months ago
1991
IEEE
The Lov´asz Local Lemma is a tool that enables one to show that certain events hold with positive, though very small probability. It often yields existence proofs of results with...
119
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...
108
Voted
ICECCS
2010
IEEE
15 years 1 months ago
2010
IEEE
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...