2296 search results - page 19 / 460 » The Expressive Power of Synchronizations |
189
click to vote
ATVA
2007
Springer
16 years 2 days ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
162
click to vote
SAC
2010
ACM
2010
ACM
Query systems in similarity-based databases: logical foundations, expressive power, and completeness
15 years 11 months ago
