1699 search results - page 16 / 340 » On the Expressive Power of QLTL |
186
click to vote
ATVA
2007
Springer
15 years 12 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...
159
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
