Sign in
Using Slicing to Improve the Performance of Model Invariant Checking.
Wuliang Sun
Benoît Combemale
Robert B. France
Arnaud Blouin
Benoit Baudry
Indrakshi Ray
Published in:
J. Object Technol. (2015)
Keyphrases
</>
information systems
management system
computational model
mathematical model
cost function
statistical model
information retrieval
computer vision
high level
objective function
hidden markov models
theoretical analysis
network structure
parameter values