1![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 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](https://www.pdfsearch.io/img/e8d9fd8f5626854ae291c278d8ea3d67.jpg) | Add to Reading ListSource URL: scungao.github.ioLanguage: English - Date: 2018-09-27 16:37:21
|
---|
2![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 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](https://www.pdfsearch.io/img/8285332144f38ff8ea85149643fc36e4.jpg) | Add to Reading ListSource URL: scungao.github.ioLanguage: English - Date: 2018-08-09 17:19:27
|
---|
3![Machine Learning for Constraint Solving Alejandro Arbelaez, Youssef Hamadi, Michèle Sebag TAO, Univ. Paris-Sud Dagstuhl Machine Learning for Constraint Solving Alejandro Arbelaez, Youssef Hamadi, Michèle Sebag TAO, Univ. Paris-Sud Dagstuhl](https://www.pdfsearch.io/img/1a9cdca4faf41bc376ea0e9ff6a97cf4.jpg) | Add to Reading ListSource URL: www.lri.frLanguage: English - Date: 2011-05-16 20:49:36
|
---|
4![Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving Neng-Fa Zhou Yoshitaka Kameya Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving Neng-Fa Zhou Yoshitaka Kameya](https://www.pdfsearch.io/img/8a502be80b484e8193e49aaaf743e00c.jpg) | Add to Reading ListSource URL: www.sci.brooklyn.cuny.edu- Date: 2010-05-06 12:42:05
|
---|
5![TREEBANK-BASED RESEARCH AND E-LEARNING OF ESTONIAN SYNTAX Heli Uibo*, Eckhard Bick** *University of Tartu (Estonia), **University of Southern Denmark Abstract The creation of syntactically annotated corpora of Estonian s TREEBANK-BASED RESEARCH AND E-LEARNING OF ESTONIAN SYNTAX Heli Uibo*, Eckhard Bick** *University of Tartu (Estonia), **University of Southern Denmark Abstract The creation of syntactically annotated corpora of Estonian s](https://www.pdfsearch.io/img/086394907a723035627056b48ee15122.jpg) | Add to Reading ListSource URL: visl.sdu.dkLanguage: English - Date: 2005-12-07 06:49:16
|
---|
6![Journal of Machine Learning Research–72 Submitted 10/01; Published 7/02 On the Convergence of Optimistic Policy Iteration John N. Tsitsiklis Journal of Machine Learning Research–72 Submitted 10/01; Published 7/02 On the Convergence of Optimistic Policy Iteration John N. Tsitsiklis](https://www.pdfsearch.io/img/ffdaf8f6ab49cb1942e9f64957665612.jpg) | Add to Reading ListSource URL: www.ai.mit.eduLanguage: English - Date: 2002-07-14 17:41:00
|
---|
7![Introduction A First Approach The Road Ahead Mutual Constraint in Bayesian Learning of Word Reference and Word Meaning Introduction A First Approach The Road Ahead Mutual Constraint in Bayesian Learning of Word Reference and Word Meaning](https://www.pdfsearch.io/img/9681d83f28ffd27e72937d214406144e.jpg) | Add to Reading ListSource URL: www.luke.maurits.id.auLanguage: English - Date: 2016-04-23 00:08:24
|
---|
8![Semantic Web-based Group Formation for E-learning Asma Ounnas School of Electronics and Computer Science University of Southampton, UK Semantic Web-based Group Formation for E-learning Asma Ounnas School of Electronics and Computer Science University of Southampton, UK](https://www.pdfsearch.io/img/f4dfeba99d08e0d5e09178dc2f51c075.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2008-04-25 13:56:04
|
---|
9![Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International](https://www.pdfsearch.io/img/c87767f9d19b5eedacf19583146ace62.jpg) | Add to Reading ListSource URL: yices.csl.sri.comLanguage: English - Date: 2015-12-11 18:43:06
|
---|
10![Learning Constraint Satisfaction Problems: an ILP Perspective Luc De Raedt1 , Anton Dries1 , Tias Guns1 , and Christian Bessiere2 1 2 Learning Constraint Satisfaction Problems: an ILP Perspective Luc De Raedt1 , Anton Dries1 , Tias Guns1 , and Christian Bessiere2 1 2](https://www.pdfsearch.io/img/2cf90014119823cbac53175fcb4b3f27.jpg) | Add to Reading ListSource URL: lirias.kuleuven.beLanguage: English - Date: 2015-06-16 06:45:22
|
---|