Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 51-60 of 69 (Search time: 0.001 seconds).
Item hits:
First PublishedTitleAuthor(s)Type
5-Mar-2017Uncertainty Management in Smart EnvironmentMa, Jianbing; Deng, Yong; Zhou, Huiyu; Yu, HongchuanJournal Article
28-Sep-2016Hierarchical Task Network planning with common-sense reasoning for multiple-people behaviour analysisSantofimia, Maria J.; Martinez-del-Rincon, Jesus; Hong, Xin; Zhou, Huiyu; Miller, Paul; Villa, David; Lopez, Juan C.Journal Article
15-Sep-2017A Biologically Inspired Appearance Model for Robust Visual TrackingZhang, Shengping; Lan, Xiangyuan; Yao, Hongxun; Zhou, Huiyu; Tao, Dacheng; Li, XuelongJournal Article
8-May-2017Modeling Information Diffusion over Social Networks for Temporal Dynamic PredictionLi, Dong; Zhang, Shengping; Sun, Xin; Zhou, Huiyu; Li, Sheng; Li, XuelongJournal Article
11-Oct-2017Recursive Autoencoders-Based Unsupervised Feature Learning for Hyperspectral Image ClassificationZhang, Xiangrong; Liang, Yanjie; Li, Chen; Huyan, Ning; Jiao, Licheng; Zhou, HuiyuJournal Article
20-Jun-2017On sessions and infinite dataSeveri, Paula; Padovani, Luca; Tuosto, Emilio; Dezani-Ciancaglini, MariangiolaJournal Article
18-Nov-2016Reachability analysis of reversal-bounded automata on series-parallel graphsDimitrova, Rayna; Majumdar, RupakJournal Article
9-Jun-2017Advances in verification presented in TACAS'13Piterman, NirJournal Article
14-Jul-2016Canonical HybridLF: Extending Hybrid with Dependent TypesCrole, Roy L.; Furniss, AmyConference Paper
12-Apr-2017Approximate counting in SMT and value estimation for probabilistic programsChistikov, Dmitry; Dimitrova, Rayna; Majumdar, RupakJournal Article