School of Mathematical & Computer Sciences

Filter
Conference contribution

Search results

  • 2007

    Investigating emotional interaction with a robotic dog

    Jones, C. M. & Deeming, A., 2007, Australasian Computer-Human Interaction Conference, OZCHI'07. p. 183-186 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Investigating hybrids of evolutionary search and linear discriminant analysis for authorship attribution

    Shaker, K., Corne, D. & Everson, R., 2007, 2007 IEEE Congress on Evolutionary Computation, CEC 2007. p. 2071-2077 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Citations (Scopus)

  • Low-level programming in Hume: An exploration of the HW-Hume level

    Hammond, K., Grov, G., Michaelson, G. & Ireland, A., 2007, Implementation and Application of Functional Languages - 18th International Symposium, IFL 2006, Revised Selected Papers. Vol. 4449 LNCS. p. 91-107 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4449 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • Machine learning for spoken dialogue systems

    Lemon, O. & Pietquin, O., 2007, Interspeech 2007: Proceedings of the Eighth Annual Conference of the International Speech Communication Association. p. 1761-1764 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    15 Citations (Scopus)

  • Managing user preferences for personalization in a pervasive service environment

    McBurney, S., Williams, H., Taylor, N. K. & Papadopoulou, E., 1 May 2007, Proceedings of Third Advanced International Conference on Telecommunications, AICT 2007. p. 33:1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Citations (Scopus)

  • Mediator: A design framework for P2P MMOGs

    Fan, L., Taylor, H. & Trinder, P., 2007, Proceedings of the 6th ACM SIGCOMM Workshop on Network and System Support for Games, NetGames '07. p. 43-48 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
    40 Citations (Scopus)
    270 Downloads (Pure)

  • Message from the BNCODwebim'07 workshop chair

    Wilson, J. N., Gourlay, R. S., Tripney, B. G., Chakravarthy, S., Cooper, R., Eaglestone, B., Garvey, M., Helmer, S., Hong, J., Kemp, G., McBrien, P., Ounis, I., Pleshachkov, P., Poulovassilis, A., Viglas, S. & Williams, H., 2007, Proceedings - 24th British National Conference on Databases, 2007.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Mobile spatial interaction

    Fröhlich, P., Simon, R., Baillie, L., Roberts, J. & Murray-Smith, R., 2007, Proceedings of the 25th SIGCHI Conference on Human Factors in Computing Systems 2007. SIGCHI, p. 2841-2844 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Citations (Scopus)

  • Modeling file-sharing with BitTorrent-like incentives

    Kesidis, G., Konstantopoulos, P. T. & Sousi, P., 2007, 2007 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP '07. Vol. 4. p. IV1333-IV1336

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)

  • Modeling the dynamics of HIV infection with conformon-P systems and cellular automata

    Frisco, P. & Corne, D. W., 2007, Membrane Computing - 8th International Workshop, WMC 2007, Revised Selected and Invited Papers. Vol. 4860 LNCS. p. 21-31 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4860 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Citations (Scopus)

  • Modelling of direction-dependent systems using bilinear models

    Yap, T. T. V., Tan, A. H. & Foo, M. F. L., 25 Jun 2007, 2007 IEEE Instrumentation and Measurement Technology. IEEE, 4258129

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Modified clonal selection algorithm for learning qualitative compartmental models of metabolic systems

    Pang, W. & Coghill, G. M., 2007, GECCO '07: Proceedings of the 9th annual conference companion on Genetic and evolutionary computation. Association for Computing Machinery, p. 2887–2894 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    12 Citations (Scopus)

  • Multilayer perceptron based level sets for robust ultrasound image segmentation

    Mora, M., Tauber, C. & Batatia, H., 2007, Medical Imaging 2007: Ultrasonic Imaging and Signal Processing. SPIE, 65131C. (Proceedings of SPIE; vol. 6513).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Narrative construction in a mobile tour guide

    Lim, M. Y. & Aylett, R., 2007, Virtual Storytelling: Using Virtual Reality Technologies for Storytelling - 4th International Conference, ICVS 2007, Proceedings. Vol. 4871 LNCS. p. 51-62 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4871 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Citations (Scopus)

  • Narrative structure of mathematical texts

    Kamareddine, F., Maarek, M., Retel, K. & Wells, J. B., 2007, Towards Mechanized Mathematical Assistants - 14th Symposium, Calculemus 2007 - 6th International Conference, MKM 2007, Proceedings. Vol. 4573 LNAI. p. 296-312 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4573 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Citations (Scopus)

  • Odor recognition with synchronization using integrate and fire neurons

    Lin, X. & De Wilde, P., 2007, International Joint Conference on Neural Networks, 2007. IEEE, p. 705-710 6 p. (IEEE International Conference on Neural Networks (ICNN) ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • Optimization and evaluation of parallel I/O in BIPS3D parallel irregular application

    Filgueira, R., Singh, D. E., Isaila, F., Carretero, J. & Loureiro, A. G., 2007, 2007 IEEE International Parallel and Distributed Processing Symposium. IEEE, 4228313

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • PARTES: Performance analysis of real-time embedded systems

    Gorry, B., Ireland, A. & King, P., 2007, Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007. p. 271-272 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Quantifying the effects of objective space dimension in evolutionary multiobjective optimization

    Knowles, J. & Corne, D., 2007, Evolutionary Multi-Criterion Optimization - 4th International Conference, EMO 2007, Proceedings. Vol. 4403 LNCS. p. 757-771 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4403 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    120 Citations (Scopus)

  • Regression in the presence missing data using ensemble methods

    Hassan, M. M., Atiya, A. F., El-Gayar, N. & El-Fouly, R., 29 Oct 2007, 2007 International Joint Conference on Neural Networks. IEEE, p. 1261-1265 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Citations (Scopus)

  • Restoring natural language as a computerised mathematics input method

    Kamareddine, F., Lamar, R., Maarek, M. & Wells, J. B., 2007, Towards Mechanized Mathematical Assistants - 14th Symposium, Calculemus 2007 - 6th International Conference, MKM 2007, Proceedings. Vol. 4573 LNAI. p. 280-295 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4573 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Citations (Scopus)

  • Scheduling light-weight parallelism in ARTCOP

    Berthold, J., Al Zain, A. & Loidl, H. W., 2007, Practical Aspects of Declarative Languages - 10th International Symposium, PADL 2008, Proceedings. Vol. 4902 LNCS. p. 214-229 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4902 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Citations (Scopus)

  • SymGrid: A framework for symbolic computation on the grid

    Hammond, K., Al Zain, A., Cooperman, G., Petcu, D. & Trinder, P., 2007, Euro-Par 2007 Parallel Processing - 13th International Euro-Par Conference, Proceedings. Vol. 4641 LNCS. p. 457-466 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4641 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    17 Citations (Scopus)

  • SymGrid-Par: Designing a framework for executing computational algebra systems on computational grids

    Al Zain, A., Hammond, K., Trinder, P., Linton, S., Loidl, H. W. & Costanti, M., 2007, Computational Science - ICCS 2007 - 7th International Conference, Proceedings. PART 2 ed. Vol. 4488 LNCS. p. 617-624 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4488 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Citations (Scopus)

  • Symmetries and renormalization of noncommutative field theory

    Szabo, R. J., 2007, PARTICLES AND FIELDS: Proceedings of the VI Latin American Symposium on High Energy Physics and the XII Mexican School of Particles and Fields. Vol. 917. p. 146-153 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • Systematic derivation of boundary Lax pairs

    Doikou, A. & Avan, J., 2007, RAQIS'07, September 2007, Annecy.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Techniques for highly multiobjective optimisation: Some nondominated points are better than others

    Corne, D. W. & Knowles, J. D., 2007, Proceedings of GECCO 2007: Genetic and Evolutionary Computation Conference. p. 773-780 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    269 Citations (Scopus)

  • The gradual computerisation of mathematics in MathLang

    Kamareddine, F., 2007, Proceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007. p. 3-

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The LiLiPUT prototype: A wearable lab environment for user tests of mobile telecommunication applications

    Reichl, P., Froehlich, P., Baillie, L., Schatz, R. & Dantcheva, A., 2007, CHI 2007 Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1833-1838 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Citations (Scopus)

  • The VVIP system: Encouraging the use of public transport in Edinburgh

    Thomson, D. J., Gylseth, M., McGarry, R. & Garcia, C. V., 2007, SIGCHI Conference on Human Factors in Computing Systems 2007, CHI 2007 Extended Abstracts. p. 2091-2096 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Citations (Scopus)

  • Time-delayed feedback control of noise-induced dynamics in a model of a neural network

    Janson, N. & Patidar, S., 2007, Book of Abstracts of Dynamic Days 2007. Loughborough, United Kingdom, p. 122

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Towards resource-certified software: A formal cost model for time and its application to an image-processing example

    Bonenfant, A., Chen, Z., Hammond, K., Michaelson, G., Wallace, A. & Wallace, I., 2007, Proceedings of the 2007 ACM Symposium on Applied Computing. p. 1307-1314 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Citations (Scopus)

  • Uniform circuits, & Boolean proof nets

    Mogbil, V. & Rahli, V., 2007, Logical Foundations of Computer Science. LFCS 2007. Springer, p. 401-421 21 p. (Lecture Notes in Computer Science; vol. 4514).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Citations (Scopus)

  • Using SMT solvers to verify high-integrity programs

    Jackson, P. B., Ellis, W. J. & Sharp, K., 2007, AFM'07: 2nd Workshop on Automated Formal Methods. p. 60-68 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Citations (Scopus)

  • Weighted cohesiveness for identification of functional modules and their interconnectivity

    Lubovac, Z., Corne, D., Gamalielsson, J. & Olsson, B., 2007, Bioinformatics Research and Development - First International Conference, BIRD 2007 Proceedings. Vol. 4414 LNBI. p. 185-198 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)

  • WIRE: a wearable spoken language understanding system for the military

    Hastie, H., Craven, P. & Orr, M., 2007, Proceedings of the Workshop on Bridging the Gap: Academic and Industrial Research in Dialog Technologies. p. 84-88 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2006

    A comparative evaluation of three mobile languages

    Field, Z., Trinder, P. W. & Du Bois, A. R., 2006, Proceedings of the 3rd International Conference on Mobile Technology, Applications and Systems, Mobility '06. Vol. 270.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Citations (Scopus)

  • A few constructions on constructors

    McBride, C., Goguen, H. & McKinna, J., 2006, Types for Proofs and Programs. TYPES 2004. Springer, p. 186-200 15 p. (Lecture Notes in Computer Science; vol. 3839).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Citations (Scopus)

  • A fuzzy engine model for efficient stock market prediction

    Ahmad, S. M., El Gayar, N. & Abd Elazim, H. Y., 20 Nov 2006, CIMMACS'06: Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics. Cecchi, A. & Mastorakis, N. (eds.). World Scientific and Engineering Academy and Society, p. 217-222 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • An affectively driven planner for synthetic characters

    Aylett, R., Dias, J. & Paiva, A., 2006, ICAPS 2006 - Proceedings, Sixteenth International Conference on Automated Planning and Scheduling. Vol. 2006. p. 2-10 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    83 Citations (Scopus)

  • An epidemiological model for file-sharing with BitTorrent-like incentives: The case of a fixed peer population

    Kesidis, G., Jin, Y., Mortazavi, B. & Konstantopoulos, P. T., 2006, IEEE GLOBECOM 2006 - 2006 Global Telecommunications Conference.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)

  • An Evolution Computation Based Approach to Synthesize Video Texture

    Meng, Y., Li, W., Wang, Y., Guo, W. & Pang, W., 5 Dec 2006, Computational Science – ICCS 2006: 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II. Alexandrov, V. N., van Albada, G. D., Sloot, P. M. A. & Dongarra, J. (eds.). Berlin, Heidelberg: Springer, p. 223-230 8 p. (Lecture Notes in Computer Science ; vol. 3992).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • An experimental consideration of the use of the transrelational™ model for data warehousing

    Gonzalez-Castro, V., MacKinnon, L. M. & Marwick, D. H., 2006, Flexible and Efficient Information Handling - 23rd British National Conference on Databases, BNCOD 23, Proceedings. Vol. 4042 LNCS. p. 47-58 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4042 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • An ISU dialogue system exhibiting reinforcement learning of dialogue policies: generic slot-filling in the TALK in-car system

    Lemon, O., Georgila, K., Henderson, J. & Stuttle, M., 2006, Proceedings of the Eleventh Conference of the European Chapter of the Association for Computational Linguistics : Posters and Demonstrations. Association for Computational Linguistics, p. 119-122 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    67 Citations (Scopus)

  • Anomaly detection by auto-association

    Iversen, A., Taylor, N. K. & Brown, K. E., 2006, Proceedings of the 7th Nordic Signal Processing Symposium, NORSIG 2006. NEW YORK: IEEE, p. 154-157 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Applying a Web-service-based model to dynamic service-deployment

    Chrysoulas, C., Haleplidis, E., Haas, R., Denazis, S. & Koyfopavlou, O., 22 May 2006, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06). IEEE, 1631253

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    14 Citations (Scopus)

  • Articulated robot motion planning using ant colony optimisation

    Mohamad, M. M., Taylor, N. K. & Dunnigan, M. W., 2006, 2006 3rd International IEEE Conference Intelligent Systems, Vols 1 and 2. NEW YORK: IEEE, p. 690-695 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    18 Citations (Scopus)

  • A Sequent Calculus for Type Theory

    Lengrand, S., Dyckhoff, R. & McKinna, J., 2006, Computer Science Logic. CSL 2006. Springer, p. 441-455 15 p. (Lecture Notes in Computer Science; vol. 4207).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)

  • A study of the robustness of KNN classifiers trained using soft labels

    El Gayar, N., Schwenker, F. & Palm, G., 2006, Artificial Neural Networks in Pattern Recognition. ANNPR 2006. Springer, p. 67-80 14 p. (Lecture Notes in Computer Science; vol. 4087).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    68 Citations (Scopus)

  • Capture-avoiding substitution as a nominal algebra

    Gabbay, M. & Mathijssen, A., 2006, Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Proceedings. Vol. 4281 LNCS. p. 198-212 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4281 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    20 Citations (Scopus)