2296 search results - page 19 / 460 » The Expressive Power of Synchronizations |
99
Voted
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
153
Voted
ATVA
2007
Springer
15 years 10 months 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...
140
Voted
SAC
2010
ACM
2010
ACM
Query systems in similarity-based databases: logical foundations, expressive power, and completeness
15 years 9 months ago
108
Voted
ERSHOV
2001
Springer
15 years 8 months ago
2001
Springer
91
Voted
AGP
1997
IEEE
15 years 8 months ago
1997
IEEE
