Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Matthew England

A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs


May 22, 2020
Dorian Florescu, Matthew England

* Accepted into Proc ICMS 2020 

  Access Paper or Ask Questions

Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness


Nov 28, 2019
Dorian Florescu, Matthew England

* 16 pages. Accepted into the Proceedings of MACIS 2019. arXiv admin note: text overlap with arXiv:1906.01455 

  Access Paper or Ask Questions

Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition


Jun 05, 2019
Matthew England, Dorian Florescu

* Accepted into CICM 2019 

  Access Paper or Ask Questions

A Combined CNN and LSTM Model for Arabic Sentiment Analysis


Jul 22, 2018
Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal

* Proc. International Cross-Domain Conference for Machine Learning and Knowledge Extraction. CD-MAKE 2018. Lecture Notes in Computer Science, vol 11015, pp. 179-191. Springer, Cham 
* Authors accepted version of submission for CD-MAKE 2018 

  Access Paper or Ask Questions

Using Machine Learning to Improve Cylindrical Algebraic Decomposition


Apr 26, 2018
Zongyan Huang, Matthew England, David Wilson, James H. Davenport, Lawrence C. Paulson

* arXiv admin note: text overlap with arXiv:1608.04219, arXiv:1404.6369 

  Access Paper or Ask Questions

Improving Sentiment Analysis in Arabic Using Word Representation


Mar 30, 2018
Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal

* Proc. 2nd International Workshop on Arabic and Derived Script Analysis and Recognition (ASAR '18), pp. 13-18. IEEE, 2018 
* Authors accepted version of submission for ASAR 2018 

  Access Paper or Ask Questions

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases


Aug 15, 2016
Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson

* Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '16), pp. 45--52. IEEE, 2016 

  Access Paper or Ask Questions

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition


Apr 25, 2014
Zongyan Huang, Matthew England, David Wilson, James H. Davenport, Lawrence C. Paulson, James Bridge

* Intelligent Computer Mathematics, pp. 92-107. (Lecture Notes in Artificial Intelligence, 8543). Springer Berlin Heidelberg, 2014 
* 16 pages 

  Access Paper or Ask Questions