<--- Back to Details
First PageDocument Content
Constraint programming / Mathematical optimization / Theoretical computer science / Statistical classification / Artificial intelligence / Machine learning / Support vector machine / Constraint satisfaction problem / Constraint satisfaction / Decomposition method / Constrained optimization / Constraint
Date: 2018-09-27 16:37:21
Constraint programming
Mathematical optimization
Theoretical computer science
Statistical classification
Artificial intelligence
Machine learning
Support vector machine
Constraint satisfaction problem
Constraint satisfaction
Decomposition method
Constrained optimization
Constraint

Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri ∗1 , Nikos Arechiga2 , Sicun Gao3 , and Richard M. Murray1 1 Computing and Mathematical Sciences, California Institute of Technology 2

Add to Reading List

Source URL: scungao.github.io

Download Document from Source Website

File Size: 286,91 KB

Share Document on Facebook

Similar Documents

,, Caius Iacob” Conference on Fluid Mechanics&Technical Applications Bucharest, Romania, November 2005 Domain decomposition method for fixed-point problems by

,, Caius Iacob” Conference on Fluid Mechanics&Technical Applications Bucharest, Romania, November 2005 Domain decomposition method for fixed-point problems by

DocID: 1vpNv - View Document

Intrinsic Decomposition of Image Sequences from Local Temporal Variations Pierre-Yves Laffont ETH Zurich Abstract We present a method for intrinsic image decomposition,

Intrinsic Decomposition of Image Sequences from Local Temporal Variations Pierre-Yves Laffont ETH Zurich Abstract We present a method for intrinsic image decomposition,

DocID: 1tp7A - View Document

Extreme States Distribution Decomposition Method for Search Engine Online Evaluation Kirill Nikolaev Alexey Drutsa

Extreme States Distribution Decomposition Method for Search Engine Online Evaluation Kirill Nikolaev Alexey Drutsa

DocID: 1tosr - View Document

A Subspace Decomposition Method for Point Source Localization  in Blurred Images Metin Gunsav and Brian D Jefls Brigham Young Universitv. Department of Electrical and Computer Engineenng 459 Clcde Building, Provo Utah 84

A Subspace Decomposition Method for Point Source Localization in Blurred Images Metin Gunsav and Brian D Jefls Brigham Young Universitv. Department of Electrical and Computer Engineenng 459 Clcde Building, Provo Utah 84

DocID: 1thyE - View Document

A UNIFIED ALGORITHMIC APPROACH TO DISTRIBUTED OPTIMIZATION João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 1 2

A UNIFIED ALGORITHMIC APPROACH TO DISTRIBUTED OPTIMIZATION João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 1 2

DocID: 1rp47 - View Document