C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Specification-Guided Component-Based Synthesis from Effectful Libraries.
Ashish Mishra
Suresh Jagannathan
Published in:
CoRR (2022)
Keyphrases
</>
high level
digital libraries
program synthesis
machine learning
image processing
decision trees
multiscale
formal specification
neural network
information retrieval
genetic algorithm
databases
image sequences
real time
expert systems
conceptual model
texture synthesis
database