Published Articles, Dept. of Computer Science : [434] Collection home page

When downloading papers please observe the normal copyright codes and conventions for their use.

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 434
 next >
First PublishedTitleAuthor(s)Type
12-Apr-2017Approximate counting in SMT and value estimation for probabilistic programsChistikov, Dmitry; Dimitrova, Rayna; Majumdar, RupakJournal Article
20-Jun-2017Automatic Inference of Rule-Based Specifications of Complex In-Place Model TransformationsKehrer, Timo; Alshanqiti, Abdullah; Heckel, ReikoConference Paper
19-Apr-2017m-Bonsai: a Practical Compact Dynamic TriePoyias, Andreas; Puglisi, Simon J.; Raman, RajeevJournal Article
27-Apr-2018Ridge–based curvilinear structure detection for identifying road in remote sensing image and backbone in neuron dendrite imageKong, Fanqiang; Govindaraj, Vishnu Varthanan; Zhang, Yu-DongJournal Article
2018Patch tensor-based sparse and low-rank graph for hyperspectral images dimensionality reductionAn, Jinliang; Zhang, Xiangrong; Zhou, Huiyu; Feng, Jie; Jiao, LichengJournal Article
22-May-2017A cross-sector analysis of human and organisational factors in the deployment of data-driven predictive maintenanceGolightly, David; Kefalidou, Genovefa; Sharples, SarahJournal Article
30-Apr-2018Artifact Removal using Improved GoogLeNet for Sparse-view CT Reconstruction.Xie, Shipeng; Zheng, Xinyu; Chen, Yang; Xie, Lizhe; Liu, Jin; Zhang, Yudong; Yan, Jingjie; Zhu, Hu; Hu, YiningJournal Article
14-Jul-2016Canonical HybridLF: Extending Hybrid with Dependent TypesCrole, Roy L.; Furniss, AmyConference Paper
9-Jun-2017Advances in verification presented in TACAS'13Piterman, NirJournal Article
2018A Toolbox for Discrete Modelling of Cell Signalling DynamicsPiterman, Nir; Paterson, Y,; Shorthouse, D,; Pleijzier, M,; Bendtsen, C,; Hall, B,; Fisher, J,Journal Article
16-Apr-2018Guest editorial: special issue on predictive models for software qualityMinku, Leandro L.; Bener, Ayşe B.; Turhan, BurakJournal Article
6-Sep-2017LZ78 compression in low main memory spaceArroyuelo, Diego; Cánovas, Rodrigo; Navarro, Gonzalo; Raman, RajeevConference Paper
29-Sep-2016Input–output conformance testing for software product linesBeohar, Harsh; Mousavi, Mohammad RezaJournal Article
2018A Robust Parallel Object Tracking Method for Illumination VariationsLiu, Shuai; Liu, Gaocheng; Zhou, HuiyuJournal Article
1-Aug-2017The robot routing problem for collecting aggregate stochastic rewardsDimitrova, Rayna; Gavran, Ivan; Majumdar, Rupak; Prabhu, Vinayak S.; Soudjani, Sadegh Esmaeil ZadehConference Paper
18-Nov-2016Reachability analysis of reversal-bounded automata on series-parallel graphsDimitrova, Rayna; Majumdar, RupakJournal Article
25-Apr-2018Multi-population Techniques in Nature Inspired Optimization Algorithms: A Comprehensive SurveyMa, Haiping; Shen, Shigen; Yu, Mei; Yang, Zhile; Fei, Minrui; Zhou, HuiyuJournal Article
26-Aug-2016(De-)composing causality in labeled transition systemsCaltais, Georgiana; Leue, Stefan; Mousavi, Mohammad RezaJournal Article
31-May-2014How to make best use of cross-company data in software effort estimation?Minku, Leandro L.; Yao, XinConference Paper
2018Hybrid Unmixing Based on Adaptive Region Segmentation for Hyperspectral ImageryZhang, X; Zhang, J; Li, C; Cheng, C; Jiao, L; Zhou, HuiyuJournal Article
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 434
 next >