共 50 条
- [44] Hybrid acceleration using real vector automata (Extended abstract) COMPUTER AIDED VERIFICATION, 2003, 2725 : 193 - 205
- [45] Estimating hybrid frequency moments of data streams - Extended abstract FRONTIERS IN ALGORITHMICS, 2008, 5059 : 55 - 66
- [46] Formal Abstract Modeling of Dynamic Multiplex Networks SIGSIM-PADS'18: PROCEEDINGS OF THE 2018 ACM SIGSIM CONFERENCE ON PRINCIPLES OF ADVANCED DISCRETE SIMULATION, 2018, : 61 - 72
- [47] Flexible Bandwidth Assignment with Application to Optical Networks (Extended Abstract) MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PT II, 2014, 8635 : 613 - 624
- [48] Understanding Convolutional Networks Using Linear Interpreters Extended Abstract 2019 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOPS (ICCVW), 2019, : 4186 - 4189
- [49] Biological networks: Comparison, conservation, and evolutionary trees (Extended abstract) RESEARCH IN COMPUTATIONAL MOLECULAR BIOLOGY, PROCEEDINGS, 2006, 3909 : 30 - 44
- [50] Extended Abstract: Coordinated Communications for Next-Generation Networks 2019 IEEE 27TH INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (IEEE ICNP), 2019,