School of Mathematical & Computer Sciences

Filter
Conference contribution

Search results

  • 2005

    An approach for handling positional uncertainty in distributed spatial objects

    Dreza, O. M. A. & Williams, H., May 2005, Proceedings of GIS PLANET 2005, Estoril, Portugal. p. 1-9 9 p.

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

  • Ant colony robot motion planning

    Mohamad, M. M., Dunnigan, M. W. & Taylor, N. K., 2005, Eurocon 2005: The International Conference on Computer as a Tool, Vol 1 and 2 , Proceedings. NEW YORK: IEEE, Vol. I. p. 213-216 4 p.

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

    26 Citations (Scopus)

  • Are high-level languages suitable for robust telecoms software?

    Nystrom, J., Trinder, P. W. & King, D. J., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3688 LNCS. p. 275-288 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3688 LNCS).

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

    5 Citations (Scopus)

  • A robust active contour initialization and gradient vector flow for ultrasound image segmentation

    Tauber, C., Batatia, H. & Ayache, A., 2005, Proceedings of the 9th IAPR Conference on Machine Vision Applications. IAPR, p. 164-167 4 p.

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

    8 Citations (Scopus)

  • A robust speckle reducing anisotropic diffusion

    Tauber, C., Batatia, H. & Ayache, A., 18 Apr 2005, 2004 International Conference on Image Processing. IEEE, p. 247-250 4 p.

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

    32 Citations (Scopus)

  • A service-oriented personalization mechanism in pervasive environments

    Yang, Y., Williams, H., MacKinnon, L. M. & Pooley, R., 2005, Proceedings - 2005 IEEE/WIC/ACM InternationalConference on Web Intelligence, WI 2005. Vol. 2005. p. 132-135 4 p.

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

    4 Citations (Scopus)

  • A survey of current state-of-the art support for lifelong learning

    Graven, O. H. & MacKinnon, L., 2005, Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006. Vol. 2005. p. F2C-19-F2C-25

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

    12 Citations (Scopus)

  • Automatic annotation of COMMUNICATOR dialogue data for learning dialogue strategies and user simulations

    Georgila, K., Lemon, O. & Henderson, J., 2005, DIALOR'05: Proceedings of the Ninth Workshop on the Semantics and Pragmatics of Dialogue. Gardent, C. & Gaiffe, B. (eds.). p. 61-68 8 p.

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

  • Bounded model checking of pointer programs

    Charatonik, W., Georgieva, L. & Maier, P., Aug 2005, Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings. Ong, L. (ed.). Vol. 3634. p. 397-412 16 p. (Lecture Notes in Computer Science; vol. 3634).

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

    4 Citations (Scopus)

  • Can two specular pixels calibrate photometric stereo?

    Drbohlav, O. & Chantler, M. J., 2005, Proceedings - 10th IEEE International Conference on Computer Vision, ICCV 2005. Vol. II. p. 1850-1857 8 p.

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

    58 Citations (Scopus)

  • Capturing Critical Information using The Wearable Intelligent Reporting Environment (WIRE)

    Orr, M., Hastie, H., Miksch, D., Flanders, J. & Corrado, C., 2005, Proc. of DHS S&T Partnership Conference. Boston, MA, USA

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

  • Classification and verification through the combination of the multi-layer perceptron and auto-association neural networks

    Iversen, A., Taylor, N. K. & Brown, K. E., 27 Dec 2005, Proceedings of the 2005 IEEE International Joint Conference on Neural Networks. IEEE, p. 1166-1171 6 p.

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

    11 Citations (Scopus)

  • Computer-assisted and customer-oriented requirements elicitation

    Li, K., Dewar, R. G. & Pooley, R. J., 2005, Proceedings of the IEEE International Conference on Requirements Engineering: 13th IEEE International Conference on Requirements Engineering, RE 2005; Paris; France; 29 August 2005 through 2 September 2005. p. 479-480 2 p. (Proceedings of the IEEE International Conference on Requirements Engineering).

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

    12 Citations (Scopus)

  • Description logics for shape analysis

    Georgieva, L. & Maier, P., Sept 2005, 3rd IEEE International Conference on Software Engineering and Formal Methods: SEFM 2005; Koblenz, Germany, September 7-9, 2005; Proceedings. IEEE, p. 321-330 10 p.

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

    9 Citations (Scopus)

  • Detecting emotions in conversations between driver and in-car information systems

    Jones, C. M. & Jonsson, I. M., 2005, Affective Computing and Intelligent Interaction - First International Conference, ACII 2005, Proceedings. Vol. 3784 LNCS. p. 780-787 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3784 LNCS).

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

    12 Citations (Scopus)

  • Direct writing of digital images onto 3D surfaces

    Sung, R. C. W., Corney, J., Towers, D. P., Black, I., Hand, D. P., Clark, D. E. R. & Gross, M. S., 2005, Proc. of the ASME International Des. Eng. Tech. Conferences and Computers and Inf. in Engineering Conf. - DETC2005: ASME/IEEE International Conference on Mechatronic and Embedded Systems Appl.. Vol. 4. p. 365-374 10 p.

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

    2 Citations (Scopus)

  • Emergent Affective and Personality model

    Lim, M. Y., Aylett, R. & Jones, C. M., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3661 LNAI. p. 371-380 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3661 LNAI).

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

    8 Citations (Scopus)

  • Epithelial cell deformation during surfactant-mediated airway reopening: A theoretical model

    Jensen, O. E. & Naire, S., 2005, Proceedings of the 2005 Summer Bioengineering Conference, 2005 SBC. Vol. 2005. p. 405-406 2 p.

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

  • Exploring multimodality in the laboratory and the field

    Baillie, L. & Schatz, R., 2005, Proceedings of the 7th International Conference on Multimodal Interfaces. Association for Computing Machinery, p. 100-107 8 p.

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

    31 Citations (Scopus)

  • FearNot! - An experiment in emergent narrative

    Aylett, R. S., Louchart, S., Dias, J., Paiva, A. & Vala, M., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3661 LNAI. p. 305-316 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3661 LNAI).

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

    228 Citations (Scopus)

  • Frequency operators for condensative queries over data streams

    Lisha, M. & Nutt, W., 2005, Proceedings - ICEBE 2005: IEEE International Conference on e-Business Engineering. Vol. 2005. p. 518-525 8 p.

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

  • Fuzzy-based parameterized Gaussian edge detector using global and local properties

    See, J., Hanmandlu, M. & Vasikarla, S., 31 May 2005, International Conference on Information Technology: Coding and Computing (ITCC'05). IEEE, Vol. 2. p. 101-106 6 p.

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

    7 Citations (Scopus)

  • Gathering requirements for multimodal mobile applications

    Baillie, L., Simon, R., Schatz, R., Wegscheider, F. & Anegg, H., 2005, Proceedings of the 27th International Conference on Information Technology Interfaces. IEEE, p. 255-260 6 p.

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

    2 Citations (Scopus)

  • Graph-based proof counting and enumeration with applications for program fragment synthesis

    Wells, J. B. & Yakobowski, B., 2005, In Logic Based Program Synthesis & Transformation, 14th Int'l Symp., LOPSTR 2004, August 2004, Revised Selected Papers, Verona, Italy. LNCS, Springer-Verlag..

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

  • Human-computer dialogue simulation using hidden Markov models

    Cuayáhuitl, H., Renals, S., Lemon, O. & Shimodaira, H., 2005, Automatic Speech Recognition and Understanding, 2005 IEEE Workshop on. IEEE, p. 290-295 6 p.

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

    87 Citations (Scopus)

  • Hybrid reinforcement/supervised learning for dialogue policies from COMMUNICATOR data

    Henderson, J., Lemon, O. & Georgila, K., 2005, Proceedings of IJCAI workshop on Knowledge and Reasoning in Practical Dialogue Systems. p. 68-75 8 p.

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

  • Improved understanding of positive velocity dependency of gas-condensate relative permeability

    Jamiolahmady, M., Danesh, A. & Duncan, D. B., 2005, Proceedings of the 7th World Congress of Chemical Engineering on CD-ROM. Institution of Chemical Engineers

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

  • Learning user simulations for information state update dialogue systems

    Georgila, K., Henderson, J. & Lemon, O., 2005, Proceedings of the Ninth European Conference on Speech Communication and Technology. p. 893-896 4 p.

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

    55 Citations (Scopus)

  • Managing a non-linear scenario - A narrative evolution

    Louchart, S. & Aylett, R., 2005, Virtual Storytelling: Using Virtual Reality Technologies for Storytelling - Third International Conference, ICVS 2005, Proceedings. Vol. 3805 LNCS. p. 148-157 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3805 LNCS).

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

    6 Citations (Scopus)

  • Markov chain monte carlo algorithms for 3D ranging and imaging

    Hernandez-Marin, S., Wallace, A. M. & Gibson, G. J., 2005, Proceedings of the Ninth Conference on Machine Vision Applications: May 16-18, 2005, Tsukuba Science City, Japan. The University of Tokyo, p. 193-196 4 p.

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

    8 Citations (Scopus)

  • Model-Checking of Specifications Integrating Processes, Data and Time

    Hoenicke, J. & Maier, P., Jul 2005, FM 2005: Formal Methods: International Symposium of Formal Methods Europe; Newcastle, UK, July 18-22, 2005; Proceedings. Fitzgerald, J., Hayes, I. J. & Tarlecki, A. (eds.). Springer, Vol. 3582. p. 465-480 16 p. (Lecture Notes in Computer Science).

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

    17 Citations (Scopus)

  • Modified particle swarm optimization based on space transformation for solving traveling salesman problem

    Pang, W., Wang, K., Zhou, C., Dong, L., Liu, M., Zhang, H. & Wang, J., Jan 2005, Proceedings of 2004 International Conference on Machine Learning and Cybernetics. IEEE, 5 p.

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

  • Modifying spectral envelope to synthetically adjust voice quality and articulation parameters for emotional speech synthesis

    Shao, Y., Wang, Z., Han, J. & Liu, T., 2005, Affective Computing and Intelligent Interaction: First International Conference, ACII 2005, Beijing, China, October 22-24, 2005, Proceedings. Tao, J., Tan, T. & Picard, R. W. (eds.). p. 334-341 8 p. (Lecture Notes in Computer Science; vol. 3784).

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

    4 Citations (Scopus)

  • On optimal light configurations in photometric stereo

    Drbohlav, O. & Chantler, M., 2005, Proceedings - 10th IEEE International Conference on Computer Vision, ICCV 2005. Vol. II. p. 1707-1712 6 p.

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

    64 Citations (Scopus)

  • Reinforcement learning of dialogue strategies using the user's last dialogue act

    Frampton, M. & Lemon, O., 2005, Proceedings of IJCAI workshop on Knowledge and Reasoning in Practical Dialogue Systems. p. 83-90 8 p.

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

  • Robust B-spline snakes for ultrasound image segmentation

    Tauber, C., Batatia, H., Morin, G. & Ayache, A., 11 Jul 2005, Computers in Cardiology 2004. IEEE, p. 325-328 4 p. (Computers in Cardiology; vol. 31).

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

    17 Citations (Scopus)

  • Rolling, rotating and imagining in a virtual mobile world

    Baillie, L., Kunczier, H. & Anegg, H., 2005, Proceedings of the 7th International Conference on Human Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, p. 283-286 4 p.

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

    11 Citations (Scopus)

  • Second-order matching via explicit substitutions

    De Moura, F. L. C., Kamareddine, F. & Ayala-Rincón, M., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3452 LNAI. p. 433-448 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3452 LNAI).

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

    3 Citations (Scopus)

  • Shrinking reductions in SML.NET

    Benton, N., Kennedy, A., Lindley, S. & Russo, C., 2005, Implementation and Application of Functional Languages: IFL 2004. Springer, p. 142-159 18 p. (Lecture Notes in Computer Science; vol. 3474).

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

    9 Citations (Scopus)

  • Strategic information systems alignment a decision support application for the Internet era

    Lanc, D. & Mackinnon, L., 2005, ICEIS 2005 - Proceedings of the 7th International Conference on Enterprise Information Systems. p. 100-110 11 p.

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

  • Stream integration techniques for grid monitoring

    Cooke, A., Gray, A. J. G. & Nutt, W., 2005, Journal on Data Semantics II. Vol. 3360 LNCS. p. 136-175 40 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3360 LNCS).

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

    8 Citations (Scopus)

  • Stream operators for querying data streams

    Ma, L., Viglas, S. D., Li, M. & Li, Q., 2005, Advances in Web-Age Information Management - 6th International Conference, WAIM 2005, Proceedings. Vol. 3739 LNCS. p. 404-415 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3739 LNCS).

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

    4 Citations (Scopus)

  • The Mini-Superambitwistor Space

    Saemann, C., 24 Nov 2005, Proceedings of International Workshop on Supersymmetries and Quantum Symmetries (SQS'05), 27-31 Jul 2005. Dubna, Moscow region, Russia . p. 407-414

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

  • Type Class Directives

    Heeren, B. & Hage, J., 2005, Practical Aspects of Declarative Languages. PADL 2005. Hermenegildo, M. & Cabeza, D. (eds.). Springer, p. 253-267 15 p. (Lecture Notes in Computer Science; vol. 3350).

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

    13 Citations (Scopus)

  • User cognitive style and interface design for personal, adaptive learning, what to model?

    Uruchrutu, E., MacKinnon, L. & Rist, R., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3538 LNAI. p. 154-163 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3538 LNAI).

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

    10 Citations (Scopus)

  • Verifying the correctness of hume programs - An approach combining deductive and algorithmic reasoning

    Grov, G., 2005, Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005. p. 444-447 4 p.

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

    1 Citation (Scopus)
  • 2004

    A holistic information systems strategy for organisational management (HISSOM), applied to Europe's largest bancassurer

    Lanc, D. & MacKinnon, L., 2004, ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems. p. 427-437 11 p.

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

    1 Citation (Scopus)

  • An Adaptive Speech Recognizer that Learns using Short and Long Term Memory

    Hastie, H. W. & Daniels, J. J., 2004, Proceedings of the Nineteenth National Conference on Artificial Intelligence, San Jose, California: AAAI-04.

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

  • A supportive multimodal mobile robot for the home

    Baillie, L., Pucher, M. & Képesi, M., 2004, User-Centered Interaction Paradigms for Universal Access in the Information Society. UI4ALL 2004. Springer, p. 375-383 9 p. (Lecture Notes in Computer Science; vol. 3196).

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

    3 Citations (Scopus)

  • A surface partitioning spectrum (SPS) for retrieval and indexing of 3D CAD models

    Rea, H. J., Corney, J. R., Clark, D. E. R. & Taylor, N. K., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. Aloimonos, Y. & Taubin, G. (eds.). LOS ALAMITOS: IEEE, p. 167-174 8 p.

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

    15 Citations (Scopus)