Home > Research Search

Research

Search for research

601 - 625 out of 9,845Page size: 25
Sort by: Rating
  1. Published

    Nonmonotonic commitment machines

    Chopra, A. & Singh, M. P., 2004, Advances in Agent Communication: International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and Invited Papers. Dignum, F. (ed.). Berlin: Springer, p. 183-200 18 p. (Lecture Notes in Computer Science; vol. 2922).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  2. Published

    Correctness properties for multiagent systems

    Singh, M. P. & Chopra, A. K., 2009, Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Baldoni, M., Bentahar, J., Riemsdijk, M. B. V. & Lloyd, J. (eds.). Berlin: Springer, p. 192-207 16 p. (Lecture Notes in Computer Science; vol. 5948).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  3. Published

    The evolution of interoperability

    Chopra, A. K. & Singh, M. P., 2012, Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Revised Selected and Invited Papers. Sakama, C., Sardina, S., Vasconcelos, W. & Winikoff, M. (eds.). Berlin: Springer, p. 90-94 5 p. (Lecture Notes in Computer Science; vol. 7169).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    Cliff-edge consensus: agreeing on the precipice

    Taïani, F., Porter, B., Coulson, G. & Raynal, M., 2013, Parallel computing technologies: 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings. Malyshkin, V. (ed.). Berlin: Springer-Verlag, p. 51-64 14 p. (Lecture Notes in Computer Science; vol. 7979).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  5. Published

    A consistency framework for dynamic reconfiguration in AO-middleware architectures

    Surajbali, B., Grace, P. & Coulson, G., 2014, Software Architecture : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings. Avgeriou, P. & Zdun, U. (eds.). Vienna: Springer, p. 398-405 8 p. (Lecture Notes in Computer Science; vol. 8627).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. Published

    An iPad app for recording movement paths and associated spatial behaviors

    Dalton, N., Dalton, R., Hoelscher, C. & Kuhnmünch, G., 2012, Spatial Cognition VIII: International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August 31 – September 3, 2012. Proceedings. Stachniss, C., Schill, K. & Uttal, D. (eds.). Germany: Springer, Vol. 7463. p. 431-450 20 p. (Lecture Notes of the Institute in Computer Science).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  7. Published

    Age Identification of Twitter Users: Classification Methods and Sociolinguistic Analysis

    Simaki, V., Mporas, I. & Megalooikonomou, V., 2016, Computational Linguistics and Intelligent Text Processing : 17th International Conference, CICLing 2016, Konya, Turkey, April 3–9, 2016, Revised Selected Papers, Part II. Gelbukh, A. (ed.). Cham: Springer, p. 385-395 11 p. (Lecture Notes in Computer Science; vol. 9624).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. Published

    Using Sociolinguistic Inspired Features for Gender Classification of Web Users

    Simaki, V., Aravantinou, C., Mporas, I. & Megalooikonomou, V., 2015, Proceedings of the 18th International Conference of Text, Speech and Dialogue. Kral, P. & Matousek, V. (eds.). Cham: Springer, p. 587-594 8 p. (Lecture Notes in Computer Science; vol. 9302).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  9. Published

    Experiments in the coordination of large groups of robots

    Soriano Marcolino, L. & Chaimowicz, L., 2008, Advances in Artificial Intelligence - SBIA 2008: 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings. Zaverucha, G. & Loureiro Costa, A. (eds.). Berlin: Springer-Verlag, p. 268-277 10 p. (Lecture Notes in Computer Science; vol. 5249).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  10. Text Meets Space: Geographic Content Extraction, Resolution and Information Retrieval

    Leidner, J. L., McDonough, K., Martins, B. & Purves, R., 11/04/2020, ECIR 2020: Advances in Information Retrieval. Springer, Vol. 12036. p. 669–673 (Lecture Notes in Computer Science; vol. 12036).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  11. Published

    Artificial Neural Networks and Machine Learning – ICANN 2022: 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6–9, 2022, Proceedings, Part III

    Pimenidis, E., Angelov, P., Jayne, C., Papaleonidas, A. & Aydin, M., 6/09/2022, Cham: Springer. 813 p. (Lecture Notes in Computer Science; vol. 13531)

    Research output: Book/Report/Proceedings › Proceedings

  12. Published

    Artificial Neural Networks and Machine Learning – ICANN 2022: 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6–9, 2022, Proceedings, Part I

    Pimenidis, E. (Editor), Angelov, P. (Editor), Jayne, C. (Editor), Papaleonidas, A. (Editor) & Aydin, M. (Editor), 6/09/2022, Cham: Springer. 761 p. (Lecture Notes in Computer Science; vol. 13529)

    Research output: Book/Report/Proceedings › Proceedings

  13. Published

    Artificial Neural Networks and Machine Learning – ICANN 2022: 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6–9, 2022, Proceedings, Part II

    Pimenidis, E. (Editor), Angelov, P., Jayne, C. (Editor), Papaleonidas, A. & Aydin, M., 6/09/2022, Cham: Springer. 813 p. (Lecture Notes in Computer Science ; vol. 13530)

    Research output: Book/Report/Proceedings › Proceedings

  14. Published

    Artificial Neural Networks and Machine Learning – ICANN 2022: 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6–9, 2022, Proceedings; Part IV

    Pimenidis, E. (Editor), Angelov, P. (Editor), Jayne, C. (Editor), Papaleonidas, A. (Editor) & Aydin, M. (Editor), 6/09/2022, Cham: Springer. 795 p. (Lecture Notes in Computer Science; vol. 13532)

    Research output: Book/Report/Proceedings › Proceedings

  15. Published

    Measuring User Comprehension of Inference Rules in Euler Diagrams

    Linker, S., Burton, J. & Blake, A., 10/08/2016, Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings. Jamnik, M., Uesaka, Y. & Schwartz, S. E. (eds.). Cham: Springer, p. 32-39 8 p. (Lecture Notes in Computer Science; vol. 9781).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  16. Published

    Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL

    Linker, S., 20/09/2017, Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Polikarpova, N. & Schneider, S. (eds.). Cham: Springer, p. 34-49 16 p. (Lecture Notes in Computer Science; vol. 10510).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  17. Published

    DNSSEC Misconfigurations in Popular Domains

    Dai, T., Shulman, H. & Waidner, M., 28/10/2016, Cryptology and Network Security. CANS 2016.. Foresti, S. & Persiano, G. (eds.). Cham: Springer, p. 651-660 10 p. (Lecture Notes in Computer Science; vol. 10052).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  18. Published

    Data privacy management, autonomous spontaneous security, and security assurance: 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers

    Garcia-Alfaro, J. (Editor), Herrera-Joancomartí, J. (Editor), Lupu, E. (Editor), Posegga, J. (Editor), Aldini, A. (Editor), Martinelli, F. (Editor) & Suri, N. (Editor), 2015, Springer. 343 p. (Lecture Notes in Computer Science)

    Research output: Book/Report/Proceedings › Book

  19. Published

    The Frenet-Serret framework for aligning geometric curves

    Brunel, N. & Park, J., 31/08/2019, Geometric Science of Information: 4th International Conference, GSI 2019, Toulouse, France, August 27–29, 2019, Proceedings. Nielsen, F. & Barbaresco, F. (eds.). Cham: Springer, p. 608-617 10 p. (Lecture Notes in Computer Science; vol. 11712).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  20. Published

    Fool’s Errand: Looking at April Fools Hoaxes as Disinformation Through the Lens of Deception and Humour

    Dearden, E. & Baron, A., 26/02/2023, Computational Linguistics and Intelligent Text Processing: 20th International Conference, CICLing 2019, La Rochelle, France, April 7–13, 2019, Revised Selected Papers, Part I. Gelbukh, A. (ed.). Cham: Springer, p. 451-467 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13451 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  21. Published

    A variable neighborhood search algorithm for the multimode set covering problem

    Colombo, F., Cordone, R. & Lulli, G., 11/2015, In: Journal of Global Optimization. 63, 3, p. 461-480 20 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  22. Published

    Sustaining Computer's impact and adapting to change

    Helal, S., 2015, In: Computer. 48, 1, p. 7-9 3 p.

    Research output: Contribution to Journal/Magazine › Editorial

  23. Published

    User Model of Navigation

    Sas, C., 2004, Lecture Notes in Computer Science. Springer Verlag, Vol. 3101. p. 379-388 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  24. Published

    A Reflective Framework for Fine-Grained Adaptation of Aspect-Oriented Compositions

    Grace, P., Lagaisse, B., Truyen, E. & Joosen, W., 03/2008, Software composition: 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings. Pautasso , C. & Tanter, É. (eds.). Berlin: Springer, p. 215-230 16 p. (Lecture Notes in Computer Science; vol. 4954).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  25. Published

    Cicero: Middleware for developing persuasive mobile applications

    D’Aloia, A., Lelli, M., Lee, D., Helal, S. & Bellavista, P., 2016, 11th International Conference on Persuasive Technology, PERSUASIVE 2016. Meschtscherjakov, A., De Ruyter, B., Fuchsberger, V., Murer, M. & Tscheligi, M. (eds.). Cham: Springer, p. 137-149 13 p. (Lecture Notes in Computer Science; vol. 9638).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 1...21 22 23 24 25 26 27 28 ...394 Next