共 50 条
- [1] The Space-Efficient Core of Vadalog PROCEEDINGS OF THE 38TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS '19), 2019, : 270 - 284
- [4] A SPACE-EFFICIENT ALGORITHM FOR LOCAL SIMILARITIES COMPUTER APPLICATIONS IN THE BIOSCIENCES, 1990, 6 (04): : 373 - 381
- [5] A space-efficient probabilistic simulation algorithm CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 : 248 - 263
- [6] Correcting a space-efficient simulation algorithm COMPUTER AIDED VERIFICATION, 2008, 5123 : 517 - +
- [7] Space-efficient memory-based heuristics PROCEEDING OF THE NINETEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE SIXTEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2004, : 677 - 682
- [10] SIEVE: A Space-Efficient Algorithm for Viterbi Decoding PROCEEDINGS OF THE 2022 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA (SIGMOD '22), 2022, : 1136 - 1145