David Mitchell

According to our database, David Mitchell authored at least 20 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Combining Object-Based Machine Learning with Long-Term Time-Series Analysis for Informal Settlement Identification.

Ahmad Fallatah, Simon D. Jones, Luke Wallace, David Mitchell

Remote. Sens., 2022

2021

An Experimental Study of Permanently Stored Learned Clauses.

Sima Jamali, David Mitchell

CoRR, 2021

X Resolution Correspondence Networks.

Georgi Tinchev, Shuda Li, Kai Han, David Mitchell, Rigas Kouskouridas

Proceedings of the 32nd British Machine Vision Conference 2021, 2021

2020

XResolution Correspondence Networks.

Georgi Tinchev, Shuda Li, Kai Han, David Mitchell, Rigas Kouskouridas

CoRR, 2020

2019

Models of Lithuanian Grapheme Frequencies.

David Mitchell

J. Quant. Linguistics, 2019

Mapping informal settlement indicators using object-oriented analysis in the Middle East.

Ahmad Fallatah, Simon D. Jones, David Mitchell, Divyani Kohli

Int. J. Digit. Earth, 2019

Simplifying CDCL Clause Database Reduction.

Sima Jamali, David Mitchell

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

Guarded Constraint Models Define Treewidth Preserving Reductions.

David Mitchell

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

Centrality-Based Improvements to CDCL Heuristics.

Sima Jamali, David Mitchell

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

2017

Resolution and Clause-Learning with Restarts for Signed CNF Formulas.

David Mitchell

FLAP, 2017

Improving SAT Solver Performance with Structure-based Preferential Bumping.

Sima Jamali, David Mitchell

Proceedings of the GCAI 2017, 2017

2015

Type-token models: a comparative study.

David Mitchell

J. Quant. Linguistics, 2015

2014

MAX-SAT problem using evolutionary algorithms.

Hafiz Munsub Ali, David Mitchell, Daniel C. Lee

Proceedings of the 2014 IEEE Symposium on Swarm Intelligence, 2014

Resolution and Clause Learning for Multi-Valued CNF Formulas.

David Mitchell

Proceedings of the First Workshop on Logics for Reasoning about Preferences, 2014

2009

Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits?

Darren K. Griffin, David Mitchell, Simon J. Thompson

Comput. Educ., 2009

2002

Delivering power with minimal restraint: APL and the web.

David Mitchell

Proceedings of the 2002 International Conference on APL: Array Processing Languages: Lore, 2002

2000

Comparison of neural network models with ARIMA and regression models for prediction of Houston's daily maximum ozone concentrations.

Victor R. Prybutok, Junsub Yi, David Mitchell

Eur. J. Oper. Res., 2000

1998

A Component Approach to Embedding Awareness and Conversation.

David Mitchell

Proceedings of the 7th Workshop on Enabling Technologies (WETICE '98), 1998

1997

The Notification Service Transfer Protocol (NSTP): Infrastructure for Synchronous Groupware.

Mark Day, John F. Patterson, David Mitchell

Comput. Networks, 1997

1991

A Review of: "<i>Three Dimensional Applications in Geographical Information Systems</i>". Edited by J. RAPER. (London: Taylor & Francis, 1989.) [Pp 189.] Price £30·00. ISBN 0850667763.

David Mitchell

Int. J. Geogr. Inf. Sci., 1991