共 50 条
- [1] A Directive Generation Approach Using User-defined Rules [J]. 2016 FOURTH INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR), 2016, : 515 - 521
- [3] Symbolic representation of user-defined time granularities [J]. Annals of Mathematics and Artificial Intelligence, 2000, 30 : 53 - 92
- [4] A lattice of classes of user-defined symbolic periodicities [J]. 11TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2004, : 13 - 20
- [5] Symbolic representation of user-defined time granularities [J]. TIME-99: SIXTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 1999, : 17 - 28
- [7] Computation of Gauss-Kronrod quadrature rules [J]. MATHEMATICS OF COMPUTATION, 2000, 69 (231) : 1035 - 1052
- [9] Orthogonal operators for user-defined symbolic periodicities [J]. ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS, PROCEEDINGS, 2004, 3192 : 137 - 147
- [10] Parallelizing User-Defined Aggregations using Symbolic Execution [J]. SOSP'15: PROCEEDINGS OF THE TWENTY-FIFTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES, 2015, : 153 - 167