David Mitchell - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2022

Combining Object-Based Machine Learning with Long-Term Time-Series Analysis for Informal Settlement IdentificationAhmad Fallatah, Simon D. Jones, Luke Wallace, David Mitchell. remotesensing, 14(5):1226, 2022. [doi]

2021

2019

2018

Centrality-Based Improvements to CDCL HeuristicsSima Jamali, David Mitchell. sat 2018: 122-131 [doi]

2017

Improving SAT Solver Performance with Structure-based Preferential BumpingSima Jamali, David Mitchell. gcai 2017: 175-187 [doi]

Resolution and Clause-Learning with Restarts for Signed CNF FormulasDavid Mitchell. flap, 4(7), 2017. [doi]

2015

Type-token models: a comparative studyDavid Mitchell. jql, 22(1):1-21, 2015. [doi]

2014

MAX-SAT problem using evolutionary algorithmsHafiz Munsub Ali, David Mitchell, Daniel C. Lee. kit 2014: 105-112 [doi]

Resolution and Clause Learning for Multi-Valued CNF FormulasDavid Mitchell. cade 2014: 141-154 [doi]

2009

Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits?Darren K. Griffin, David Mitchell, Simon J. Thompson. ce, 53(2):532-539, 2009. [doi]

2002

Delivering power with minimal restraint: APL and the webDavid Mitchell. aplas 2002: 140-147 [doi]

2000

Comparison of neural network models with ARIMA and regression models for prediction of Houston s daily maximum ozone concentrationsVictor R. Prybutok, Junsub Yi, David Mitchell. eor, 122(1):31-40, 2000. [doi]

1998

A Component Approach to Embedding Awareness and ConversationDavid Mitchell. wetice 1998: 82-89 [doi]

1997

The Notification Service Transfer Protocol (NSTP): Infrastructure for Synchronous GroupwareMark Day, John F. Patterson, David Mitchell. cn, 29(8-13):905-915, 1997. [doi]

1991

Three Dimensional Applications in Geographical Information Systems". Edited by J. RAPER. (London: Taylor & Francis, 1989.) [Pp 189.] Price £30·00. ISBN 0850667763David Mitchell. gis, 5(2):255-256, 1991. [doi]

Sign in or sign up to see more results.

runs on WebDSL