Sciweavers

846 search results - page 9 / 170
» The Use of Z
Sort
View
VISAPP
2008
13 years 9 months ago
Projective Image Alignment by Using ECC Maximization
Georgios D. Evangelidis, Emmanouil Z. Psarakis
AMAST
2004
Springer
13 years 11 months ago
Linear Temporal Logic and Z Refinement
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
John Derrick, Graeme Smith