research
∙
07/11/2023
Simple Reference Immutability for System F-sub
Reference immutability is a type based technique for taming mutation tha...
share
research
∙
05/24/2023
Barkour: Benchmarking Animal-level Agility with Quadruped Robots
Animals have evolved various agile locomotion strategies, such as sprint...
research
∙
09/22/2022
Learning Model Predictive Controllers with Real-Time Attention for Real-World Navigation
Despite decades of research, existing navigation systems still face real...
research
∙
09/19/2022
Gesture2Path: Imitation Learning for Gesture-aware Navigation
As robots increasingly enter human-centered environments, they must not ...
research
∙
07/07/2022
Scoped Capabilities for Polymorphic Effects
Type systems usually characterize the shape of values but not their free...
research
∙
04/11/2022
A Protocol for Validating Social Navigation Policies
Enabling socially acceptable behavior for situated agents is a major goa...
research
∙
10/14/2021
Gray Matter Segmentation in Ultra High Resolution 7 Tesla ex vivo T2w MRI of Human Brain Hemispheres
Ex vivo MRI of the brain provides remarkable advantages over in vivo MRI...
research
∙
05/25/2021
Tracking Captured Variables in Types
Type systems usually characterize the shape of values but not their free...
research
∙
07/07/2020
Learning Branching Heuristics for Propositional Model Counting
Propositional model counting or #SAT is the problem of computing the num...
research
∙
02/01/2019
Dataset Culling: Towards Efficient Training Of Distillation-Based Domain Specific Models
Real-time CNN based object detection models for applications like survei...
research
∙
12/09/2018
Deep Learning with Attention to Predict Gestational Age of the Fetal Brain
Fetal brain imaging is a cornerstone of prenatal screening and early dia...
research
∙
11/06/2018
Training Domain Specific Models for Energy-Efficient Object Detection
We propose an end-to-end framework for training domain specific models (...
research
∙
07/15/2018