HiddenDetect: Detecting Jailbreak Attacks against Large Vision-Language Models via Monitoring Hidden States.
CoRR, February, 2025
Adaptive Contour Feature and Color Feature Fusion for Monocular Textureless 3D Object Tracking.
IEEE Access, 2018
A High Precision and Realtime Physics-Based Hand Interaction for Virtual Instrument Experiment.
Proceedings of the Data Science, 2018
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions.
J. Appl. Math., 2014
Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures.
J. Appl. Math., 2014
Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches.
J. Appl. Math., 2013
Wu's Characteristic Set Method for SystemVerilog Assertions Verification.
J. Appl. Math., 2013
Operational semantics of probabilistic Kleene algebra with tests.
Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008
Theory framework for event structure slicing.
Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008
Probabilistic Modal Kleene Algebra and Hoare-Style Logic.
Proceedings of the Fourth International Conference on Natural Computation, 2008