Подписаться
Charlie Murphy
Charlie Murphy
Postdoctoral Researcher, University of Wisconsin Madison
Подтвержден адрес электронной почты в домене cs.princeton.edu - Главная страница
Название
Процитировано
Процитировано
Год
Verified perceptron convergence theorem
C Murphy, P Gray, G Stewart
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine …, 2017
192017
Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement
C Murphy, Z Kincaid
International Conference on Computer Aided Verification, 89-109, 2024
22024
Development of a Robust Indoor 3D SLAM Algorithm
T Murphy, D Chelberg
Midstates Conference on Undergrduate Rsearch in Computer Science and …, 2014
22014
Verifying Solutions to Semantics-Guided Synthesis Problems
C Murphy, K Johnson, T Reps, L D'Antoni
arXiv preprint arXiv:2408.15475, 2024
12024
Examining the Effects of Key Point Detector and Descriptors on 3D Visual SLAM
TC Murphy
Ohio University, 2016
12016
Certified convergent perceptron learning
T Murphy, P Gray, G Stewart
1
Synthesizing Formal Semantics from Executable Interpreters
J Liu, C Murphy, A Grover, KJC Johnson, T Reps, L D’Antoni
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 362-388, 2024
2024
A Practical Algorithm for Structure Embedding
C Murphy, Z Kincaid
International Conference on Verification, Model Checking, and Abstract …, 2019
2019
Introduction to Game Semantics and Logical Games
C Murphy
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–9