BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Author(s) | Item Type
    Jump to: A | C | D | E | F | G | H | K | L | M | N | P | R | S | T | W | X | Z
    Number of items: 48.

    A

    Artale, A. and Kontchakov, Roman and Ryzhikov, V. and Zakharyaschev, Michael (2013) The complexity of clausal fragments of LTL. In: McMillan, K. and Middeldorp, A. and Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 8312. Berlin, Germany: Springer, pp. 35-52. ISBN 9783642452215.

    Artale, A. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2013) Temporal description logic for ontology-based data access. In: Rossi, F. (ed.) Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. California, U.S.: AAAI Press, pp. 711-717. ISBN 9781577356332.

    Artale, A. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2013) Temporalising OWL 2 QL. In: Eiter , T. and Glimm, B. and Kazakov, Y. and Krötzsch, M. (eds.) Informal Proceedings of DL (Ulm, 23-26 July). CEUR Workshop Proceedings 1014. CEUR-WS, pp. 17-28.

    C

    Calì, Andrea and Gottlob, G. and Kifer, M. (2013) Taming the infinite chase: query answering under expressive relational constraints. Journal of Artificial Intelligence Research 48 , pp. 115-174. ISSN 1076-9757.

    Cao, X. and Shi, Z. and Yan, P. and Li, Xuelong (2013) Tracking vehicles as groups in airborne videos. Neurocomputing 99 , pp. 38-45. ISSN 0925-2312.

    Cao, X. and Wang, Z. and Yan, P. and Li, Xuelong (2013) Transfer learning for pedestrian detection. Neurocomputing 100 , pp. 51-57. ISSN 0925-2312.

    Chang, R.S. and Gao, J. and Gruhn, V. and He, J. and Roussos, George and Tsai, W.-T. (2013) Mobile cloud computing research: issues, challenges and needs. In: UNSPECIFIED (ed.) IEEE Seventh International Symposium on Service-Oriented System Engineering. Washington, USA: IEEE Computer Society, pp. 442-453. ISBN 9781467356596.

    D

    Demri, S. and Jurdziński, M. and Lachish, Oded and Lazić, R. (2013) The covering and boundedness problems for branching vector addition systems. Journal of Computer and System Sciences 79 (1), pp. 23-38. ISSN 0022-0000.

    E

    Eldaw, Muawya Habib Sarnoub and Levene, Mark and Roussos, George (2013) Collective suffix tree-based models for location prediction. In: UNSPECIFIED (ed.) UbiComp '13: Adjunct Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication. New York, U.S.: Association for Computing Machinery, pp. 441-450. ISBN 9781450322157.

    F

    Fan, M. and Zhang, X. and Chen, S. and Bao, H. and Maybank, Stephen J. (2013) Dimension estimation of image manifolds by minimal cover approximation. Neurocomputing 105 , pp. 19-29. ISSN 0925-2312.

    Fenner, Trevor and Levene, Mark and Loizou, George (2013) A bi-logistic growth model for conference registration with an early bird deadline. Central European Journal of Physics 11 (7), pp. 904-909. ISSN 1895-1082.

    G

    Gao, Y. and Wang, M. and Zha, Z.-J. and Shen, J. and Li, Xuelong and Wu, X. (2013) Visual-textual joint relevance learning for tag-based social image search. IEEE Transactions on Image Processing 22 (1), pp. 363-376. ISSN 1057-7149.

    Gutiérrez-Basulto, V. and Ibáñez-García, Y. and Kontchakov, Roman and Kostylev, E. (2013) Conjunctive queries with negation over DL-Lite: a closer look. In: Faber, W. and Lembo, D. (eds.) Web Reasoning and Rule Systems. LNCS 7994. Berlin, Germany: Springer, pp. 109-122. ISBN 9783642396656.

    H

    Hirsch, R. and Mikulás, Szabolcs (2013) Ordered domain algebras. Journal of Applied Logic 11 (3), pp. 266-271. ISSN 1570-8683.

    Hou, W. and Gao, X. and Tao, D. and Li, Xuelong (2013) Visual saliency detection using information divergence. Pattern Recognition 46 (10), pp. 2658-2669. ISSN 0031-3203.

    Hu, W. and Li, X. and Tian, G. and Maybank, Stephen J. and Zhang, Z. (2013) An incremental DPMM-based method for trajectory clustering, modeling, and retrieval. IEEE Transactions on Pattern Analysis and Machine Intelligence 35 (5), pp. 1051-1065. ISSN 0162-8828.

    Hu, W. and Zhou, X. and Li, Wei and Luo, W. and Zhang, X. and Maybank, Stephen J. (2013) Active contour-based visual tracking by integrating colors, shapes and motions. IEEE Transactions on Image Processing 22 (5), pp. 1778-1792. ISSN 1057-7149.

    K

    Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2013) Query rewriting over shallow ontologies. In: Eiter, T. and Glimm, B. and Kazakov, Y. and Krötzsch, M. (eds.) Informal Proceedings of DL (Ulm, 23-26 July). CEUR Workshop Proceedings 1014. CEUR-WS, pp. 316-327.

    Kikot, Stanislav and Zolin, E. (2013) Modal definability of first-order formulas with free variables and query answering. Journal of Applied Logic 11 (2), pp. 190-216. ISSN 1570-8683.

    Konstantinopoulou, Paul and Stavrakaki, S. and Manouilidou, C. and Zafeiriou, D. (2013) Past tense in children with focal brain lesions. Procedia - Social and Behavioral Sciences 94 , pp. 196-197. ISSN 1877-0428.

    Kontchakov, Roman and Nenov, Y. and Pratt-Hartmann, I. and Zakharyaschev, Michael (2013) Topological logics with connectedness over Euclidean spaces. ACM Transactions on Computational Logic 14 (2), p. 13. ISSN 1529-3785.

    Kontchakov, Roman and Rodríguez-Muro, M. and Zakharyaschev, Michael (2013) Ontology-based data access with databases: a short course. In: Rudolph, S. and Gottlob, G. and Horrocks, I. and van Harmelen, F. (eds.) Reasoning Web. Semantic Technologies for Intelligent Data Access. Lecture Notes in Computer Science 8067. Berlin, Germany: Springer, pp. 194-229. ISBN 9783642397837.

    Kontchakov, Roman and Ryzhikov, V. and Zakharyaschev, Michael (2013) Conjunctive query inseparability in OWL2QL is ExpTime-hard. In: Eiter, T. and Glimm, B. and Kazakov, Y. and Krötzsch, M. (eds.) Informal Proceedings of DL (Ulm, 23-26 July). CEUR Workshop Proceedings 1014. CEUR-WS, pp. 353-363.

    L

    Laurillard, D. and Charlton, P. and Craft, B. and Dimakopoulos, D.N. and Ljubojevic, D. and Magoulas, George D. and Masterman, E. and Pujadas, R. and Whitley, E.A. and Whittlestone, K. (2013) A constructionist learning environment for teachers to model learning designs. Journal of Computer Assisted Learning 29 (1), pp. 15-30. ISSN 0266-4909.

    Lu, X. and Wu, H. and Yuan, Y. and Yan, P. and Li, Xuelong (2013) Manifold regularized sparse NMF for hyperspectral unmixing. IEEE Transactions on Geoscience and Remote Sensing 51 (5), pp. 2815-2826. ISSN 0196-2892.

    Luo, Y. and Tao, D. and Geng, B. and Xu, C. and Maybank, Stephen J. (2013) Manifold regularized multitask learning for semi-supervised multilabel image classification. IEEE Transactions on Image Processing 22 (2), pp. 523-536. ISSN 1057-7149.

    M

    Marx, D. and O'Sullivan, B. and Razgon, Igor (2013) Finding small separators in linear time via treewidth reduction. ACM Transactions on Algorithms 9 (4), p. 30. ISSN 1549-6325.

    Mavrikis, M. and Gutierrez-Santos, Sergio and Geraniou, E. and Noss, R. (2013) Design requirements, student perception indicators and validation metrics for intelligent exploratory learning environments. Personal and Ubiquitous Computing 17 (8), pp. 1605-1620. ISSN 1617-4909.

    Maybank, Stephen J. (2013) A probabilistic definition of salient regions for image matching. Neurocomputing 120 , pp. 4-14. ISSN 0925-2312.

    Mirkin, Boris and Gutman, P.O. (2013) Tube model reference adaptive control. Automatica 49 (4), pp. 1012-1018. ISSN 0005-1098.

    Mosurovic, N. and Krdzavac, H. and Graves, M. and Zakharyaschev, Michael (2013) A decidable extension of SROIQ with complex role chains and unions. Journal of Artificial Intelligence Research 47 , pp. 809-851. ISSN 1076-9757.

    N

    Nascimento, S. and Felizardo, R. and Mirkin, Boris (2013) Laplacian normalization for deriving thematic fuzzy clusters with an additive spectral approach. Expert Systems , ISSN 0266-4720.

    P

    Pissaloux, E.E. and Maybank, Stephen J. and Velázquez, R. (2013) On image matching and feature tracking for embedded systems: a state-of-the-art. In: Chatterjee, A. and Nobahari, H. and Siarry, P. (eds.) Advances in Heuristic Signal Processing and Applications. Berlin, Germany: Springer, pp. 357-380. ISBN 9783642378799.

    Poulovassilis, Alexandra (2013) Database research challenges and opportunities of big graph data. In: Gottlob, G. and Grasso, G. and Olteanu, D. and Schallhart, C. (eds.) Big Data. Berlin, Germany: Springer Verlag, pp. 29-32. ISBN 9783642394676.

    R

    Raman, Natraj and Maybank, Stephen J. and Zhang, Dell (2013) Action classification using a discriminative non-parametric hidden Markov model. In: Vuksanovic, B. and Zhou, J. and Verikas, A. (eds.) Sixth International Conference on Machine Vision (ICMV 2013). SPIE Proceedings 9067. International Society for Optics and Photonics. ISBN 9780819499967.

    Razgon, Igor and Petke, J. (2013) Cliquewidth and knowledge compilation. In: Järvisalo, M. and Van Gelder, A. (eds.) Theory and Applications of Satisfiability Testing. Lecture Notes in Computer Science 7962. Berlin, Germany: Springer Verlag, pp. 335-350. ISBN 9783642390715.

    Rodríguez-Muro, M. and Kontchakov, Roman and Zakharyaschev, Michael (2013) Ontology-based data access: ontop of databases. In: Alani, H. and et al., (eds.) The Semantic Web – ISWC 2013. Lecture Notes in Computer Science 8218. Berlin, Germany: Springer, pp. 558-573. ISBN 9783642413346.

    S

    Schmidt, A. and Liu, J. and Roussos, George and Varshavsky, A. (2013) Editorial. Pervasive and Mobile Computing 9 (3), pp. 337-338. ISSN 1574-1192.

    Song, M. and Tao, D. and Maybank, Stephen J. (2013) Sparse camera network for visual surveillance – a comprehensive survey. CoRR ,

    T

    Tang, Y. and Yuan, Y. and Yan, P. and Li, Xuelong (2013) Greedy regression in sparse coding space for single-image super-resolution. Journal of Visual Communication and Image Representation 24 (2), pp. 148-159. ISSN 1047-3203.

    Tao, D. and Jin, L. and Liu, W. and Li, Xuelong (2013) Hessian regularized support vector machines for mobile image annotation on the cloud. IEEE Transactions on Multimedia 15 (4), pp. 833-844. ISSN 1520-9210.

    W

    Wang, N. and Li, J. and Tao, D. and Li, Xuelong and Gao, X. (2013) Heterogeneous image transformation. Pattern Recognition Letters 34 (1), pp. 77-84. ISSN 0167-8655.

    Wang, Q. and Yan, P. and Yuan, Y. and Li, Xuelong (2013) Multi-spectral saliency detection. Pattern Recognition Letters 34 (1), pp. 34-41. ISSN 0167-8655.

    X

    Xiao, B. and Gao, X. and Tao, D. and Li, Xuelong (2013) Biview face recognition in the shape–texture domain. Pattern Recognition 46 (7), pp. 1906-1919. ISSN 0031-3203.

    Xie, M. and Lakshmanan, L.V.S. and Wood, Peter T. (2013) Efficient top-k query answering using cached views. In: Guerrini, G. and Paton, N.W. (eds.) Proceedings of the 16th International Conference on Extending Database Technology - EDBT '13. New York, USA: ACM Publications, pp. 489-500. ISBN 9781450315975.

    Z

    Zhang, X. and Hu, W. and Bao, H. and Maybank, Stephen J. (2013) Robust head tracking based on multiple cues fusion in the Kernel-Bayesian framework. IEEE Transactions on Circuits and Systems for Video Technology 23 (7), pp. 1197-1208. ISSN 1051-8215.

    Zhang, X. and Li, Wei and Hu, W. and Ling, H. and Maybank, Stephen J. (2013) Block covariance based l1 tracker with a subtle template dictionary. Pattern Recognition 46 (7), pp. 1750-1761. ISSN 0031-3203.

    Zhang, Y. and Zhang, X. and Maybank, Stephen J. and Yu, R. (2013) An IR and visible image sequence automatic registration method based on optical flow. Machine Vision and Applications 24 (5), pp. 947-958. ISSN 0932-8092.

    This list was generated on Tue Nov 21 01:18:56 2017 GMT.