Login / Signup
Gradual Relaxation Techniques with Applications to Behavioral Synthesis.
Zhiru Zhang
Yiping Fan
Miodrag Potkonjak
Jason Cong
Published in:
ICCAD (2003)
Keyphrases
</>
program synthesis
probabilistic relaxation
iterative algorithms
decision trees
human behavior
texture synthesis
functional programs
artificial intelligence
decision making
website
convex relaxation