共 50 条
- [4] Formal verification at higher levels of abstraction IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN DIGEST OF TECHNICAL PAPERS, VOLS 1 AND 2, 2007, : 572 - +
- [5] Constraints specification at higher levels of abstraction SIXTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2001, : 129 - 133
- [6] Abstraction in FPGA implementation of neural networks PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON NEURAL NETWORKS (NN' 08): ADVANCED TOPICS ON NEURAL NETWORKS, 2008, : 221 - 224
- [7] Towards Higher Abstraction Levels in Quantum Computing SERVICE-ORIENTED COMPUTING - ICSOC 2023 WORKSHOPS, 2024, 14518 : 162 - 173
- [8] Abstraction Hierarchy in Deep Learning Neural Networks 2017 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), 2017, : 768 - 774
- [9] Value Iteration Networks on Multiple Levels of Abstraction ROBOTICS: SCIENCE AND SYSTEMS XV, 2019,
- [10] Inverse Abstraction of Neural Networks Using Symbolic Interpolation THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 3437 - 3444