In [1], we have formalized Börger’s refinement notion for Abstract State Machines (ASMs). The formalization was based on transition systems, and verification conditions were expressed in Dynamic Logic. In this paper, the relation between ASM refinement and data refinement is explored. Data refinement expresses operations and verification conditions using relational calculus. We show how to brid...

The performance of stereo vision tasks degrades when haze exists in the input image pair. Independently applying single dehazing algorithm on left and right images is not optimal. To overcome problem, we propose an effective framework, called SRDNet, for simultaneously images. main idea SRDNet to make full use information from cross views improving performance. It does explicitly employ dispari...