Issue Date | Title | Author(s) |
2016 | Reward-Bounded Reachability Probability for Uncertain Weighted MDPs | Hashemi, V; Hermanns, H; Song, L; Jobstmann, B; Leino, KRM |
2019-02-01 | Gated-GAN: Adversarial gated networks for multi-collection style transfer | Chen, X; Xu, C; Yang, X; Song, L; Tao, D |
2015-01-01 | Decentralized bisimulation for multiagent systems | Song, L; Feng, Y; Zhang, L |
2003-01 | Enhancing the Quality of e-Service in Consulting Industry Using Case-Reference-Net CBR Technique | Lin, L; Lu, J; Song, L; Huang, W; Ling, H; Fang, H |
2018-01-01 | Nonlocal patch based T-SVD for image inpainting: Algorithm and error analysis | Song, L; Du, B; Zhang, L; Wu, J; Li, X |
2015-01-01 | Comparison of variations detection between whole-genome amplification methods used in single-cell resequencing | Hou, Y; Wu, K; Shi, X; Li, F; Song, L; Wu, H; Dean, M; Li, G; Tsang, S; Jiang, R; Zhang, X; Li, B; Liu, G; Bedekar, N; Lu, N; Xie, G; Liang, H; Chang, L; Wang, T; Chen, J; Li, Y; Yang, H; Xu, X; Wang, L; Wang, J |
2017-08-15 | Occurrence State and Molecular Structure Analysis of Extracellular Proteins with Implications on the Dewaterability of Waste-Activated Sludge | Wu, B; Ni, BJ; Horvat, K; Song, L; Chai, X; Dai, X; Mahajan, D |
2003-01 | Case-based Reasoning Integrating with Direct-Case-Linkage for Tacit Knowledge Management | Lin, L; Ling, H; Lu, J; Zhang, C; Song, L; Xue, H; Hanisch, J; Falconer, D; Horrocks, S; Hillier, M |
2016-12-05 | Verify LTL with Fairness Assumptions Efficiently | Li, Y; Song, L; Feng, Y; Zhang, L |
2018-01-01 | Model checking probabilistic epistemic logic for probabilistic multiagent systems | Fu, C; Turrini, A; Huang, X; Song, L; Feng, Y; Zhang, L |