Step coverability algorithms for communicating systems.
Jetty KleijnMaciej KoutnyPublished in: Sci. Comput. Program. (2012)
Keyphrases
- data structure
- learning systems
- computationally efficient
- computational complexity
- machine learning algorithms
- learning algorithm
- intelligent systems
- computationally expensive
- retrieval systems
- orders of magnitude
- lower bound
- computational cost
- management system
- database
- post processing
- optimization problems
- recently developed
- theoretical analysis
- computer systems
- expert systems
- preprocessing
- objective function
- information retrieval
- databases