New: Our testing code is currently under development and will be released soon. This repository contains the code for the paper "Few-shot Stereo Matching with High Domain Adaptability Based on ...
Abstract: Functional programs over inductively defined data types, such as lists, binary trees and naturals, can naturally be defined using recursive equations over recursive functions. In first-order ...