John Mitchell

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Context-Aware Human Activity Recognition (CAHAR) Dataset.
Dataset, June, 2024

DPAdapter: Improving Differentially Private Deep Learning through Noise Tolerance Pre-training.
CoRR, 2024

Virtual Reality-Based Donning and Doffing Simulator.
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2024

DPAdapter: Improving Differentially Private Deep Learning through Noise Tolerance Pre-training.
Proceedings of the 33rd USENIX Security Symposium, 2024

2021
Generative Grading: Near Human-level Accuracy for Automated Feedback on Richly Structured Problems.
Proceedings of the 14th International Conference on Educational Data Mining, 2021

2019
Generative Grading: Neural Approximate Parsing for Automated Student Feedback.
CoRR, 2019

2018
Preface.
Optim. Methods Softw., 2018

2015
A Fuzzy-Logic Approach for Evaluating a Cloud Service Provider.
Proceedings of the 1st International Conference on Software Security and Assurance, 2015

Analyzing the Integration of Cognitive Radio and Cloud Computing for Secure Networking.
Proceedings of the Complex Adaptive Systems 2015 Conference, San Jose, 2015

A Semi-distributed Access Control Management Scheme for Securing Cloud Environment.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2010
A gateway to the European optical network research.
Proceedings of the 7th International Symposium on Communication Systems Networks and Digital Signal Processing, 2010

2008
Security Decision-Making among Interdependent Organizations.
Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

Security investment games of interdependent organizations.
Proceedings of the 46th Annual Allerton Conference on Communication, 2008

2007
Towards digital facility modelling for Sydney opera house using IFC and semantic web technology.
J. Inf. Technol. Constr., 2007

2001
Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols.
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

2000
Topological obstructions to blending algorithms.
Comput. Aided Geom. Des., 2000

1993
Preface
Inf. Comput., May, 1993

Videoconferencing networks and applications in Australian higher education.
Proceedings of the Teleteaching, 1993

The Structure of Assignment, Precedence, and Resource Constraints in the ILP Approach to the Scheduling Problem.
Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

Worldwide approach to the management of document system and other software problems.
Proceedings of the Device-Independent Color Imaging and Imaging Systems Integration, 1993

1992
Theoretical Basis of Object-Oriented Methods.
Proceedings of the TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, 1992

1984
Type Inference and Type Containment.
Proceedings of the Semantics of Data Types, International Symposium, 1984

1983
A Demonstration of Three Requirements Language Systems.
ACM SIGPLAN Notices, 1983

1974
Multiprocessor performance analysis.
Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974


  Loading...