Sciweavers

846 search results - page 9 / 170
» The Use of Z
Sort
View
VISAPP
2008
15 years 3 months ago
Projective Image Alignment by Using ECC Maximization
Georgios D. Evangelidis, Emmanouil Z. Psarakis
74
Voted
ARTMED
2010
70views more  ARTMED 2010»
15 years 1 months ago
Classification integration and reclassification using constraint databases
Peter Z. Revesz, Thomas Triplet
44
Voted
JOLPE
2007
40views more  JOLPE 2007»
15 years 1 months ago
Wakeup Scheduling in MTCMOS Circuits Using Successive Relaxation to Minimize Ground Bounce
Anand Ramalingam, Anirudh Devgan, David Z. Pan
AMAST
2004
Springer
15 years 5 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