David Wilkins

According to our database, David Wilkins authored at least 8 papers between 1979 and 2023.

Collaborative distances:

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

2023

Automated title and abstract screening for scoping reviews using the GPT-4 Large Language Model.

David Wilkins

CoRR, 2023

2014

Aided diagnosis of dementia type through computer-based analysis of spontaneous speech.

William Jarrold, Bart Peintner, David Wilkins, Dimitra Vergyri, Colleen Richey, Maria Luisa Gorno-Tempini, Jennifer M. Ogar

Proceedings of the Workshop on Computational Linguistics and Clinical Psychology: From Linguistic Signal to Clinical Reality, 2014

2007

Policy-Based Cognitive Radios.

David Wilkins, Grit Denker, Mark-Oliver Stehr, Daniel Elenius, Rukman Senanayake, Carolyn L. Talcott

IEEE Wirel. Commun., 2007

CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies.

Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn L. Talcott, David Wilkins

Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

2002

Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor.

Victor Melamed, Harry Stuimer, David Wilkins, Lawrence Chang, Kevin Normoyle, Sutikshan Bhutani

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2000

Homeomorphism of 2-Complexes is Equivalent to Graph Isomorphism.

Colm Ó'Dúnlaing, Colum Watt, David Wilkins

Int. J. Comput. Geom. Appl., 2000

1980

Using Patterns and Plans in Chess.

David Wilkins

Artif. Intell., 1980

1979

Using Plans in Chess.

David Wilkins

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979