An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals.

Han Xu Liqian Chen Guangsheng Fan Banghu Yin Ji Wang

Published in: SETTA (2023)

Keyphrases

domain specific
multiscale
learning algorithm
high level
domain experts
cross domain
linear systems
real time
data sets
neural network
evolutionary algorithm
query language