David Mitchell

Orcid: 0000-0002-8782-6440

According to our database1, David Mitchell authored at least 21 papers between 1991 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2021
An Experimental Study of Permanently Stored Learned Clauses.
CoRR, 2021

How effective is perceptual training? Evaluating two perceptual training methods on a difficult visual categorisation task.
Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021

X Resolution Correspondence Networks.
Proceedings of the 32nd British Machine Vision Conference 2021, 2021

2020
XResolution Correspondence Networks.
CoRR, 2020

2019
Models of Lithuanian Grapheme Frequencies.
J. Quant. Linguistics, 2019

Mapping informal settlement indicators using object-oriented analysis in the Middle East.
Int. J. Digit. Earth, 2019

Simplifying CDCL Clause Database Reduction.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

Guarded Constraint Models Define Treewidth Preserving Reductions.
Proceedings of the Principles and Practice of Constraint Programming, 2019

2018
Centrality-Based Improvements to CDCL Heuristics.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

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

Improving SAT Solver Performance with Structure-based Preferential Bumping.
Proceedings of the GCAI 2017, 2017

2015
Type-token models: a comparative study.
J. Quant. Linguistics, 2015

2014
MAX-SAT problem using evolutionary algorithms.
Proceedings of the 2014 IEEE Symposium on Swarm Intelligence, 2014

Resolution and Clause Learning for Multi-Valued CNF Formulas.
Proceedings of the First Workshop on Logics for Reasoning about Preferences, 2014

2009
Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits?
Comput. Educ., 2009

2002
Delivering power with minimal restraint: APL and the web.
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.
Eur. J. Oper. Res., 2000

1998
A Component Approach to Embedding Awareness and Conversation.
Proceedings of the 7th Workshop on Enabling Technologies (WETICE '98), 1998

1997
The Notification Service Transfer Protocol (NSTP): Infrastructure for Synchronous Groupware.
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.
Int. J. Geogr. Inf. Sci., 1991


  Loading...