First Page | Document Content | |
---|---|---|
Date: 2018-09-27 16:37:21Constraint 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 2Add to Reading ListSource URL: scungao.github.ioDownload Document from Source WebsiteFile Size: 286,91 KBShare Document on Facebook |
PROJECT PAI TECHNICAL WHITEPAPER SUMMARY PAI BLOCKCHAIN PROTOCOL: A DECENTRALIZED ARTIFICIAL INTELLIGENCE NETWORKDocID: 1xVWW - View Document | |
Persistent Memory for Artificial Intelligence Bill Gervasi Principal Systems Architect Santa Clara, CADocID: 1xVOm - View Document | |
Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Marvin - Open source artificial intelligence platform Lucas B. MiguelDocID: 1xVLb - View Document | |
Cybersecurity Powered by Artificial Intelligence and the Blockchain HEROIC.com Team February 2018DocID: 1xVHi - View Document |