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

    A

    Adam, S.P. and Karras, D.A. and Magoulas, George D. and Vrahatis, M.N. (2014) Solving the linear interval tolerance problem for weight initialization of neural networks. Neural Networks 54 , pp. 17-37. ISSN 0893-6080.

    Alasiry, Areej and Levene, Mark and Poulovassilis, Alexandra (2014) Mining named entities from search engine query logs. In: Almeida, A. and Bernardino, J. and Ferreira Gomes, E. (eds.) Proceedings of the 18th International Database Engineering & Applications Symposium. IDEAS '14. Porto, Portugal: Association for Computing Machinery, pp. 46-56. ISBN 9781450326278.

    Angus, A. and Lane, G. and Roussos, George (2014) Public goods: using pervasive computing to inspire grassroots activism. IEEE Pervasive Computing 13 (2), pp. 44-51. ISSN 1536-1268.

    Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, V. and Wolter, F. and Zakharyaschev, Michael (2014) Temporal OBDA with LTL and DL-Lite. In: Bienvenu, M. and Ortiz, M. and Rosati, R. and Simkus, M. (eds.) Informal Proceedings of DL (Vienna, 17-20 July). CEUR Workshop Proceedings 1193. CEUR, pp. 21-32.

    Artale, A. and Kontchakov, Roman and Ryzhikov, V. and Zakharyaschev, Michael (2014) A cookbook for temporal conceptual data modelling with description logic. ACM Transactions on Computational Logic 15 (3), ISSN 1529-3785.

    B

    Botoeva, E. and Kontchakov, Roman and Ryzhikov, V. and Wolter, F. and Zakharyaschev, Michael (2014) Query inseparability by games. In: Bienvenu, M. and Ortiz, M. and Rosati, R. and Simkus, M. (eds.) Informal Proceedings of DL (Vienna, 17-20 July). CEUR Workshop Proceedings 1193. CEUR, pp. 83-95.

    Botoeva, E. and Kontchakov, Roman and Ryzhikov, V. and Wolter, F. and Zakharyaschev, Michael (2014) Query inseparability for description logic knowledge bases. In: Baral, C. and De Giacomo, G. and Eiter, T. (eds.) Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-14). California, U.S.: AAAI Press. ISBN 9781577356578 .

    Brockschmidt, M. and Emmes, F. and Falke, S. and Fuhs, Carsten and Giesl, J. (2014) Alternating runtime and size complexity analysis of integer programs. In: Ábrahám, E. and Havelund, K. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science 8413. Berlin, Germany: Springer, pp. 140-155. ISBN 9783642548611.

    Brotherston, J. and Fuhs, Carsten and Navarro Pérez, J.A. and Gorogiannis, N. (2014) A decision procedure for satisfiability in separation logic with inductive predicates. In: UNSPECIFIED (ed.) Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14. New York, U.S.: ACM. ISBN 9781450328869.

    Brownlow, Richard and Poulovassilis, Alex (2014) Intersection schemas as a dataspace integration technique. In: Third International Workshop on Bidirectional Transformations (BX 2014), 28 Mar 2014, Athens, Greece.

    C

    Calì, Andrea and De Virgilio, R. and Di Noia, T. (2014) How to find the best fish market in Sorrento? In: Greco, S. and Picariello, A. (eds.) 22nd Italian Symposium on Advanced Database Systems. New York, U.S.: Curran Associates, pp. 394-398. ISBN 9781634391450.

    Calì, Andrea and De Virgilio, R. and Di Noia, T. and Menichetti, L. and Mirizzi, R. and Nardini, L.M. and Ostuni, V.C. and Rebecca, F. and Ungania, M. (2014) Semantic search in RealFoodTrade. In: Gottlob, G. and Perez, J. (eds.) AMW - 2014 Alberto Mendelzon Workshop on Foundations of Data Management. CEUR Workshop Proceedings 1189. CEUR Workshop Proceedings.

    Calì, Andrea and Frosini, R. and Poulovassilis, Alexandra and Wood, Peter T. (2014) Flexible querying for SPARQL. Lecture Notes in Computer Science 8841 , 473-490. ISSN 0302-9743.

    Calì, Andrea and Razgon, Igor (2014) Complexity of conjunctive query answering under access limitations (preliminary report). In: Greco, S. and Picariello, S. (eds.) 22nd Italian Symposium on Advanced Database Systems. New York, U.S.: Curran Associates, pp. 256-263. ISBN 9781634391450.

    Chen, H.-Y. and Cook, B. and Fuhs, Carsten and Nimkar, K. and O’Hearn, P. (2014) Proving Nontermination via safety. In: Abraham, E. and Havelund, K. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes In Computer Science 8413. New York, U.S.: Springer, pp. 156-171. ISBN 9783642548611.

    Chen, T. and Han, Tingting (2014) On the complexity of computing maximum entropy for Markovian Models. In: Raman, V. and Suresh, S.P. (eds.) Proceedings, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014). Leibniz International Proceedings In Informatics 29. Wadern, Germany: Dagstuhl, pp. 571-583. ISBN 9783939897774.

    Chen, Taolue and Diciolla, M. and Kwiatkowska, M.Z. and Mereacre, A. (2014) Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Information and Computation 236 , pp. 87-101. ISSN 0890-5401.

    Chen, Taolue and Kiefer, S. (2014) On the total variation distance of labelled Markov chains. In: UNSPECIFIED (ed.) CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, U.S.: ACM, 33:1-33:10. ISBN 9781450328869.

    Coll, F. and McNerney, R. and Guerra-Assunção, J.A. and Glynn, J.R. and Perdigão, J. and Viveiros, M. and Portugal, I. and Pain, A. and Martin, Nigel and Clark, T.G. (2014) A robust SNP barcode for typing Mycobacterium tuberculosis complex strains. Nature Communications 5 , p. 4812. ISSN 2041-1723.

    Coll, F. and Preston, M. and Guerra-Assuncao, J. and Hill-Cawthorne, G. and Harris, D. and Perdigao, J. and Viveiros, M. and Portugal, I. and Drobniewski, F. and Gagneux, S. and Glynn, J. and Pain, A. and Parkhill, J. and McNerney, R. and Martin, Nigel and Clark, T. (2014) PolyTB: a genomic variation map for Mycobacterium tuberculosis. Tuberculosis 94 (3), pp. 346-354. ISSN 1472-9792.

    Cook, B. and Fuhs, Carsten and Nimkar, K. and O'Hearn, P. (2014) Disproving termination with overapproximation. In: UNSPECIFIED (ed.) Formal Methods in Computer-Aided Design (FMCAD 2014). IEEE Computer Society, pp. 67-74. ISBN 9780983567844.

    F

    Fenner, Trevor and Levene, Mark and Loizou, George (2014) A stochastic evolutionary model for survival dynamics. Physica A: Statistical Mechanics and its Applications 410 , pp. 595-600. ISSN 0378-4371.

    Fischer, E. and Goldhirsh, Y. and Lachish, Oded (2014) Partial tests, universal tests and decomposability. In: UNSPECIFIED (ed.) ITCS '14: Proceedings of the 5th conference on Innovations in theoretical computer science. New York, U.S.: ACM, pp. 483-500. ISBN 9781450326988.

    Fuhs, Carsten and Kop, C. (2014) First-order formative rules. In: Dowek, G. (ed.) Rewriting and Typed Lambda Calculi. Lecture Notes in Computer Science 8560. New York, U.S.: Springer, pp. 240-256. ISBN 9783319089171.

    G

    Gannon, B. and Powell, Philip and Wilson, David W. (2014) Investigating the Information Systems Heterarchy. Information Systems Management 31 (4), pp. 353-364. ISSN 1934-8703.

    Giesl, J. and Brockschmidt, M. and Emmes, F. and Frohn, F. and Fuhs, Carsten and Otto, C. and Plücker, M. and Schneider-Kamp, P. and Ströder, T. and Swiderski, S. and Thiemann, R. (2014) Proving termination of programs automatically with AProVE. In: Demri, S. and Kapur, D. and Weidenbach, C. (eds.) Automated Reasoning. Lecture Notes In Computer Science 8562. Berlin, Germany: Springer, pp. 184-191. ISBN 9783319085869.

    Gottlob, G. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Schwentick, T. and Zakharyaschev, Michael (2014) The price of query rewriting in ontology-based data access. Artificial Intelligence 213 , pp. 42-59. ISSN 0004-3702.

    H

    Hu, W. and Hu, R. and Xie, N. and Ling, H. and Maybank, Stephen J. (2014) Image classification using multiscale information fusion based on saliency driven nonlinear diffusion filtering. IEEE Transactions on Image Processing 23 (4), pp. 1513-1526. ISSN 1057-7149.

    Hu, W. and Xie, N. and Hu, R. and Ling, H. and Chen, Q. and Yan, S. and Maybank, Stephen J. (2014) Bin ratio-based histogram distances and their application to image classification. IEEE Transactions on Pattern Analysis and Machine Intelligence 36 (12), pp. 2338-2352. ISSN 0162-8828.

    J

    Jaber, Mohammad and Papapetrou, Panagiotis and Helmer, Sven and Wood, Peter T. (2014) Using time-sensitive rooted PageRank to detect hierarchical social relationships. In: Blockeel, H. and van Leeuwen, M. and Vinciotti, V. (eds.) Advances in Intelligent Data Analysis XIII - 13th International Symposium, IDA 2014, Leuven, Belgium, October 30 - November 1, 2014. Proceedings. Lecture Notes in Computer Science 8819. New York, U.S.: Springer, pp. 143-154. ISBN 9783319125701.

    Jaber, Mohammad and Wood, Peter T. and Papapetrou, Panagiotis and Helmer, Sven (2014) Inferring offline hierarchical ties from online social networks. In: UNSPECIFIED (ed.) Proceedings of the companion publication of the 23rd international conference on World wide web companion. Geneva, Switzerland: International World Wide Web Conferences Steering Committee, pp. 1261-1266. ISBN 9781450327459.

    K

    Karkalas, Sokratis and Gutierrez-Santos, Sergio (2014) Enhanced JavaScript learning using code quality tools and a rule-based system in the FLIP Exploratory Learning Environment. In: UNSPECIFIED (ed.) 2014 IEEE 14th International Conference on Advanced Learning Technologies (ICALT 2014). Piscataway, U.S.: IEEE Computer Society, pp. 84-88. ISBN 9781479940370.

    Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2014) On the succinctness of query rewriting over shallow ontologies. In: Henzinger, T. and Miller, D. (eds.) CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, U.S.: ACM, 57:1-57:10. ISBN 9781450328869.

    Kontchakov, Roman and Pratt-Hartmann, I. and Zakharyaschev, Michael (2014) Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. Artificial Intelligence 217 , pp. 43-75. ISSN 0004-3702.

    Kontchakov, Roman and Rezk, M. and Rodríguez-Muro, M. and Xiao, G. and Zakharyaschev, Michael (2014) Answering SPARQL queries over databases under OWL 2 QL entailment regime. In: Mika, P. and Tudorache, T. and Bernstein, A. and Welty , C. and Knoblock , C. and Vrandečić, D. and Groth, P. and Noy, N. and Janowicz, K. and Goble, C. (eds.) The Semantic Web – ISWC 2014. Lecture Notes in Computer Science 8796. Berlin, Germany: Springer, pp. 552-567. ISBN 9783319119632.

    Kontchakov, Roman and Zakharyaschev, Michael (2014) An introduction to description logics and query rewriting. In: Koubarakis, M. and Stamou, G. and Stoilos, G. and Horrocks, I. and Kolaitis, P. and Lausen, G. and Weikum, G. (eds.) Reasoning Web. Reasoning and the Web in the Big Data Era. Lecture Notes in Computer Science 8714. Berlin, Germany: Springer, pp. 195-244. ISBN 9783319105864.

    L

    Lachish, Oded (2014) O(log log Rank) competitive ratio for the Matroid Secretary Problem. In: UNSPECIFIED (ed.) 2014 IEEE 55th Annual Symposium on Foundations of Computer Science (FOCS) (2014). Piscataway, U.S.: IEEE, pp. 326-225. ISBN 9781479965175.

    Liao, L. and Zhang, Y. and Maybank, Stephen J. and Liu, Z. (2014) Intrinsic dimension estimation via nearest constrained subspace classifier. Pattern Recognition 47 (3), pp. 1485-1493. ISSN 0031-3203.

    Liao, L. and Zhang, Y. and Maybank, Stephen J. and Liu, Z. and Liu, X. (2014) Image recognition via two-dimensional random projection and nearest constrained subspace. Journal of Visual Communication and Image Representation 25 (5), pp. 1187-1198. ISSN 1047-3203.

    Lijffijt, J. and Papapetrou, Panagiotis and Puolamäki, K. (2014) A statistical significance testing approach to mining the most informative set of patterns. Data Mining and Knowledge Discovery 28 (1), pp. 238-263. ISSN 1384-5810.

    Luo, G. and Yang, S. and Tian, G. and Yuan, C. and Hu, W. and Maybank, Stephen J. (2014) Learning human actions by combining global dynamics and local appearance. IEEE Transactions on Pattern Analysis and Machine Intelligence 36 (12), pp. 2466-2482. ISSN 0162-8828.

    M

    Martin, Nigel and Poulovassilis, Alexandra and Wang, J. (2014) A methodology and architecture embedding quality assessment in data integration. Journal of Data and Information Quality 4 (4), ISSN 1936-1955.

    Marx, D. and Razgon, Igor (2014) Fixed-parameter tractability of multicut parameterized by the size of the cutset. SIAM Journal on Computing 43 (2), pp. 355-388. ISSN 0097-5397.

    R

    Razgon, Igor (2014) No small nondeterministic read-once branching programs for CNFs of bounded treewidth. In: Cygan, M. and Heggernes, P. (eds.) Parameterized and Exact Computation. Lecture Notes in Computer Science 8894. New York, U.S.: Springer, pp. 319-331. ISBN 9783319135236.

    Razgon, Igor (2014) On OBDDs for CNFs of bounded treewidth. In: Baral, C. and De Giacomo, G. and Eiter, T. (eds.) Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning. Palo Alto, U.S.: AAAI Press. ISBN 9781577356578.

    S

    Sha, C. and Wang, K. and Zhang, Dell and Wang, X. and Zhou, A. (2014) Optimizing Top-k retrieval: submodularity analysis and search strategies. In: Li, F. and Li, G. and Hwang, S.-w. and Yao, B. and Zhang, Z. (eds.) Web-Age Information Management. Lecture Notes In Computer Science 8485. New York, U.S.: Springer, pp. 18-29. ISBN 9783319080093.

    Song, M. and Tao, D. and Sun, S. and Chen, C. and Maybank, Stephen J. (2014) Robust 3D face landmark localization based on local coordinate coding. IEEE Transactions on Image Processing 23 (12), pp. 5108-5122. ISSN 1057-7149.

    Ströder, T. and Giesl, J. and Brockschmidt, M. and Frohn, F. and Fuhs, Carsten and Hensel, J. and Schneider-Kamp, P. (2014) Proving termination and memory safety for programs with Pointer Arithmetic. In: Demri, S. and Kapur, D. and Weidenbach, C. (eds.) Automated Reasoning. Lecture Notes In Computer Science 8562 8562. New York, U.S.: Springer, pp. 208-223. ISBN 9783319085869.

    W

    Weiming, H. and Jun, G. and Yanguo, W. and Ou, W. and Maybank, Stephen (2014) Online Adaboost-based parameterized methods for dynamic distributed network intrusion detection. IEEE Transactions on Cybernetics 44 (1), pp. 66-82. ISSN 2168-2267.

    Weston, David J. (2014) Exploiting novel properties of space-filling curves for data analysis. In: Blockeel, H. and van Leeuwen, M. and Vinciotti, V. (eds.) Advances in Intelligent Data Analysis XIII: 13th International Symposium, IDA 2014, Leuven, Belgium, October 30 – November 1, 2014. Proceedings. Lecture Notes in Computer Science 8819. New York, U.S.: Springer International Publishing, pp. 356-367. ISBN 9783319125701.

    X

    Xie, M. and Lakshmanan, L.V.S. and Wood, Peter T. (2014) Generating Top-k packages via preference elicitation. Proceedings of the VLDB Endowment 7 (14), pp. 1941-1952. ISSN 2150-8097.

    Y

    Yuan, C. and Li, X. and Hu, W. and Ling, H. and Maybank, Stephen J. (2014) Modeling geometric-temporal context with directional pyramid co-occurrence for action recognition. IEEE Transactions on Image Processing 23 (2), pp. 658-672. ISSN 1057-7149.

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