Constrained Image Generation Using Binarized Neural Networks with Decision Procedures

SAT, pp. 438-449, 2018.

Cited by: 6|Bibtex|Views59|DOI:https://doi.org/10.1007/978-3-319-94144-8_27
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com|arxiv.org

Abstract:

We consider the problem of binary image generation with given properties. This problem arises in a number of practical applications, including generation of artificial porous medium for an electrode of lithium-ion batteries, for composed materials, etc. A generated image represents a porous medium and, as such, it is subject to two sets o...More

Code:

Data:

Your rating :
0

 

Tags
Comments