Sciweavers

846 search results - page 9 / 170
» The Use of Z
Sort
View
VISAPP
2008
14 years 11 months ago
Projective Image Alignment by Using ECC Maximization
Georgios D. Evangelidis, Emmanouil Z. Psarakis
55
Voted
ARTMED
2010
70views more  ARTMED 2010»
14 years 9 months ago
Classification integration and reclassification using constraint databases
Peter Z. Revesz, Thomas Triplet
AMAST
2004
Springer
15 years 1 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