Solver-Based Sketching of Alloy Models Using Test Valuations.

Kaiyuan Wang Allison Sullivan Darko Marinov Sarfraz Khurshid

Published in: ABZ (2018)

Keyphrases

probabilistic model
statistical models
databases
real world
data mining
feature selection
three dimensional
video sequences
parameter estimation
statistical model
experimental data