Research programming language for concurrent ownership
Обновлено 2024-10-02 18:50:42 +03:00
An Unreal Engine game plugin which enables research mode on Microsoft's HoloLens 2.
Обновлено 2023-07-11 17:09:57 +03:00
This repository provides code for machine learning algorithms for edge devices developed at Microsoft Research India.
Обновлено 2023-07-07 00:42:22 +03:00
From the Microsoft Applied Robotics Research team, this repository is an example system providing indoor navigation capabilities to a Pepper robot with a HoloLens device mounted to its head. Our team invites you to join us in research and engineering efforts that advance how robots can assist and augment the capabilities of human beings.
Обновлено 2023-05-02 01:27:11 +03:00
Sample code and documentation for using the Microsoft HoloLens for Computer Vision research
Обновлено 2022-11-28 22:11:45 +03:00
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
Обновлено 2020-09-04 21:38:51 +03:00