Formal Verification of Object Detection.
CoRR, 2024
Statistical curriculum learning: An elimination algorithm achieving an oracle risk.
Proceedings of the Thirty Seventh Annual Conference on Learning Theory, June 30, 2024
Temporal Relation Classification using Boolean Question Answering.
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023
A 250 mV 8 kb 40 nm Ultra-Low Power 9T Supply Feedback SRAM (SF-SRAM).
IEEE J. Solid State Circuits, 2011
Finding a Common Motif of RNA Sequences Using Genetic Programming: The GeRNAMo System.
IEEE ACM Trans. Comput. Biol. Bioinform., 2007
A novel design and fabrication method of a pyramidal shape chip for scanning micro mirror.
Proceedings of the 2004 11th IEEE International Conference on Electronics, 2004
A novel design and fabrication method of scanning micro-mirror for retinal scan displays.
Proceedings of the 2004 11th IEEE International Conference on Electronics, 2004