Search

Current filters:
Add Filter:

Results

Customise results display
Item hits:
Issue DateTitleAuthor(s)
2016Reward-Bounded Reachability Probability for Uncertain Weighted MDPsHashemi, V; Hermanns, H; Song, L; Jobstmann, B; Leino, KRM
2019-02-01Gated-GAN: Adversarial gated networks for multi-collection style transferChen, X; Xu, C; Yang, X; Song, L; Tao, D
2015-01-01Decentralized bisimulation for multiagent systemsSong, L; Feng, Y; Zhang, L
2003-01Enhancing the Quality of e-Service in Consulting Industry Using Case-Reference-Net CBR TechniqueLin, L; Lu, J; Song, L; Huang, W; Ling, H; Fang, H
2018-01-01Nonlocal patch based T-SVD for image inpainting: Algorithm and error analysisSong, L; Du, B; Zhang, L; Wu, J; Li, X
2015-01-01Comparison of variations detection between whole-genome amplification methods used in single-cell resequencingHou, 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-15Occurrence State and Molecular Structure Analysis of Extracellular Proteins with Implications on the Dewaterability of Waste-Activated SludgeWu, B; Ni, BJ; Horvat, K; Song, L; Chai, X; Dai, X; Mahajan, D
2003-01Case-based Reasoning Integrating with Direct-Case-Linkage for Tacit Knowledge ManagementLin, L; Ling, H; Lu, J; Zhang, C; Song, L; Xue, H; Hanisch, J; Falconer, D; Horrocks, S; Hillier, M
2016-12-05Verify LTL with Fairness Assumptions EfficientlyLi, Y; Song, L; Feng, Y; Zhang, L
2018-01-01Model checking probabilistic epistemic logic for probabilistic multiagent systemsFu, C; Turrini, A; Huang, X; Song, L; Feng, Y; Zhang, L
Results 1-10 of 12 (Search time: 0.069 seconds).