共 50 条
- [22] Symbol Acquisition for Probabilistic High-Level Planning PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 3619 - 3627
- [23] Equivalence Checking of High-Level Designs Based on Symbolic Simulation 2009 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS PROCEEDINGS, VOLUMES I & II: COMMUNICATIONS, NETWORKS AND SIGNAL PROCESSING, VOL I/ELECTRONIC DEVICES, CIRUITS AND SYSTEMS, VOL II, 2009, : 1129 - +
- [25] Enhancing Bug Hunting Using High-Level Symbolic Simulation GLSVLSI 2009: PROCEEDINGS OF THE 2009 GREAT LAKES SYMPOSIUM ON VLSI, 2009, : 417 - 420
- [26] Enhancing topological ATPG with high-level information and symbolic techniques INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1998, : 504 - 509
- [27] Finite symbolic reachability graphs for high-level Petri nets ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 150 - 159
- [29] Content-based image retrieval and high-level representations INTERNET IMAGING III, 2002, 4672 : 129 - 138