Filter
Conference contribution book

Search results

  • 2013

    ARtSENSE and Manifest.AR: revisiting museums in the public realm through emerging art practices

    McKinley, R. & Damala, A., 31 Jan 2013, MW2013: Museums and the Web 2013. Proctor, N. & Cherry, R. (eds.). Silver Spring

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

  • Bug localisation through diverse sources of information

    Davies, S. & Roper, M., 2013, 2013 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2013. Piscataway, NJ.: IEEE, p. 126-131 6 p. 6688891

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

    11 Citations (Scopus)
  • Data value storage for compressed semi-structured data

    Tripney, B. G., Ross, I., Wilson, F. & Wilson, J., 14 Aug 2013, Database and Expert Systems Applications: Proceedings of the 24th International Conference on Database and Expert Systems Applications. Decker, H., Lhotská, L., Link, S., Basl, J. & Tjoa, A. M. (eds.). Berlin, Vol. 8056. p. 174-188 15 p. (Lecture Notes in Computer Science; vol. 8056).

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

    File
    93 Downloads (Pure)
  • Evaluation of Jensen-Shannon distance over sparse data

    Connor, R., Cardillo, F. A., Moss, R. & Rabitti, F., 13 Sep 2013, Similarity Search and Applications: 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings. Brisaboa, N., Pedreira, O. & Zezula, P. (eds.). Berlin: Springer, Vol. 8199. p. 163-168 6 p. (Lecture Notes in Computer Science; vol. 8199).

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

    Open Access
    File
    2 Citations (Scopus)
    52 Downloads (Pure)
  • Experience, engagement and social interaction at a steam locomotive multimodal interactive museum exhibit

    Clarke, L. & Hornecker, E., 2 May 2013, CHI EA '13 CHI '13 Extended Abstracts on Human Factors in Computing Systems. New York, p. 613-618 6 p.

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

    Open Access
    File
    3 Citations (Scopus)
    15 Downloads (Pure)
  • Fair private set intersection with a semi-trusted arbiter

    Dong, C., Chen, L., Camenisch, J. & Russello, G., 2013, Data and Applications Security and Privacy XXVII: 27th Annual IFIP WG 11.3 Conference, DBSec 2013, Newark, NJ, USA, July 15-17, 2013. Proceedings. Wang, L. & Shafiq, B. (eds.). Springer, Vol. 7964. p. 128-144 17 p. (Lecture Notes in Computer Science; vol. 7964).

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

    File
    23 Citations (Scopus)
    145 Downloads (Pure)
  • Fibred data types

    Ghani, N., Malatesta, L., Nordvall Forsberg, F. & Setzer, A., 2013, 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). New York: IEEE, p. 243-252 10 p.

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

    2 Citations (Scopus)
  • La réalité augmentée adaptative: vers une nouvelle éxperience de visite au musée

    Damala, A., Astic, I., Rovedakis, S. & Gressier-Soudan, E., Oct 2013, Pratiques et Usages Numériques : Actes de H2PTM 2013. Paris, p. 205-220 16 p.

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

  • Local pre-processing for node classification in networks: application in protein-protein interaction

    Foley, C. E., Al Azwari, S. M. M., Dufton, M., Ross, I. & Wilson, J., 14 Aug 2013, Information Technology in Bio- and Medical Informatics: 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings. Bursa, M., Khuri, S. & Renda, M. E. (eds.). Heidelberg, p. 32-46 15 p. (Lecture Notes in Computer Science; vol. 8060).

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

    File
    134 Downloads (Pure)
  • Perception of thermal stimuli for continuous interaction

    Halvey, M., Wilson, G., Brewster, S. A. & Hughes, S. A., Apr 2013, CHI '13 Extended Abstracts on Human Factors in Computing Systems. New York, NY., p. 1587-1592 6 p.

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

    13 Citations (Scopus)
  • Positive inductive-recursive definitions

    Ghani, N., Malatesta, L. & Nordvall Forsberg, F., 8 Aug 2013, Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Heckel, R. & Milius, S. (eds.). Berlin, p. 19-33 15 p. (Lecture Notes in Computer Science; vol. 8089).

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

  • Productive coprogramming with guarded recursion

    Atkey, R. & McBride, C., Sep 2013, (Accepted/In press) Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming . 12 p.

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

    27 Citations (Scopus)
  • Program extraction from nested definitions

    Miyamoto, K., Nordvall Forsberg, F. & Schwichtenberg, H., 19 Jul 2013, Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Blazy, S., Paulin-Mohring, C. & Pichardie, D. (eds.). Berlin, p. 370-385 16 p. (Lecture Notes in Computer Science; vol. 7998).

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

    5 Citations (Scopus)
  • Small induction recursion

    Hancock, P., McBride, C., Ghani, N., Malatesta, L. & Altenkirch, T., 6 Jun 2013, Typed Lambda Calculus and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings. Hasegawa, M. (ed.). Berlin: Springer, p. 156-172 17 p. (Lecture Notes in Computer Science; vol. 7941).

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

    9 Citations (Scopus)
  • Strategies for covert Web search

    Weir, G. R. S. & Igbako, D., 2013, Fourth Cybercrime and Trustworthy Computing Workshop (CTC), 2013. Piscataway, NJ, United States: IEEE, p. 50-57 8 p.

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

    1 Citation (Scopus)
  • Tutorial: Graphical calculus for quantum circuits

    Coecke, B. & Duncan, R., 2013, Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Glück, R. & Yokoyama, T. (eds.). Berlin: Springer, Vol. 7581. p. 1-13 13 p. (Lecture Notes in Computer Science; vol. 7581).

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

  • Well-Founded Semantics for Extended Datalog and Ontological Reasoning

    Kupke, C., Gottlob, G., Lukasiewicz, T. & Hernich, A., Jun 2013, Proceedings of the 32nd Symposium on Principles of Database Systems. New York, p. 225-236 12 p.

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

    Open Access
    File
    23 Citations (Scopus)
    75 Downloads (Pure)
  • 2012

    Adaptive augmented reality for cultural heritage, the ARtSENSE project.

    Damala, A., Stojanovic, N., Schuchert, T., Moragues, J., Cabrera, A. & Gilleade, K., Nov 2012, Progress in Cultural Heritage Preservation: 4th International Conference, EuroMed 2012, Limassol, Cyprus, October 29 – November 3, 2012. Proceedings. Ioannides, M., Fritsch, D., Leissner, J., Davies, R., Remondino, F. & Caffo, R. (eds.). p. 746-755 10 p. (Lecture Notes in Computer Science; vol. 7616).

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

    28 Citations (Scopus)
  • A middleware for pervasive situation-awareness

    Thomson, G. & Terzis, S., Jun 2012, Distributed Applications and Interoperable Systems: 12th IFIP WG 6.1 International Conference, DAIS 2012. Goschka, K. & Haridi, S. (eds.). Vol. 7272. p. 148-161 14 p.

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

    File
    131 Downloads (Pure)
  • A multivariate correlation distance for vector spaces

    Connor, R. & Moss, R. G., 2012, Similarity search and applications: 5th international conference, SISAP 2012 proceedings. Nararro, G. & Pestov, V. (eds.). Berlin: Springer-Verlag, p. 209-225 17 p. (Lecture Notes in Computer Science; vol. 7404).

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

    6 Citations (Scopus)
  • Beyond affordance: tangibles' hybrid nature

    Hornecker, E., Feb 2012, Proceedings of the Sixth International Conference on Tangible, Embedded and Embodied Interaction: TEI'12. New York, p. 175-182 8 p.

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

    49 Citations (Scopus)
  • Distress detection

    Vella, M. J., Terzis, S. & Roper, M., 12 Sep 2012, Research in Attacks, Intrusions, and Defenses: Proceedings of the 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Davide, B., Salvatore.J., S. & Marco, C. (eds.). Springer, p. 384-385 2 p. (Lecture Notes in Computer Science; vol. 7462).

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

  • Equality-friendly well-founded semantics and applications to description logics

    Kupke, C., Gottlob, G., Lukasiewicz, T. & Hernich, A., 2012, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. p. 757-764 8 p.

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

    Open Access
    File
    51 Downloads (Pure)
  • Fibrational induction meets effects

    Atkey, R., Ghani, N., Jacobs, B. & Johann, P., 2012, Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2011. Birkedal, L. (ed.). Springer, Vol. 7213. p. 42-57 16 p. (Lecture Notes in Computer Science; vol. 7213).

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

    Open Access
    File
    10 Citations (Scopus)
    48 Downloads (Pure)
  • Genre-based information hiding

    Ogilvie, R. & Weir, G. R. S., 12 Sep 2012, Global Security, Safety and Sustainability & e-Democracy: 7th International and 4th e-Democracy, Joint Conferences, ICGS3/e-Democracy 2011, Thessaloniki, Greece, August 24-26, 2011, Revised Selected Papers. Georgiadis, C. K., Jahankhani, H., Pimenidis, E., Bashroush, R. & Al-Nemrat, A. (eds.). Berlin: Springer, Vol. 99. p. 104-111 8 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 99).

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

    Open Access
    File
    21 Downloads (Pure)
  • Grieving online: the use of search engines in times of grief and bereavement

    Ruthven, I., 2012, Proceedings of the 4th Information Interaction in Context Symposium (IIIX '12). New York, p. 120-128 9 p.

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

    File
    2 Citations (Scopus)
    126 Downloads (Pure)
  • Investigating gesture and pressure interaction with a 3D display

    Halvey, M., Hannah, D., Wilson, G. & Brewster, S., 4 Jan 2012, Advances in Multimedia Modeling: 18th International Conference, MMM 2012, Klagenfurt, Austria, January 4-6, 2012. Proceedings. Berlin: Springer, p. 395-405 11 p. (Lecture Notes in Computer Science; vol. 7131).

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

    1 Citation (Scopus)
  • Multidimensional Pareto optimization of touchscreen keyboards for speed, familiarity and improved spell checking

    Dunlop, M. & Levine, J., May 2012, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York, p. 2669-2678 10 p.

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

    Open Access
    File
    52 Citations (Scopus)
    201 Downloads (Pure)
  • Tailoring the adaptive augmented reality (A2R) museum visit: ientifying cultural heritage professionals’ motivations and needs

    Damala, A. & Stojanovic, N., 2012, 2012 IEEE International Symposium on Mixed and Augmented Reality (ISMAR-AMH). IEEE, p. 71-80 10 p.

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

    21 Citations (Scopus)
  • Transporting functions across ornaments

    Dagand, P-E. & McBride, C., 2012, ICFP '12 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming . New York, p. 104-113 10 p.

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

    14 Citations (Scopus)
  • Triage in forensic accounting using Zipf's law

    Odueke, A. & Weir, G., 2012, Issues in Cybercrime, Security and Digital Forensics. Weir, G. & Al-Nemrat, A. (eds.). Glasgow, p. 33-43 11 p.

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

    Open Access
    File
    449 Downloads (Pure)
  • Urban HCI: spatial aspects in the design of shared encounters for media facades

    Fischer, P. T. & Hornecker, E., 2012, Proceedings of the 2012 ACM Annual Conference on Human Factors in Computing Systems. New York, p. 307-316 10 p.

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

    96 Citations (Scopus)
  • Uses of peer assessment in database teaching and learning

    Paterson, J., Wilson, J. N. & Leimich, P., 11 Mar 2012, Data security and security data: 27th British National Conference on Databases, BNCOD 27 Dundee, UK, June 29 – July 1, 2010. Revised Selected Papers. MacKinnon, L. M. (ed.). Berlin, p. 135-146 12 p. (Lecture Notes in Computer Science; vol. 6121).

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

    Open Access
    File
    2 Citations (Scopus)
    122 Downloads (Pure)
  • Using microenvironments to identify allosteric binding sites

    Foley, C. E., Al Azwari, S. M. M., Dufton, M. & Wilson, J., 4 Oct 2012, 2012 IEEE International Conference on Bioinformatics and Biomedicine (BIBM 2012). Piscataway, NJ: IEEE, p. 411-415 5 p.

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

    1 Citation (Scopus)
  • What do lab-based user studies tell us about in-the-wild behavior? insights from a study of museum interactives

    Hornecker, E. & Nicol, E., 2012, Proceedings of Designing Interactive Systems (DIS'12). New York, p. 358-367 10 p.

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

    19 Citations (Scopus)
  • 2011

    A categorical semantics for inductive-inductive definitions

    Altenkirch, T., Morris, P., Nordvall Forsberg, F. & Setzer, A., 19 Aug 2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cîrstea, C. (eds.). Berlin, p. 70-84 15 p. (Lecture Notes in Computer Science; vol. 6859).

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

    9 Citations (Scopus)
  • Alternation graphs

    Halldorsson, M., Kitaev, S. & Pyatkin, A., Aug 2011, Graph-theoretic concepts in computer science: 37th International Workshop, WG 2011Teplá Monastery, Czech Republic, June 21-24, 2011 Revised Papers. Kolman, P. & Kratochvil, J. (eds.). Berlin, p. 191-202 12 p. (Lecture Notes in Computer Science; vol. 6986).

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

    12 Citations (Scopus)
  • A mobile guide for serendipitous exploration of cities

    Hornecker, E., Swindells, S. & Dunlop, M., 2011, Proceedings of the 13th International Conference on Human Computer Interaction with Mobile Devices and Services : MobileHCI '11. p. 557-562 6 p.

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

    21 Citations (Scopus)
  • A preliminary evaluation of text-based and dependency-based techniques for determining the origins of bugs

    Davies, S., Roper, M. & Wood, M., Oct 2011, 18th Working Conference on Reverse Engineering (WCRE 2011). IEEE, p. 201-210 10 p.

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

    Open Access
    File
    3 Citations (Scopus)
    180 Downloads (Pure)
  • Classifying suspicious content using frequency analysis

    Gellineau, O. & Weir, G. R. S., 2011, Corpora and Language Technologies in Teaching, Learning and Research. Weir, G., Ishikawa, S. & Poonpol, K. (eds.). 8 p.

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

    Open Access
    File
    90 Downloads (Pure)
  • Indexed induction and coinduction, fibrationally.

    Ghani, N., Johann, P. & Fumex, C., 2011, Algebra and coalgebra in computer science : Proceedings of the 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Corradini, A., Klin, B. & Cirstea, C. (eds.). Springer, p. 176-191 15 p. (Lecture Notes in Computer Science; vol. 6859 ).

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

    File
    11 Citations (Scopus)
    140 Downloads (Pure)
  • Longitude: a privacy-preserving location sharing protocol for mobile applications

    Dong, C. & Dulay, N., Jul 2011, Trust Management V: 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 – July 1, 2011. Proceedings. Wakeman, I., Gudes, E., Damsgaard Jensen, C. & Crampton, J. (eds.). p. 133-148 16 p.

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

    Open Access
    File
    12 Citations (Scopus)
    32 Downloads (Pure)
  • Novice user perception of e-services: a study in the Egyptian public sector

    Nosseir, A. & Terzis, S., Dec 2011, Applied electrical engineering and computing technologies : conference proceedings. New York: IEEE, p. 1-6 6 p.

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

    2 Citations (Scopus)
  • On the representability of line graphs

    Kitaev, S., Salimov, P., Severs, C. & Ulfarsson, H., 2011, Developments in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings. Mauri, G. & Leporati, A. (eds.). p. 478-479 2 p. (Lecture Notes in Computer Science; vol. 6795).

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

    7 Citations (Scopus)
  • The design of t-vote: a tangible tabletop application supporting children's decision making

    McCrindle, C., Hornecker, E., Lingnau, A. & Rick, J., 2011, Proceedings of the 10th International Conference on Interaction Design and Children: IDC'11. NY, p. 181-184 4 p.

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

    15 Citations (Scopus)
  • Towards a universal information distance for structured data

    Connor, R., Simeoni, F., Iakovos, M. & Moss, R. G., 30 Jun 2011, SISAP '11 Proceedings of the Fourth International Conference on SImilarity Search and APplications. Ferro, A. (ed.). p. 69-77 9 p.

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

    2 Citations (Scopus)
    21 Downloads (Pure)
  • Towards authentication via selected extraction from electronic personal histories

    Nosseir, A. & Terzis, S., 2011, Enterprise Information Systems: Revised Selected Papers of the 12th International Conference on Enterprise Information Systems. Filipe, J. & Cordeiro, J. (eds.). Springer, p. 571-586 16 p. (Lecture Notes in Business Information Processing; vol. 73).

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

  • Towards semantic category verification with arbitrary precision

    Roussinov, D., 2011, Advances in Information Retrieval Theory : Third International Conference, ICTIR 2011, Bertinoro, Italy, September 12-14, 2011. Proceedings. Vol. 6931. p. 274-284 11 p.

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

  • What makes re-finding information difficult? A study of email re-finding

    D. Elsweiler, M. B. & Ruthven, I., 2011, 33rd European Conference on Information Retrieval (ECIR 2011). Springer-Verlag

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

    Open Access
    File
    32 Citations (Scopus)
    64 Downloads (Pure)
  • When is a type refinement an inductive type

    Atkey, R., Johann, P. & Ghani, N., 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011. Hofmann, M. (ed.). Springer, p. 72-87 16 p. (Lecture Notes in Computer Science ; vol. 6604).

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

    8 Citations (Scopus)