David Mitchell

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 12

Top Topics

Clause Learning

Top Venues

J. Quant. Linguistics

Publications

Ahmad Fallatah, Simon D. Jones, Luke Wallace, David Mitchell
Combining Object-Based Machine Learning with Long-Term Time-Series Analysis for Informal Settlement Identification. Remote. Sens. 14 (5) (2022)
Sima Jamali, David Mitchell
An Experimental Study of Permanently Stored Learned Clauses. CoRR (2021)
Jessica Marris, Andrew Perfors, David Mitchell, Wayland Wang, Mark W. McCusker, Timothy John Haynes Lovell, Robert N. Gibson, Frank Gaillard, Piers Douglas Lionel Howe
How effective is perceptual training? Evaluating two perceptual training methods on a difficult visual categorisation task. CogSci (2021)
Georgi Tinchev, Shuda Li, Kai Han, David Mitchell, Rigas Kouskouridas
X Resolution Correspondence Networks. BMVC (2021)
Georgi Tinchev, Shuda Li, Kai Han, David Mitchell, Rigas Kouskouridas
XResolution Correspondence Networks. CoRR (2020)
David Mitchell
Models of Lithuanian Grapheme Frequencies. J. Quant. Linguistics 26 (2) (2019)
David Mitchell
Guarded Constraint Models Define Treewidth Preserving Reductions. CP (2019)
Sima Jamali, David Mitchell
Simplifying CDCL Clause Database Reduction. SAT (2019)
Ahmad Fallatah, Simon Jones, David Mitchell, Divyani Kohli
Mapping informal settlement indicators using object-oriented analysis in the Middle East. Int. J. Digit. Earth 12 (7) (2019)
Sima Jamali, David Mitchell
Centrality-Based Improvements to CDCL Heuristics. SAT (2018)
Sima Jamali, David Mitchell
Improving SAT Solver Performance with Structure-based Preferential Bumping. GCAI (2017)
David Mitchell
Resolution and Clause-Learning with Restarts for Signed CNF Formulas. FLAP 4 (7) (2017)
David Mitchell
Type-token models: a comparative study. J. Quant. Linguistics 22 (1) (2015)
Hafiz Munsub Ali, David Mitchell, Daniel C. Lee
MAX-SAT problem using evolutionary algorithms. SIS (2014)
David Mitchell
Resolution and Clause Learning for Multi-Valued CNF Formulas. PRUV (2014)
Darren K. Griffin, David Mitchell, Simon J. Thompson
Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits? Comput. Educ. 53 (2) (2009)
David Mitchell
Delivering power with minimal restraint: APL and the web. APL (2002)
Victor R. Prybutok, Junsub Yi, David Mitchell
Comparison of neural network models with ARIMA and regression models for prediction of Houston's daily maximum ozone concentrations. Eur. J. Oper. Res. 122 (1) (2000)
David Mitchell
A Component Approach to Embedding Awareness and Conversation. WETICE (1998)
Mark Day, John F. Patterson, David Mitchell
The Notification Service Transfer Protocol (NSTP): Infrastructure for Synchronous Groupware. Comput. Networks 29 (8-13) (1997)
David Mitchell
". Edited by J. RAPER. (London: Taylor & Francis, 1989.) [Pp 189.] Price £30·00. ISBN 0850667763. Int. J. Geogr. Inf. Sci. 5 (2) (1991)