Pinned Loading

2. Collective Knowledge workflow for Caffe to automate installation across diverse platforms and to collaboratively evaluate and optimize Caffe-based workloads across diverse hardware, software and da…

   CMake 196 40

3. Modifying Oddoux and Gastin's ltl2ba (http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/) to perform Transformation from Metric Interval Temporal Logic to Timed Automata

   C 4 4

4. Forked from SystemAnalysisDpt-CMC-MSU/ellipsoids

   Ellipsoidal Toolbox for MATLAB is a standalone set of easy-to-use configurable MATLAB routines and classes to perform operations with ellipsoids and hyperplanes of arbitrary dimensions

   MATLAB