1699 search results - page 16 / 340 » On the Expressive Power of QLTL |
PPDP
2009
Springer
14 years 1 months ago
2009
Springer
ATVA
2007
Springer
14 years 1 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...
SAC
2010
ACM
2010
ACM
Query systems in similarity-based databases: logical foundations, expressive power, and completeness
14 years 20 days ago
ERSHOV
2001
Springer
13 years 12 months ago
2001
Springer
AGP
1997
IEEE
13 years 11 months ago
1997
IEEE
