Login / Signup
Combination of convex theories: Modularity, deduction completeness, and explanation.
Duc-Khanh Tran
Christophe Ringeissen
Silvio Ranise
Hélène Kirchner
Published in:
J. Symb. Comput. (2010)
Keyphrases
</>
theorem proving
theoretical framework
causal reasoning
convex optimization
counter intuitive
data mining
image segmentation
evolutionary algorithm
linear program
community detection