Filter
Conference contribution book

Search results

  • 2007

    Merging augmented reality based features in mobile multimedia museum guides

    Damala, A., Marchal, I. & Houlier, P., 2007, Proceedings of the XXI International Symposium CIPA 2007: AntiCIPAting the Future of the Cultural Past. p. 259-264 6 p.

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

  • 2008

    Bridging the gap between the digital and the physical: design and evaluation of a mobile augmented reality guide for the museum visit

    Damala, A., Cubaud, P., Bationo, A., Houlier, P. & Marchal, I., 2008, Proceedings of the 3rd International Conference on Digital Interactive Media in Entertainment and Arts (DIMEA '08). New York, NY., p. 120-127 8 p.

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

    99 Citations (Scopus)
  • Counting ordered patterns in words generated by morphisms

    Kitaev, S., Mansour, T. & Seebold, P., 2008, Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers. Martín-Vide, C., Otto, F. & Fernau, H. (eds.). Berlin: Springer, p. 287-298 12 p. (Lecture Notes in Computer Science; vol. 5196).

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

  • Trends in smartcard fraud

    Burns, S. & Weir, G., 2008, Proceedings of the 4th International Conference on Global E-Security. Jahankhani, H., Revett, K. & Palmer-Brown, D. (eds.). Springer-Verlag, (Communications in Computer and Information Science; vol. 12).

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

    File
    27 Downloads (Pure)
  • 2009

    Crucial words for abelian powers

    Glen, A., Halldorsson, B. & Kitaev, S., 2009, Developments in Language Theory: 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings. Diekert, V. & Nowotka, D. (eds.). p. 264-275 12 p. (Lecture Notes in Computer Science; vol. 5583).

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

    1 Citation (Scopus)
  • Edutainment games for mobile multimedia museum guidance systems: a classification approach

    Damala, A., 28 Aug 2009, Entertainment Computing – ICEC 2009: 8th International Conference, Paris, France, September 3-5, 2009. Proceedings. Natkin, S. & Dupire, J. (eds.). Berlin, p. 307-308 2 p. (Lecture Notes in Computer Science; vol. 5709).

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

    2 Citations (Scopus)
  • Experimenting with sound immersion in an arts and crafts museum

    Kaghat, F-Z., Le Prado, C., Damala, A. & Cubaud, P., 28 Aug 2009, Entertainment Computing – ICEC 2009: 8th International Conference, Paris, France, September 3-5, 2009. Proceedings. Natkin, S. & Dupire, J. (eds.). Berlin, p. 173-178 6 p. (Lecture Notes in Computer Science; vol. 5709).

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

    3 Citations (Scopus)
  • 2010

    A new focus on end-users: eye-tracking analysis for digital libraries

    Sykes, J., Dobreva, M., Birrell, D., McCulloch, E., Ruthven, I., Unal, Y. & Feliciati, P., 2010, Research and Advanced Technology for Digital Libraries. ECDL 2010. Lecture Notes in Computer Science. Berlin: Springer, Vol. 6273. p. 510-513 4 p.

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

    2 Citations (Scopus)
  • Assessing the effectiveness of multi-touch interfaces for DP operation

    Bjorneseth, F. B., Dunlop, M. D. & Hornecker, E., 2010, Proceedings of the International Conference on Human Performance At Sea (HPAS), Glasgow 2010 . 13 p.

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

    File
    47 Downloads (Pure)
  • A study in authentication via electronic personal history questions

    Nosseir, A. & Terzis, S., Jun 2010, Proceedings of the 12th International Conference on Enterprise Information Systems. Cordeiro, J. (ed.). p. 63-70 8 p.

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

    6 Citations (Scopus)
  • Biochemical network matching and composition

    Goodfellow, M., Wilson, J. & Hunt, E., 22 Mar 2010, Proceedings of the 2010 Edbt/Icdt Workshops . Teubner, J. (ed.). New York, NY, USA, p. 1-7 7 p.

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

    File
    2 Citations (Scopus)
    67 Downloads (Pure)
  • Composition of biochemical networks using domain knowledge

    Goodfellow, M., Wilson, J. & Hunt, E., 2010, COmputational Modeling in BIology NEtwork (COMBINE) 2010. 1 p.

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

    File
    198 Downloads (Pure)
  • Creative idea exploration within the structure of a guiding framework: the card brainstorming game

    Hornecker, E., 2010, Proceedings of TEI'10 (Tangible Embedded and Embodied Interaction 2010). p. 101-18 18 p.

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

    Open Access
    File
    78 Citations (Scopus)
    49 Downloads (Pure)
  • Danger theory and intrusion detection: possibilities and limitations of the analogy

    Vella, M., Roper, M. & Terzis, S., 2010, Artificial Immune Systems: Proceedings of the 9th International Conference, ICARIS 2010. Hart, E., McEwan, C., Timmis, J. & Hone, A. (eds.). Springer, p. 276-289 14 p. (Lecture Notes in Computer Science; vol. 6209).

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

    8 Citations (Scopus)
  • Enabling interactive query expansion through eliciting the potential effect of expansion terms

    Sahib, N. G., Tombros, A. & Ruthven, I., 28 Mar 2010, Advances in Information Retrieval: 32nd European Conference on IR Research, ECIR 2010, Milton Keynes, UK, March 28-31, 2010.Proceedings. Gurrin, C., He, Y., Kazai, G., Kruschwitz, U., Little, S., Roelleke, T., Rüger, S. & van Rijsbergen, K. (eds.). Berlin: Springer-Verlag, Vol. 5993. p. 532-543 10 p. (Lecture Notes in Computer Science; vol. 5993).

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

    6 Citations (Scopus)
  • Exploring contemporary painting through spatial annotations using RFID tags

    Haberman, O., Damala, A., Pellerin, R., Haberman, U. & Gressier-Soudan, E., 2010, VAST10S. Artusi, A., Joly-Parvex, M., Lucet, G., Ribes, A. & Pitzalis, D. (eds.). Geneva, p. 49-52 4 p. (VAST: International Symposium on Virtual Reality, Archaeology and Intelligent Cultural Heritage - Short and Project Papers).

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

  • Fibrational induction rules for initial algebras

    Ghani, N., Johann, P. & Fumex, C., 2010, Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. Dawar, A. & Veith, H. (eds.). Springer, Vol. 6247. p. 336-350 15 p. (Lecture Notes In Computer Science; vol. 6247).

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

    File
    14 Citations (Scopus)
    69 Downloads (Pure)
  • First impressions: how search engine results contextualise digital identities

    Ruthven, I., Clews, C. & Dali, W. H. M., 2010, Proceedings of the 3rd Information Interaction in Context Symposium (IIiX 2010). New York, p. 311-316 6 p.

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

  • Graphs capturing alternations in words

    Halldorsson, M., Kitaev, S. & Pyatkin, A., 2010, Developments in Language Theory: 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings. Gao, Y., Lu, H., Seki, S. & Yu, S. (eds.). p. 436-437 2 p. (Lecture Notes in Computer Science; vol. 6224).

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

    16 Citations (Scopus)
  • Implicit Learning of Macro-Actions for Planning

    Newton, M. A. H. & Levine, J., 1 Aug 2010, Proceedings of the 2010 conference on ECAI 2010 : 19th European Conference on Artificial Intelligence. New York, p. 323-328 6 p.

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

    2 Citations (Scopus)
  • Inductive-inductive definitions

    Nordvall Forsberg, F. & Setzer, A., 11 Aug 2010, Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. Dawar, A. & Veith, H. (eds.). Berlin, p. 454-468 15 p. (Lecture Notes in Computer Science; vol. 6247).

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

    14 Citations (Scopus)
  • Interactions around a contextually embedded system

    Hornecker, E., 2010, Proceedings of TEI'10 (Tangible Embedded and Embodied Interaction 2010). p. 169-176 8 p.

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

    Open Access
    File
    33 Citations (Scopus)
    40 Downloads (Pure)
  • Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation

    Mcbride, C., 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming . New York, p. 1-12 12 p.

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

    22 Citations (Scopus)
  • Playing textual analysis as music

    Weir, G. R. S., Livitsanou, M. & Ishikawa, S. (ed.), 1 Sep 2010, Proceedings of ICTATLL 2010, Kyoto, Japan.. University of Strathclyde

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

    Open Access
    File
    94 Downloads (Pure)
  • Relevance in technicolor

    Beresi, U. C., Kim, Y., Song, D., Ruthven, I. & Baillie, M., 2010, 14th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2010).

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

    Open Access
    File
    1 Citation (Scopus)
    37 Downloads (Pure)
  • Rewriting measurement-based quantum computations with generalised flow

    Duncan, R. & Perdrix, S., 2010, Automata, languages and programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F. & Spirakis, P. G. (eds.). Springer, p. 285-296 12 p. (Lecture Notes in Computer Science; vol. 6199).

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

    54 Citations (Scopus)
  • Search procedures revisited

    Kelly, D., Ruthven, I., F. Astrom, B. L. (ed.) & Schneider, J. W. (ed.), 2010, The Janus Faced Scholar - a Festschrift in Honour of Peter Ingwersen. p. 59-67 9 p.

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

    Open Access
    File
    57 Downloads (Pure)
  • Shinren: Non-monotonic trust management for distributed systems

    Dong, C. & Dulay, N., 18 Jun 2010, Trust Management IV: 4th IFIP WG 11.11 International Conference, IFIPTM 2010, Morioka, Japan, June 16-18, 2010. Proceedings. Nishigaki, M., Jøsang, A., Murayama, Y. & Marsh, S. (eds.). Cham, Switzerland: Springer, p. 125-140 16 p.

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

    Open Access
    File
    8 Citations (Scopus)
    38 Downloads (Pure)
  • The emotional impact of search tasks

    Poddar, A. & Ruthven, I., 18 Aug 2010, Proceedings of the 3rd Information Interaction in Context Symposium (IIiX 2010). New York, p. 35-44 10 p.

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

    18 Citations (Scopus)
  • The gentle art of levitation

    Chapman, J., Dagand, P-E., Mcbride, C. & Morris, P., 2010, ICFP 2010 Proceedings of the 15th ACM SIGPLAN international conference on functional programming. Hudak, P. (ed.). New York, p. 3-14 12 p.

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

    20 Citations (Scopus)
  • Type inference in context

    Gundry, A., Mcbride, C. & McKinna, J., 2010, MSFP '10 Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming . p. 43-54 12 p.

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

    6 Citations (Scopus)
  • VR/Urban: spread.gun - design process and challenges in developing a shared encounter for media façades

    Fischer, P. T., Zöllner, C. & Hornecker, E., 2010, Proceedings of British HCI 2010.

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

    Open Access
    File
    46 Downloads (Pure)
  • 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)
  • 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)