共 50 条
- [41] A linear-time majority tree algorithm ALGORITHMS IN BIOINFORMATICS, PROCEEDINGS, 2003, 2812 : 216 - 227
- [43] A Monitoring Tool for Linear-Time μHML COORDINATION MODELS AND LANGUAGES, 2022, 13271 : 200 - 219
- [44] Dense Linear-Time Correspondences for Tracking 2008 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION WORKSHOPS, VOLS 1-3, 2008, : 1302 - 1309
- [46] Linear-Time Algorithms for Proportional Apportionment ALGORITHMS AND COMPUTATION, ISAAC 2014, 2014, 8889 : 581 - 592
- [49] Linear-time Minimization of Wheeler DFAs DCC 2022: 2022 DATA COMPRESSION CONFERENCE (DCC), 2022, : 53 - 62
- [50] A Coalgebraic Approach to Linear-Time Logics FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2014, 8412 : 426 - 440