Explore projects
-
-
Updated
-
Updated
-
Updated
-
EECS586_RCNN / Mask_RCNN
MIT LicenseMask R-CNN for object detection and instance segmentation on Keras and TensorFlow
Updated -
MSI Cache Coherency protocol verification using the Murphi 3.1 Model Checker Tool developed by Stanford. Added the Owned state as an optimization (MOSI).
Updated -
Updated
-
Updated
-
Updated
-
-
Updated
-
Updated
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated