Constrained image generation using binarized neural networks with decision procedures

DOI10.1007/978-3-319-94144-8_27MaRDI QIDQ1656604zbMATH OpenOpenAlexFDO

Authors Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Mooly Sagiv, Nikolaj Bjørner

Publication date 10 August 2018

Full work available at URL https://arxiv.org/abs/1802.08795

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computing methodologies for image processing (68U10)

Recommendations

• Maximum entropy methods for texture synthesis: theory and practice
• Generation of noise in binary images
• A statistically distributed random binary image generator
• Reconstruction of Three-Dimensional Porous Media: Statistical or Deep Learning Approach?
• Automatic synthesis of constraints from examples using mixed integer linear programming

Cited in

(2)

• \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks
• Rectified binary convolutional networks with generative adversarial learning

This page was built for publication: Constrained image generation using binarized neural networks with decision procedures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1656604)