David Price

According to our database, David Price authored at least 20 papers between 1994 and 2021.

Collaborative distances:

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

2021

Formalising UPTANE in CSP for Security Testing.

Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh, David Evans, David Price

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Vehicular Platoon Communication: Cybersecurity Threats and Open Challenges.

Sean Joe Taylor, Farhan Ahmad, Hoang Nga Nguyen, Siraj Ahmed Shaikh, David Evans, David Price

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2019

Five Years of the Right to be Forgotten.

Theo Bertram, Elie Bursztein, Stephanie Caro, Hubert Chao, Rutledge Chin Feman, Peter Fleischer, Albin Gustafsson, Jess Hemerly, Chris Hibbert, Luca Invernizzi, Lanah Kammourieh Donnelly, Jason Ketover, Jay Laefer, Paul Nicholas, Yuan Niu, Harjinder Obhi, David Price, Andrew Strait, Kurt Thomas, Al Verney

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2015

Argument Discovery and Extraction with the Argument Workbench.

Adam Z. Wyner, Wim Peters, David Price

Proceedings of the 2nd Workshop on Argumentation Mining, 2015

2014

Brain mitochondrial oxidative metabolism during and after cerebral hypoxia-ischemia studied by simultaneous phosphorus magnetic-resonance and broadband near-infrared spectroscopy.

Alan Bainbridge, Ilias Tachtsidis, S. D. Faulkner, David Price, Tingting Zhu, Esther Baer, K. D. Broad, D. L. Thomas, Ernest Cady, Nicola J. Robertson, Xavier Golay

NeuroImage, 2014

Multi-modal Measurement of the Myelin-to-Axon Diameter g-ratio in Preterm-born Neonates and Adult Controls.

Andrew Melbourne, Zach Eaton-Rosen, Enrico De Vita, Alan Bainbridge, Manuel Jorge Cardoso, David Price, Ernest Cady, Giles S. Kendall, Nicola J. Robertson, Neil Marlow, Sébastien Ourselin

Proceedings of the Medical Image Computing and Computer-Assisted Intervention - MICCAI 2014, 2014

2013

eLearning: From the enclosure to the global learning commons.

David Price

eLearn Mag., 2013

2012

Comparing virtual consults to traditional consults using an electronic health record: an observational case-control study.

Ted E. Palen, David Price, Susan Shetterly, Kristin B. Wallace

BMC Medical Informatics Decis. Mak., 2012

2011

The WAVE Platform: Utilising Argument Visualisation, Social Networking and Web 2.0 Technologies for eParticipation.

Deirdre Lee, Yojana Priya Menda, Vassilios Peristeras, David Price

Int. J. E Serv. Mob. Appl., 2011

2007

An upper ontology based on ISO 15926.

Rafael Batres, Matthew West, David Leal, David Price, Katsube Masaki, Yukiyasu Shimada, Tetsuo Fuchino, Yuji Naka

Comput. Chem. Eng., 2007

2006

Decision-Theoretic Planning with non-Markovian Rewards.

Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza

J. Artif. Intell. Res., 2006

2004

Applying Semantic Web Technology to the Life Cycle Support of Complex Engineering Assets.

David Price, Rob Bodington

Proceedings of the Semantic Web, 2004

Guiding a Theorem Prover with Soft Constraints.

John K. Slaney, Arnold Binas, David Price

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards.

Charles Gretton, David Price, Sylvie Thiébaux

Proceedings of the UAI '03, 2003

2000

NaturalJava: a natural language interface for programming in Java.

David Price, Ellen Riloff, Joseph L. Zachary, Brandon Harvey

Proceedings of the 5th International Conference on Intelligent User Interfaces, 2000

1999

A2iA Check Reader: A Family of Bank Check Recognition Systems.

Nikolai Gorski, Valery Anisimov, Emmanuel Augustin, Olivier Baret, David Price, Jean-Claude Simon

Proceedings of the Fifth International Conference on Document Analysis and Recognition, 1999

1998

Hidden Markov Model Based Word Recognition and Its Application to Legal Amount Reading on French Checks.

Stefan Knerr, Emmanuel Augustin, Olivier Baret, David Price

Comput. Vis. Image Underst., 1998

1997

The A2iA Intercheque System: Courtesy Amount and Legal Amount Recognition for French Checks.

Stefan Knerr, Valery Anisimov, Olivier Baret, Nikolai Gorski, David Price, Jean-Claude Simon

Int. J. Pattern Recognit. Artif. Intell., 1997

1995

Bank Check Reading: Recognizing the Courtesy Amount.

Valery Anisimov, Nikolai Gorski, David Price, Olivier Baret, Stefan Knerr

Proceedings of the Image Analysis Applications and Computer Graphics, 1995

1994

Pairwise Neural Network Classifiers with Probabilistic Outputs.

David Price, Stefan Knerr, Léon Personnaz, Gérard Dreyfus

Proceedings of the Advances in Neural Information Processing Systems 7, 1994