共 50 条
- [32] A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2008, 5213 : 246 - 261
- [33] Towards the correctness and consistency of update semantics in semantic database schema IEEE Trans Knowl Data Eng, 3 (503-507):
- [35] Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2025, PT I, 2025, 15529 : 74 - 100
- [38] Semantic Shape Editing with Parametric Implicit Templates PROCEEDINGS OF SIGGRAPH 2024 CONFERENCE PAPERS, 2024,
- [39] Semantic Cage Generation for FE Mesh Editing 2013 INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN AND COMPUTER GRAPHICS (CAD/GRAPHICS), 2013, : 220 - 227
- [40] Facial Attribute Editing using Semantic Segmentation 2019 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE BIG DATA AND INTELLIGENT SYSTEMS (HPBD&IS), 2019, : 97 - 103