Dilip Sequeira
Publications by Year
Research Areas
Context-Aware Activity Recognition Systems, Advanced Data Processing Techniques, Advanced Neural Network Applications, Logic, programming, and type systems, Formal Methods in Verification
Most-Cited Works
- → MLPerf Inference Benchmark(2020)451 cited
- Implementing Proof by Pointing without a Structure Editor(1997)
- Type inference with bounded quantification(1998)
- → MLPerf MobileNet v1 quantized model(2019)
- → MLPerf Inference quantized BERT ONNX Model on SQuAD v1.1 dataset(2020)