Search - Research Portal | Lancaster University

601 - 650 out of 9,845Page size: 50

Sort by: Rating

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Published
Stress detection using wearable physiological sensors
Sandulescu, V., Andrews, S., Ellis, D., Bellotto, N. & Martinez-Mozos, O., 1/06/2015, Artificial computation in biology and medicine . Cham: Springer, p. 526-532 7 p. (Lecture Notes in Computer Science; vol. 9107).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Digital-Twin-Enabled 6G Mobile Network Video Streaming Using Mobile Crowdsourcing
Qi, L., Xu, X., Wu, X., Ni, Q., Yuan, Y. & Zhang, X., 31/10/2023, In: IEEE Journal on Selected Areas in Communications. 41, 10
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Interactions under the desk: a characterisation of foot movements for input in a seated position
Velloso, E., Alexander, J., Bulling, A. & Gellersen, H., 30/08/2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part . Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Cham: Springer International Publishing, p. 384-401 18 p. (Lecture Notes in Computer Science; vol. 9296).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Hide the stack: toward usable linked data
Dadzie, A.-S., Rowe, M. & Petrelli, D., 1/06/2011, The Semantic Web: research and applications 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I. Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., De Leenheer, P. & Pan, J. (eds.). Berlin: Springer Verlag, p. 93-107 15 p. (Lecture Notes in Computer Science; vol. 6643).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A context-driven programming model for pervasive spaces
Yang, H.-I., King, J., Helal, S. & Jansen, E., 2007, Pervasive Computing for Quality of Life Enhancement. ICOST 2007. Okadome, T., Yamazaki, T. & Makhtari, M. (eds.). Berlin: Springer, p. 31-43 13 p. (Lecture Notes in Computer Science; vol. 4541).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Evading virus detection using code obfuscation
Murad, K., Shirazi, S. N., Bin Zikria, Y. & Ikram, N., 2010, Future Generation Information Technology. Kim, T. H., Lee, Y. H., Kang, B. H. & Slezak, D. (eds.). Springer, p. 394-401 8 p. (Lecture Notes in Computer Science; vol. 6485).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Entropic Risk for Turn-Based Stochastic Games.
Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 28/08/2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 272. p. 15:1-15:16 16 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Improving Fetal Head Contour Detection by Object Localisation with Deep Learning
Al-Bander, B., Alzahrani, T., Alzahrani, S., Williams, B. M. & Zheng, Y., 24/01/2020, Medical Image Understanding and Analysis : 23rd Conference, MIUA 2019, Proceedings. Zheng, Y., Williams, B. M. & Chen, K. (eds.). Springer, p. 142-150 9 p. (Communications in Computer and Information Science; vol. 1065 CCIS).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Developing radical-digital interventions to tackle loneliness amongst the elderly
Sharma, D., Blair, L. & Clune, S., 5/08/2015, Human aspects of IT for the aged population: design for everyday life. Zhou, J. & Salvendy, G. (eds.). Cham: Springer, p. 170-180 11 p. (Lecture Notes in Computer Science; vol. 9194).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
An empirical investigation of gaze selection in mid-air gestural 3D manipulation
Velloso, E., Turner, J., Alexander, J., Bulling, A. & Gellersen, H., 30/08/2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Cham: Springer International Publishing, p. 315-330 16 p. (Lecture Notes in Computer Science ; vol. 9297).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Bio-inspired mechanisms for coordinating multiple instances of a service feature in dynamic software product lines
Lee, J., Whittle, J. & Storz, O., 2011, In: Journal of Universal Computer Science. 17, 5, p. 670-683 14 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Real-time and generic queue time estimation based on mobile crowdsensing
Wang, J., Wang, Y., Zhang, D., Wang, L., Chen, C., Lee, J. W. & He, Y., 02/2017, In: FRONTIERS OF COMPUTER SCIENCE. 11, 1, p. 49-60 12 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Distributed objects: CORBA and DCOM
Chughtai, H., 1/01/1998.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Hand-Based Person Identification using Global and Part-Aware Deep Feature Representation Learning
Baisa, N. L., Williams, B., Rahmani, H., Angelov, P. & Black, S., 2/06/2022, 2022 11th International Conference on Image Processing Theory, Tools and Applications, IPTA 2022. Institute of Electrical and Electronics Engineers Inc., p. 1-6 6 p. (2022 11th International Conference on Image Processing Theory, Tools and Applications, IPTA 2022).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A GRASP metaheuristic for microarray data analysis
Cordone, R. & Lulli, G., 12/2013, In: Computers and Operations Research. 40, 12, p. 3108-3120 13 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Mining Patterns from Change Logs to Support Reuse-Driven Evolution of Software Architectures
Ahmad, A., Pahl, C., Altamimi, A. B. & Alreshidi, A., 1/11/2018, In: Journal of Computer Science and Technology. 33, 6, p. 1278-1306 29 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
The stable set problem: clique and nodal inequalities revisited
Letchford, A., Rossi, F. & Smriglio, S., 30/11/2020, In: Computers and Operations Research. 123, 16 p., 105024.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Sound Statistical Model Checking for Probabilities and Expected Rewards
Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 1/05/2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Cham: Springer, p. 167-190 24 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Improving the discovery of IXP peering links through passive BGP measurements
Giotsas, V. & Zhou, S., 2013, 2013 Proceedings IEEE INFOCOM . IEEE, p. 3249-3254 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Virtual Overlays: An Approach to the Management of Competing or Collaborating Overlay Structures
Okanda, P. M., Steinhauer, S. & Blair, G. S., 2008, Distributed Applications and Interoperable Systems: 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings. Meier, R. & Terzis, S. (eds.). Berlin: Springer, p. 112-125 14 p. (Lecture Notes in Computer Science; vol. 5053).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Curricula Design & Pedagogy for Sketching Within HCI & UX Education
Lewis, M. & Sturdee, M., 1/04/2022, In: Frontiers in Computer Science. 4, 20 p., 826445.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Optimizing Video Streaming in Dynamic Networks: An Intelligent Adaptive Bitrate Solution Considering Scene Intricacy and Data Budget
Li, W., Huang, J., Liang, Y., Su, Q., Liu, J., Lyu, W. & Wang, J., 31/12/2024, In: IEEE Transactions on Mobile Computing. 23, 12, p. 12280-12297 18 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Time-Constrained Ensemble Sensing With Heterogeneous IoT Devices in Intelligent Transportation Systems
Feng, X., Luo, C., Wei, B., Zhang, J., Li, J., Wang, H., Xu, W., Chan, M. C. & Leung, V. C. M., 30/11/2023, In: IEEE Transactions on Intelligent Transportation Systems. 24, 11, p. 1-12 12 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
On Specifying for Trustworthiness
B. Abeywickrama, D., Bennaceur, A., Chance, G., Yiannis Demiris, Y., Kordoni, A., Levine, M., Moffat, L., Moreau, L., Reza Mousavi, M., Nuseibeh, B., Ramamoorthy, S., Ringert, J. O., Wilson, J., Windsor, S. & Eder, K., 4/01/2024, In: Communications of the ACM. 67, 1, p. 98-109 12 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Graphene-Driven Revolutions in ICT and Beyond
Kinaret, J., Ferrari, A. C., Falko, V. & Kivioja, J., 2011, In: Procedia Computer Science. 7, p. 30-33 4 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review

Previous 1...9 10 11 12 13 14 15 16 ...197 Next

Research

Search for research

Quick Links

Connect With Us