Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications

Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli. Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications. In IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2019, Long Beach, CA, USA, June 16-20, 2019. pages 12260-12269, Computer Vision Foundation / IEEE, 2019. [doi]

Authors

Chenglong Wang

This author has not been identified. Look up 'Chenglong Wang' in Google

Rudy Bunel

This author has not been identified. Look up 'Rudy Bunel' in Google

Krishnamurthy Dvijotham

This author has not been identified. Look up 'Krishnamurthy Dvijotham' in Google

Po-Sen Huang

This author has not been identified. Look up 'Po-Sen Huang' in Google

Edward Grefenstette

This author has not been identified. Look up 'Edward Grefenstette' in Google

Pushmeet Kohli

This author has not been identified. Look up 'Pushmeet Kohli' in Google