School of Mathematical & Computer Sciences

Filter
Conference contribution

Search results

  • 2008

    Evolution-generated communications in digital business ecosystem

    Wang, J. & De Wilde, P., 2008, 2008 IEEE Conference on Cybernetics and Intelligent Systems. IEEE, p. 618 - 623 6 p.

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

    6 Citations (Scopus)

  • Exploiting data compression in collective I/O techniques

    Filgueira, R., Singh, D. E., Pichel, J. C. & Carretero, J., 31 Oct 2008, 2008 IEEE International Conference on Cluster Computing. IEEE, p. 479-485 7 p.

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

    4 Citations (Scopus)

  • Fairness and interactive performance of O(1) and CFS Linux kernel schedulers

    Wong, C. S., Tan, I. K. T., Kumari, R. D., Lam, J. W. & Fun, W., 26 Sept 2008, 2008 International Symposium on Information Technology. IEEE, 4631872

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

    43 Citations (Scopus)

  • Fast and reliable PCA-based temporal segmentation of video sequences

    Filip, J. & Haindl, M., 2008, 2008 19th International Conference on Pattern Recognition, ICPR 2008.

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

  • Fiber laser processing of thick Yttria stabilized Zirconia

    Parry, J., Dear, F., Ahmed, R., Shephard, J. & Hand, D., 2008, ICALEO 2008 - 27th International Congress on Applications of Lasers and Electro-Optics, Congress Proceedings. p. 713-719 7 p.

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

    1 Citation (Scopus)

  • Formal action semantics for a UML action language

    Yang, M., Michaelson, G. J. & Pooley, R. J., 2008, Proceedings of XII Brazilian Symposium on Programming Languages. p. 129-142

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

  • From contracts towards dependent types: Proofs by partial evaluation

    Herhut, S., Scholz, S.-B., Bernecky, R., Grelck, C. & Trojahner, K., 2008, Implementation and Application of Functional Languages . Chitil, O., Horvath, Z. & Zsok, V. (eds.). Berlin: Springer, p. 254-274 21 p. (Lecture Notes in Computer Science; vol. 5083).

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

    7 Citations (Scopus)

  • Heap recycling for lazy languages

    Holdermans, S. & Hage, J., 7 Jan 2008, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation: PEPM '08. Hatcliff, J., Glück, R. & de Moor, O. (eds.). Association for Computing Machinery, p. 189-197 9 p.

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

    6 Citations (Scopus)

  • Hybridizing Evolutionary Testing with Artificial Immune Systems and Local Search

    Liaskos, K. & Roper, M., 16 Jul 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop. IEEE, 4567010

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

    15 Citations (Scopus)

  • If I were you: double appraisal in affective agents

    Aylett, R. & Louchart, S., 2008, Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 1233-1236 4 p. (AAMAS '08).

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

    17 Citations (Scopus)

  • Improving adaptiveness in autonomous characters

    Lim, M. Y., Dias, J., Aylett, R. & Paiva, A., 2008, Intelligent Virtual Agents - 8th International Conference, IVA 2008, Proceedings. Vol. 5208 LNAI. p. 348-355 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5208 LNAI).

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

    28 Citations (Scopus)

  • Intelligent operators for localisation of dynamic smart dust networks

    Rollings, G. A. & Corne, D. W., 2008, Proceedings - 8th International Conference on Hybrid Intelligent Systems, HIS 2008. p. 477-482 6 p.

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

    6 Citations (Scopus)

  • Investigating touchscreen accessibility for people with visual impairments

    McGookin, D., Brewster, S. & Jiang, W., 1 Jan 2008, NordiCHI '08: Proceedings of the 5th Nordic conference on Human-computer interaction: building bridges. New York: Association for Computing Machinery, p. 298-307

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

    104 Citations (Scopus)

  • Laser machining in ceramics manufacture

    Hand, D., Dear, F., Parry, J., Shephard, J., Nowak, K., Baker, H. & Hall, D., 2008, 3rd Pacific International Conference on Applications of Lasers and Optics, PICALO 2008 - Conference Proceedings. p. 33-38 6 p.

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

    1 Citation (Scopus)

  • Learning effective multimodal dialogue strategies from Wizard-of-Oz data: Bootstrapping and evaluation

    Rieser, V. & Lemon, O., 2008, Proceedings of ACL:HLT. p. 638-646 9 p.

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

    63 Citations (Scopus)

  • Linking privacy and user preferences in the identity management for a pervasive system

    Papadopoulou, E., McBurney, S., Taylor, N. & Williams, H., 2008, Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008. p. 192-195 4 p.

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

    1 Citation (Scopus)

  • Managing emergent character-based narrative

    Aylett, R., Louchart, S., Tychsen, A., Hitchens, M., Figueiredo, R. & Mata, C. D., 2008, Proceedings of the 2nd international conference on INtelligent TEchnologies for interactive enterTAINment. Brussels: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), p. 5:1-5:8 9 p. (INTETAIN '08).

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

    27 Citations (Scopus)

  • Many holes in hindley-milner

    Lindley, S., Sept 2008, ML '08: Proceedings of the 2008 ACM SIGPLAN workshop on ML. Association for Computing Machinery, p. 59-68 10 p.

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

  • Maximum a-posteriori estimation in linear models with a random Gaussian model matrix: A Bayesian-EM approach

    Nevat, I., Peters, G. W. & Yuan, J., 12 May 2008, 2008 IEEE International Conference on Acoustics, Speech and Signal Processing. IEEE, p. 2889-2892 4 p.

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

    3 Citations (Scopus)

  • Measuring operating systems' task fairness for cpu resource scheduling

    Tan, I. K. T., Wong, C. S., Lam, J. W. & Kumari, R. D., 31 Mar 2008, Proceedings of the 4th IASTED International Conference on Advances in Computer Science and Technology. ACTA Press, p. 79-84 6 p.

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

    2 Citations (Scopus)

  • Mechanising a proof of Craig's interpolation theorem for intuitionistic logic in nominal Isabelle

    Chapman, P., McKinna, J. & Urban, C., 2008, Intelligent Computer Mathematics. CICM 2008. Springer, p. 38-52 15 p. (Lecture Notes in Computer Science; vol. 5144).

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

    3 Citations (Scopus)

  • Miniaturised optical encoder

    Carr, J., Desmulliez, M. P. Y., Weston, N., McKendrick, D., Cunningham, G., McFarland, G., Meredith, W., McKee, A., Langton, C. & Eddie, I., 2008, Optical System Alignment and Tolerancing II. Vol. 7068.

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

    4 Citations (Scopus)

  • Mixture model POMDPs for efficient handling of uncertainty in dialogue management

    Henderson, J. & Lemon, O., 2008, Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics on Human Language Technologies: Short Papers. Association for Computational Linguistics, p. 73-76 4 p.

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

    29 Citations (Scopus)

  • Modelling anisotropy for improved velocities, synthetics and well ties

    Wild, P. W., Kemper, M., Lu, L. & MacBeth, C. D., 2008, Society of Petroleum Engineers - 70th European Association of Geoscientists and Engineers Conference and Exhibition - Incorporating SPE EUROPEC 2008. Vol. 6. p. 3503-3507 5 p.

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

  • Multi-agent ERA Model Based on Belief Solves Multi-port Container Stowage Problem

    Liu, Y., Wang, K., Guo, D., Pang, W. & Zhou, C., Nov 2008, 2008 Seventh Mexican International Conference on Artificial Intelligence. IEEE, 6 p.

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

  • OFDM CIR Estimation with Unknown Length via Bayesian Model Selection and Averaging

    Nevat, I., Peters, G. W. & Yuan, J., 20 May 2008, VTC Spring 2008. IEEE, p. 1413-1417 5 p. (IEEE Vehicular Technology Conference).

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

    2 Citations (Scopus)

  • On optimal resampling of view and illumination dependent textures

    Filip, J., Chantler, M. J. & Haind, M., 2008, APGV 2008 - Proceedings of the Symposium on Applied Perception in Graphics and Visualization. p. 131-134 4 p.

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

    8 Citations (Scopus)

  • On Stability Analysis of Stochastic Communication Networks

    Foss, S., Jun 2008, Selected Lectures on Multiple Access and Queueing Systems: Revised Selected Papers from International Workshop on Multiple Access Communications - MACOM-2008 (16-17 June 2008, Saint-Peterburg). Vishnevsky, V., Vinel, A., Koucheryavy, Y. & Staehle, D. (eds.). St Petersburg: SUAI, p. 5-14 10 p.

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

  • Optical encoder readhead chip

    Carr, J., Desmulliez, M., Weston, N., McKendrick, D., Cunningham, G., McFarland, G., Meredith, W., McKee, A., Langton, C. & Eddie, I., 2008, Proceedings - 2008 2nd Electronics Systemintegration Technology Conference, ESTC. p. 797-801 5 p.

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

    2 Citations (Scopus)

  • Parallelism without pain: Orchestrating computational algebra components into a high-performance parallel system

    Al Zain, A. D., Trinder, P. W., Hammond, K., Konovalov, A., Linton, S. & Berthold, J., 2008, Proceedings of the 2008 International Symposium on Parallel and Distributed Processing with Applications, ISPA 2008. p. 99-112 14 p.

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

    4 Citations (Scopus)

  • Perceived directionality of 1/fbeta; noise surfaces

    Shah, P., Padilla, S., Green, P. & Chantler, M., 2008, APGV 2008 - Proceedings of the Symposium on Applied Perception in Graphics and Visualization. p. 203-

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

    3 Citations (Scopus)

  • Personal eSpace and personal smart spaces

    Taylor, N., 2008, Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2008. p. 156-161 6 p.

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

    8 Citations (Scopus)

  • Principal typings for explicit substitutions calculi

    Ventura, D. L., Ayala-Rincón, M. & Kamareddine, F., 2008, Logic and Theory of Algorithms - 4th Conference on Computability in Europe, CiE 2008, Proceedings. Vol. 5028 LNCS. p. 567-578 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5028 LNCS).

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

  • Profiling culture for affective synthetic characters

    Nazir, A., Aylett, R. & Cawsey, A., 2008, Adaptive Agents in Cultural Contexts - Papers from the AAAI Fall Symposium, Technical Report. Vol. FS-08-01. p. 36-42 7 p.

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

    1 Citation (Scopus)

  • Proxy caching in split TCP: dynamics, stability and tail asymptotics

    Baccelli, F., Carofiglio, G. & Foss, S., 2 May 2008, INFOCOM 2008: 27th IEEE Communications Society Conference on Computer Communications. IEEE, 4509630

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

    15 Citations (Scopus)

  • Purposeful authoring for emergent narrative

    Louchart, S., Swartjes, I., Kriegel, M. & Aylett, R., 2008, Interactive Storytelling - First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Proceedings. Vol. 5334 LNCS. p. 273-284 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5334 LNCS).

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

    38 Citations (Scopus)

  • Readable and accurate rulesets with ORGA

    Daud, M. N. R. & Corne, D., 2008, Parallel Problem Solving from Nature - PPSN X - 10th International Conference, Proceedings. Vol. 5199 LNCS. p. 869-878 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5199 LNCS).

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

  • Report on the tenth ICFP programming contest

    Dolstra, E., Hage, J., Heeren, B., Holdermans, S., Jeuring, J., Löh, A., Löh, C., Middelkoop, A., Rodriguez, A. & van Schie, J., 20 Sept 2008, Proceedings of the 13th ACM SIGPLAN international conference on Functional programming: ICFP '08. Association for Computing Machinery, p. 397-408 12 p.

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

  • Reuse through requirements traceability

    Pooley, R. & Warren, C., 2008, Proceedings - The 3rd International Conference on Software Engineering Advances, ICSEA 2008, Includes ENTISY 2008: International Workshop on Enterprise Information Systems. p. 65-70 6 p.

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

    7 Citations (Scopus)

  • Safety Guarantees from Explicit Resource Management

    Aspinall, D., Maier, P. & Stark, I., 2008, Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007; Amsterdam, The Netherlands, October 24-26, 2007; Revised Lectures. Springer, Vol. 5382. p. 52-71 20 p. (Lecture Notes in Computer Science).

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

    2 Citations (Scopus)

  • Security of an RFID protocol for supply chains

    van Deursen, T. & Radomirović, S., 2 Dec 2008, 2008 IEEE International Conference on e-Business Engineering. IEEE, p. 568-573 6 p.

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

    15 Citations (Scopus)

  • Speckle modelization in OCT images for skin layers segmentation

    Mcheik, A., Tauber, C., Batatia, H., George, J. & Lagarde, J. M., 2008, 3rd International Conference on Computer Vision Theory and Applications. SciTePress, Vol. 1. p. 347-350 4 p.

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

    Open Access
    11 Citations (Scopus)

  • Speech interaction with an emotional robotic dog

    Jones, C. M. & Deeming, A., 2008, INTERSPEECH 2008 - 9th Annual Conference of the International Speech Communication Association. p. 1212-1215 4 p.

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

    1 Citation (Scopus)

  • Spoken Language Understanding in dialogue systems, using a 2-layer Markov Logic Network: improving semantic accuracy

    Meza-Ruiz, I., Riedel, S. & Lemon, O., 2008, Proceedings of the 12th Workshop on the Semantics and Pragmatics of Dialogue (LONDIAL’08).

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

  • The essence of form abstraction

    Cooper, E., Lindley, S., Wadler, P. & Yallop, J., 2008, Programming Languages and Systems: APLAS 2008. Springer, p. 205-220 16 p. (Lecture Notes in Computer Science; vol. 5356).

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

    17 Citations (Scopus)

  • The "fair acceptance and optimized allocation" algorithm for parking space arrangement

    Pour, H. B. & Ghomi, H. R., 2008, Proceedings of the 2008 International Conference on Information and Knowledge Engineering, IKE 2008. p. 211-216 6 p.

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

  • The roles of haptic-ostensive referring expressions in cooperative, task-based human-robot dialogue

    Foster, M. E., Bard, E. G., Hill, R. L., Guhe, M., Oberlander, J. & Knoll, A., 2008, Proceedings of the 3rd ACM/IEEE International Conference on Human Robot Interaction (HRI 2008). Association for Computing Machinery, p. 295-302 8 p.

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

    39 Citations (Scopus)

  • The simplest evolution/learning hybrid: LEM with KNN

    Sheri, G. & Corne, D. W., 2008, 2008 IEEE Congress on Evolutionary Computation, CEC 2008. p. 3244-3251 8 p.

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

    9 Citations (Scopus)

  • Towards a reference model for m-commerce over ad hoc wireless networks

    Osman, H. & Taylor, H., 2008, Proceedings of E-Activity And Leading Technologies 2008. Munoz, M. & Cravo, P. (eds.). International Association for Scientific Knowledge, p. 223-232 10 p.

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

    Open Access
    File
    177 Downloads (Pure)

  • Untraceability of RFID protocols

    van Deursen, T., Mauw, S. & Radomirović, S., 2008, Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks: WISTP 2008. Springer, p. 1-15 15 p. (Lecture Notes in Computer Science; vol. 5019).

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

    53 Citations (Scopus)