共 50 条
- [1] A Model-Constructing Satisfiability Calculus VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2013), 2013, 7737 : 1 - 12
- [2] Research on hull configuration method of curve and surface based on NURBS 2014 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATION (IEEE ICMA 2014), 2014, : 862 - 867
- [3] Research on the Method of Constructing POI Data Model Based on AP-MRO PROCEEDINGS OF 2018 IEEE 4TH INFORMATION TECHNOLOGY AND MECHATRONICS ENGINEERING CONFERENCE (ITOEC 2018), 2018, : 1730 - 1733
- [4] A Method of Constructing User Interest Model Based on Semantics PROCEEDINGS OF 2012 7TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, VOLS I-VI, 2012, : 59 - 63
- [5] NURBS based polyhedra rounding method FOURTH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN AND COMPUTER GRAPHICS, 1996, 2644 : 38 - 45
- [6] Research on case index BCS-tree and its constructing method Fan, H. (fhx403466381@163.com), 1600, Science Press (50):
- [7] Research and Implementation on the Quality Controlling Method of NURBS Curve FRONTIERS OF MANUFACTURING AND DESIGN SCIENCE II, PTS 1-6, 2012, 121-126 : 4269 - +
- [9] A Method for Constructing a Clone Code Case Library Based on Bugs PROCEEDINGS OF 2019 IEEE 3RD INFORMATION TECHNOLOGY, NETWORKING, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (ITNEC 2019), 2019, : 2480 - 2486
- [10] Method of constructing distributed hydrological model based on GIS and RS GEOINFORMATICS 2006: GEOSPATIAL INFORMATION SCIENCE, 2006, 6420