Joshua Chen

According to our database, Joshua Chen authored at least 10 papers between 2016 and 2023.

Collaborative distances:

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

2023

Robotic Assessment of a Crop's Need for Watering: Automating a Time-Consuming Task to Support Sustainable Agriculture.

Amel Dechemi, Dimitrios Chatziparaschis, Joshua Chen, Merrick Campbell, Azin Shamshirgaran, Caio Mucchiani, Amit K. Roy-Chowdhury, Stefano Carpin, Konstantinos Karydis

IEEE Robotics Autom. Mag., December, 2023

Hardware-Aware Latency Pruning for Real-Time 3D Object Detection.

Maying Shen, Lei Mao, Joshua Chen, Justin Hsu, Xinglong Sun, Oliver Knieps, Carmen Maxim, José M. Álvarez

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

2022

A stochastic Stein Variational Newton method.

Alex Leviyev, Joshua Chen, Yifei Wang, Omar Ghattas, Aaron Zimmerman

CoRR, 2022

2021

Homotopy Type Theory in Isabelle.

Joshua Chen

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Isabelle/Spartan - A Dependent Type Theory Framework for Isabelle.

Joshua Chen

CoRR, 2020

2019

An Implementation of Homotopy Type Theory in Isabelle/Pure.

Joshua Chen

CoRR, 2019

Projected Stein Variational Newton: A Fast and Scalable Bayesian Inference Method in High Dimensions.

Peng Chen, Keyi Wu, Joshua Chen, Tom O'Leary-Roseberry, Omar Ghattas

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Hybrid and alternative logics in Isabelle.

Joshua Chen

Proceedings of the Joint Proceedings of the FMM and LML Workshops, 2019

2017

The Effect of User Embodiment in AV Cinematic Experience.

Joshua Chen, Gun A. Lee, Mark Billinghurst, Robert W. Lindeman, Christoph Bartneck

Proceedings of the International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments, 2017

2016

Enhancing Immersive Cinematic Experience with Augmented Virtuality.

Gun A. Lee, Joshua Chen, Mark Billinghurst, Robert W. Lindeman

Proceedings of the 2016 IEEE International Symposium on Mixed and Augmented Reality, 2016