Browse Publications

  1. Conference contribution › Research
  2. Publications content icon
    Published

    A new semantic model for domain-ontology learning

    John Barnden, 4 Mar 2015, Human Centred Computing: First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers. Zu, Q., Hu, B., Gu, N. & Seng, S. (eds.). Springer, Vol. 8944. p. 140-155 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8944).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Publications content icon
    Published

    A practical energy modeling method for industrial robots in manufacturing

    Duc Pham, 1 Jan 2017, Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8–11, 2016 Revised Selected Papers. Zhang, L., Ren, L. & Kordon, F. (eds.). Springer Verlag, p. 25-36 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10228 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Publications content icon
    Published

    A tight lower bound for steiner orientation

    Rajesh Chitnis, 25 Apr 2018, Computer Science - Theory and Applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. Podolskii, V. V. & Fomin, F. V. (eds.). Springer Verlag, p. 65-77 13 p. (Lecture Notes in Computer Science ; vol. 10846 ).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Publications content icon
    Published

    A tool for estimating information leakage

    Tom Chothia, Yusuke Kawamoto, 12 Aug 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 690-695 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Publications content icon
    Published

    Abstract datatypes for real numbers in type theory

    Martin Escardo, 2014, Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dowek, G. (ed.). Springer, Vol. 8560 LNCS. p. 208-223 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8560 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Publications content icon
    Published

    Acknowledging discourse function for sentiment analysis

    Phillip Smith & Mark Lee, 2014, Computational Linguistics and Intelligent Text Processing : 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part II. Gelbukh, A. (ed.). Springer, Vol. 8404 LNCS. p. 45-52 8 p. (Lecture Notes in Computer Science ; vol. 8404).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Publications content icon
    Published

    Additively homomorphic ring-LWE masking

    Sujoy Sinha Roy, 4 Feb 2016, Post-Quantum Cryptography : 7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings. Takagi, T. (ed.). Springer Verlag, p. 233-244 12 p. (Lecture Notes in Computer Science; vol. 9606).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Publications content icon
    Published

    Adjusting parallel coordinates for investigating multi-objective search

    Miqing Li, Ran Cheng & Xin Yao, 14 Oct 2017, Simulated Evolution and Learning : 11th International Conference, SEAL 2017, Proceedings. Li, X., Zhang, M., Zhang, Q., Middendorf, M., Tan, K. C., Tan, Y., Jin, Y., Shi, Y. & Tang, K. (eds.). Springer, p. 224-235 12 p. (Lecture Notes in Computer Science; vol. 10593 ).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Publications content icon
    Published

    Algorithms and hardness results for nearest neighbor problems in bicolored point sets

    Rajesh Chitnis, 13 Mar 2018, LATIN 2018 -Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings. Mosteiro, M. A., Bender, M. A. & Farach-Colton, M. (eds.). Springer Verlag, p. 80-93 (Lecture Notes in Computer Science ; vol. 10807).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Publications content icon
    Published

    An immune-inspired algorithm for the set cover problem

    Jon Rowe & Christine Zarges, 2014, Parallel Problem Solving from Nature: PPSN XIII - 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Bartz-Beielstein, T., Branke, J., Filipič, B. & Smith, J. (eds.). Springer, Vol. 8672. p. 243-251 9 p. (Lecture Notes in Computer Science; vol. 8672).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 8 ...20 Next