The learning behind gmail priority inbox D Aberdeen, O Pacovsky, A Slater LCCC: NIPS 2010 Workshop on Learning on Cores, Clusters and Clouds, 97, 2010 | 118 | 2010 |
Modelling more realistic SAT problems A Slater Australian Joint Conference on Artificial Intelligence, 591-602, 2002 | 23 | 2002 |
Investigations into satisfiability search A Slater The Australian National University, 2004 | 5 | 2004 |
System description: CardTAP: The first theorem prover on a smart card R Goré, J Posegga, A Slater, H Vogt Automated Deduction—CADE-15: 15th International Conference on Automated …, 1998 | 5 | 1998 |
Formal Methods Applied To Electronic Voting Systems P Abate, J Dawson, R Goré, M Gray, M Norrish, A Slater Tech. rep., College of Engineering and Computer Science, The Australian …, 2004 | 4 | 2004 |
Predictive toxicology using a decision-tree learner KS Ng, JW Lloyd, AW Slater The, 2000 | 1 | 2000 |
Relevant Backtracking: Improved Intelligent Backtracking Using Relevance A Slater Canberra Research Laboratory, National ICT Australia, Research School of …, 0 | 1 | |
A Hybridised 3-SAT Algorithm A Slater | | 1999 |
cardT A P: Automated deduction on a smart card A Slater, R Goré, J Posegga, H Vogt Australian Joint Conference on Artificial Intelligence, 239-247, 1998 | | 1998 |
System description: CardTAP: The first theorem prover on a smart card R Goré, J Posegga, A Slater, H Vogt International Conference on Automated Deduction, 47-50, 1998 | | 1998 |
cardT A P: Automated deduction on a smart card A Slater, R Goré, J Posegga, H Vogt Advanced Topics in Artificial Intelligence: 11th Australian Joint Conference …, 1998 | | 1998 |
System Description TS MODE | | |