1699 search results - page 16 / 340 » On the Expressive Power of QLTL |
74
Voted
PPDP
2009
Springer
15 years 7 months ago
2009
Springer
122
Voted
ATVA
2007
Springer
15 years 7 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...
108
Voted
SAC
2010
ACM
2010
ACM
Query systems in similarity-based databases: logical foundations, expressive power, and completeness
15 years 6 months ago
87
Voted
ERSHOV
2001
Springer
15 years 5 months ago
2001
Springer
71
Voted
AGP
1997
IEEE
15 years 5 months ago
1997
IEEE
