共 50 条
- [33] Efficient decompositional model checking for regular timing diagrams CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 67 - 81
- [34] Tunnels and Voids in Molecules via Voronoi Diagrams and Beta-Complexes TRANSACTIONS ON COMPUTATIONAL SCIENCE XX: SPECIAL ISSUE ON VORONOI DIAGRAMS AND THEIR APPLICATIONS, 2013, 8110 : 92 - 111
- [37] GENERALIZED VORONOI DIAGRAMS FOR A LADDER: II. EFFICIENT CONSTRUCTION OF THE DIAGRAM. Algorithmica (New York), 1987, 2 (01): : 27 - 59
- [39] A new efficient algorithm for singular value decomposition ISCAS '99: PROCEEDINGS OF THE 1999 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 5: SYSTEMS, POWER ELECTRONICS, AND NEURAL NETWORKS, 1999, : 523 - 526
- [40] New efficient algorithm for singular value decomposition Proceedings - IEEE International Symposium on Circuits and Systems, 1999, 5