Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation.
Rimma I. PodlovchenkoPublished in: Program. Comput. Softw. (2010)
Keyphrases
- complex systems
- mathematical models
- prior knowledge
- computer systems
- probabilistic model
- distributed systems
- trading systems
- finite state machines
- real time
- physical systems
- statistical model
- analytical models
- accurate models
- biological systems
- computational models
- learning systems
- knowledge based systems
- management system
- computer vision
- information retrieval