Jonathan Chan
- CDC: Convolutional-De-Convolutional Networks for Precise Temporal Action Localization in Untrimmed Videos
2017/03/04 by Zheng Shou, Jonathan Chan, Shou, Zheng +7 · 8 citations
Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Human Pose and Action Recognition #Multimodal Machine Learning Applications #Video Surveillance and Tracking Methods
- Stratified Type Theory
2023/09/21 by Jonathan Chan, Stephanie Weirich, Chan, Jonathan +1 · 1 voice · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #cs.PL
- Consistency of a Dependent Calculus of Indistinguishability
2025/01/07 by Yiyun Liu, Jonathan Chan, Stephanie Weirich · 1 voice · 1 citation
Computer Science · #Logic, programming, and type systems #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge