Robert Johnson

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

Bibliography

2018
Point process latent variable models of larval zebrafish behavior.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Designing a Research Platform for Engaged Learning.
Proceedings of the 18th ACM/IEEE on Joint Conference on Digital Libraries, 2018

2016
Target Beliefs for SME-oriented Bayesian Network-based Modeling.
Proceedings of the 13th UAI Bayesian Modeling Applications Workshop (BMAW 2016) co-located with the 32nd Conference on Uncertainty in Artificial Intelligence (UAI 2016), 2016

Probabilistic Argument Maps for Intelligence Analysis: Capabilities Underway.
Proceedings of the 16th Workshop on Computational Models of Natural Argument co-located with IJCAI 2016, 2016

Probabilistic Argument Maps for Intelligence Analysis: Completed Capabilities.
Proceedings of the 16th Workshop on Computational Models of Natural Argument co-located with IJCAI 2016, 2016

2011
Distributed Transactions for Google App Engine: Optimistic Distributed Transactions built upon Local Multi-Version Concurrency Control
CoRR, 2011

2007
Deflation-secure web metering.
Int. J. Inf. Comput. Secur., 2007

Designing universal access: web-applications for the elderly and disabled.
Cogn. Technol. Work., 2007

Information as a Service: Modeling and Realization.
Proceedings of the International Workshop on Systems Development in SOA Environments, 2007

Independent Component Analysis of Functional Magnetic Resonance Imaging Data Using Wavelet Dictionaries.
Proceedings of the Independent Component Analysis and Signal Separation, 2007

2006
Flow-insensitive type qualifiers.
ACM Trans. Program. Lang. Syst., 2006

2005
Fixing Races for Fun and Profit: How to Abuse atime.
Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31, 2005

Unmanned tactical air-ground systems family of unmanned systems experiment.
Proceedings of the IEEE International Workshop on Robot and Human Interactive Communication, 2005

2004
Finding User/Kernel Pointer Bugs with Type Inference.
Proceedings of the 13th USENIX Security Symposium, August 9-13, 2004, San Diego, CA, USA, 2004

2002
Multiplicative Differentials.
Proceedings of the Fast Software Encryption, 9th International Workshop, 2002

Homomorphic Signature Schemes.
Proceedings of the Topics in Cryptology, 2002

FAIR: Fair Audience InfeRence.
Proceedings of the Security and Privacy in Digital Rights Management, 2002

2001
A Cryptanalysis of the High-Bandwidth Digital Content Protection System.
Proceedings of the Security and Privacy in Digital Rights Management, 2001

1995
Proteus: A reconfigurable computational network for computer vision.
Mach. Vis. Appl., 1995

Graph Structure Management in Parallel Symbolic Systems.
Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

1992
Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract).
Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

DASD: Channels and Cache.
Proceedings of the 18th International Computer Measurement Group Conference, 1992

1991
Proteus System Architecture and Organization.
Proceedings of the Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30, 1991

DASD: IBM Direct Access Storage Devices.
Proceedings of the 17th International Computer Measurement Group Conference, 1991

1990
Parallel, Concurrent Theorem Proving.
Proceedings of the Parallelization in Inference Systems, 1990

1982
Approaches to solid modelling (Panel Session).
Proceedings of the 9th Annual Conference on Computer Graphics and Interactive Techniques, 1982


  Loading...