3 search results - page 1 / 1 » Temporal Properties of Self-Timed Rings |
CHARME
2001
Springer
13 years 8 months ago
2001
Springer
CSL
2004
Springer
13 years 10 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
CVPR
1997
IEEE
13 years 9 months ago
1997
IEEE
Wepresent a methodfor motion estimation using ordinal measures. Ordinal measures are based on relative ordering of intensity values in a image regioncalled rankpermutation. While ...