Some new methods of detecting step edges in digital pictures
暂无分享,去创建一个
[1] J. Schwarz,et al. Event Based Reasoning - A System for Proving Correct Termination of Programs , 1976, International Colloquium on Automata, Languages and Programming.
[2] Zohar Manna. Mathematical Theory of Partial Correctness , 1971, J. Comput. Syst. Sci..
[3] Larry S. Davis,et al. A survey of edge detection techniques , 1975 .
[4] Azriel Rosenfeld,et al. Digital Picture Processing , 1976 .
[5] C. A. R. HOARE,et al. An axiomatic basis for computer programming , 1969, CACM.
[6] Ralph L. London,et al. A view of program verification , 1975, Reliable Software.
[7] James H. Morris,et al. Subgoal induction , 1977, CACM.
[8] Susan L. Gerhart,et al. Correctness-preserving program transformations , 1975, POPL '75.
[9] John Darlington,et al. A Transformation System for Developing Recursive Programs , 1977, J. ACM.
[10] Rod M. Burstall,et al. Program Proving as Hand Simulation with a Little Induction , 1974, IFIP Congress.