Signaling P Systems and Verification Problems.
Cheng LiZhe DangOscar H. IbarraHsu-Chun YenPublished in: ICALP (2005)
Keyphrases
- problems involving
- management system
- complex systems
- formal methods
- distributed systems
- building blocks
- information systems
- difficult problems
- np complete
- asynchronous circuits
- neural network
- specific problems
- solving problems
- combinatorial optimization
- application domains
- knowledge based systems
- intelligent systems
- optimization problems
- multi objective
- multi agent
- website
- learning algorithm