School of Computing, Engineering & Digital Technologies

Filter
Conference contribution

Search results

  • 2004

    Online Scheduling Algorithms for CDMA Data Networks

    Razzaque, M. A., 28 Nov 2004, Proceedings of the International Conference on Information and Computer Science (ICICS 2004).

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

  • Qualitative physics in virtual environments

    Cavazza, M., Hartley, S., Lugrin, J.-L. & Le Bras, M., 2004, Proceedings of the 9th international conference on intelligent user interfaces. ACM, p. 54-61

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

    Open Access
    File
    246 Downloads (Pure)

  • Region inference for an object-oriented language

    Chin, W.-N., Craciun, F., Qin, S. & Rinard, M., 2004, Proceedings of the 2004 ACM SIGPLAN conference on programming language design and implementation. New York: ACM, p. 243-254

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

    Open Access
    File
    349 Downloads (Pure)

  • Reusable e-learning development: Case studies, practices and issues of awareness for knowledge-based organisations

    Chang, V., 30 Aug 2004, ITRE 2004 - 2nd International Conference on Information Technology: Research and Education - Proceedings. IEEE

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

  • Timed patterns: TCOZ to timed automata

    Dong, J. S., Hao, P., Qin, S., Sun, J. & Yi, W., 2004, Formal methods and software engineering. Springer Verlag, p. 483-498

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

    Open Access
    File
    113 Downloads (Pure)

  • Web engineering in Internet degrees

    Griffiths, G., Lockyer, M. A., Oates, B. J. & Hebbron, B., 1 Dec 2004, ITRE 2004 - 2nd International Conference on Information Technology: Research and Education - Proceedings. Boyle, T., Oriogun, P. & Pakstas, A. (eds.). p. 218-222 5 p.

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

  • 2003

    Alternative reality: A new platform for virtual reality art

    Cavazza, M., Hartley, S., Lugrin, J.-L. & Le Bras, M., 2003, Proceedings of the ACM symposium on virtual reality software and technology. New York: ACM, p. 100-107

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

    Open Access
    File
    311 Downloads (Pure)

  • Alternative reality: Qualitative physics for digital arts

    Cavazza, M., Hartley, S., Lugrin, J.-L. & Le Bras, M., 2003, Proceedings of the 17th international workshop on qualitative reasoning. p. 47-54

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

    Open Access
    File
    60 Downloads (Pure)

  • An improved parallel architecture for MPEG-4 motion estimation in 3G mobile applications

    Xu, D., Gao, R. & Batatia, H., 2003, Proceedings of the International Conference on Multimedia and Expo. Vol. 3. p. 441-444

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

    Open Access
    File
    251 Downloads (Pure)

  • A Semantic Foundation for TCOZ in Unifying Theories of Programming

    Qin, S., Dong, J. S. & Chin, W.-N., 2003, FME 2003: Formal Methods. Springer Berlin, p. 321-340 (Lecture Notes in Computer Science; vol. 2805).

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

  • A teaching method & tool for Web engineering

    Lockyer, M. A., Griffiths, G., Hebbron, B. & Oates, B. J., 1 Dec 2003, Proceedings - 3rd IEEE International Conference on Advanced Learning Technologies, ICALT 2003. p. 284-285 2 p. 1215085

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

    2 Citations (Scopus)

  • Interactive storytelling: from AI experiment to new media

    Cavazza, M., Charles, F. & Mead, S., 2003, Proceedings of the second international conference on Entertainment computing: ICEC '03 . ACM, p. 1-8 (ACM international conference proceeding series; vol. 38).

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

  • Mapping Statecharts to Verilog for Hardware/Software Co-specification

    Qin, S. & Chin, W.-N., 2003, FME 2003: Formal Methods. Springer Berlin, p. 282-300

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

  • Planning formalisms and authoring in interactive storytelling

    Charles, F., Lozano, M., Mead, S., Bisquerra, A. F. & Cavazza, M., 26 Mar 2003, Technologies for interactive digital storytelling and entertainment, TIDSE 03 proceedings. Fraunhofer IRB Verlag, 10 p.

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

    Open Access
    File
    357 Downloads (Pure)

  • The Equivalence of Statecharts

    Long, Q., Qiu, Z. & Qin, S., 2003, Formal Methods and Software Engineering. ICFEM 2003. Dong, J. S. & Woodcock, J. (eds.). Springer Berlin, p. 125-143 (Lecture Notes in Computer Science; vol. 2885).

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

  • Theoretical and experimental studies of the spatial sensitivity of circular electrostatic PF meters

    Zhang, J., Coulthard, J. M., Cheng, R. & Armstrong, B., 2003, Proceedings of the 2003 5th International Symposium on Coal Combustion. p. 526-528

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

    Open Access
    File
    42 Downloads (Pure)

  • User interaction in mixed reality interactive storytelling

    Cavazza, M., Martin, O., Charles, F., Marichal, X. & Mead, S., 2003, Proceedings of the 2nd IEEE/ACM International Symposium on Mixed and Augmented Reality. Washington, DC: IEEE, 2 p.

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

    Open Access
    File
    301 Downloads (Pure)

  • Users acting in mixed reality interactive storytelling

    Cavazza, M., Martin, O., Charles, F., Mead, S. & Marichal, X., 2003, Virtual storytelling. Berlin: Springer, Vol. 2897. p. 189-197 (Lecture notes in computer science; vol. 2897).

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

    Open Access
    File
    268 Downloads (Pure)

  • Using a web-based repository to support group projects

    Lockyer, M. A., Griffiths, G., Hebbron, B. & Oates, B. J., 1 Dec 2003, Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education. p. 467-472 6 p.

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

  • Virtual unreality: Storytelling in virtual environments

    Cavazza, M., 2003, Proceedings of the ACM symposium on virtual reality software and technology. New York: ACM, p. 4-6

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

    Open Access
    File
    206 Downloads (Pure)
  • 2002

    A parallel processing engine for motion estimation in MPEG-4 multimedia applications

    Xu, D., Bentley, J. & Gao, R., 2002, Advances in Multimedia, Video and Signal Processing Systems. Mastorakis, N. & Kleuv, V. (eds.). WSEAS (World Scientific and Engineering Academy and Society) Press

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

  • A simple method & tool for web engineering

    Griffiths, G., Hebbron, B., Lockyer, M. A. & Oates, B. J., 1 Dec 2002, Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, SEKE '02. Vol. 27. p. 755-762 8 p.

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

    1 Citation (Scopus)

  • Development of an integrated information resource base for 4D/VR construction process simulation & visualisation

    Dawood, N., Sriprasert, E., Mallasi, Z. & Hobbs, B., 14 Jun 2002, Conference Proceedings – distributing knowledge in building. International Council for Research and Innovation in Building and Construction, p. 123-131

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

    Open Access
    File
    86 Downloads (Pure)

  • Emergent situations in interactive storytelling

    Cavazza, M., Charles, F. & Mead, S., 2002, Proceedings of the 2002 ACM symposium on applied computing. Lamont, G. (ed.). New York: ACM, p. 1080-1085

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

    Open Access
    File
    315 Downloads (Pure)

  • Explosive impact on real-time deformable terrain

    Wan, T. R. & Tang, W., 2002, CGI 2002 proceedings. Springer Verlag, p. 247-265

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

  • Hardware/Software Partitioning in Verilog

    Qin, S., He, J., Qiu, Z. & Zhang, N., 10 Oct 2002, Formal Methods and Software Engineering. ICFEM 2002. George, C. & Miao, H. (eds.). Springer Berlin, p. 168-179 (Lecture Notes in Computer Science; vol. 2495).

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

  • Lean enterprise web-based information system for construction (LEWIS): a framework

    Sriprasert, E. & Dawood, N., 14 Jun 2002, CIB w78 conference. International Council for Research and Innovation in Building and Construction, 8 p.

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

    Open Access
    File
    62 Downloads (Pure)

  • Registering space requirements of construction operations using site-PECASO model

    Mallasi, Z. & Dawood, N., 14 Jun 2002, Conference Proceedings – distributing knowledge in building. International Council for Research and Innovation in Building and Construction, 8 p.

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

    Open Access
    File
    96 Downloads (Pure)

  • Sex, lies, and video games: An interactive storytelling prototype

    Cavazza, M., Charles, F. & Mead, S., 2002, AAAI Spring symposium on AI and interactive entertainment. AAAI, p. 13-17

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

    Open Access
    File
    36 Downloads (Pure)

  • The design of a tool-supported graphical notation for timed CSP

    Brooke, P. J. & Paige, R. F., 2002, Integrated Formal Methods: IFM 2002. Butler , Petre & Sere (eds.). Berlin: Springer, p. 299-318 (Lecture Notes in Computer Science; vol. 2335).

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

  • Under the influence: Using natural language in interactive storytelling

    Cavazza, M., Charles, F. & Mead, S., 2002, IFIP conference proceedings. Nakatsu, R. & Hoshino, J. (eds.). Wolters Kluwer Medknow Publications, Vol. 240. p. 3-11

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

    Open Access
    File
    126 Downloads (Pure)
  • 2001

    Agents’ interaction in virtual storytelling

    Cavazza, M., Charles, F. & Mead, S., 2001, Intelligent Virtual Agents. Springer Berlin, p. 156-170 (Lecture notes in computer science; vol. 2190).

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

    Open Access
    File
    233 Downloads (Pure)

  • AI-based animation for interactive storytelling

    Cavazza, M., Charles, F. & Mead, S., 2001, Proceedings of computer animation. Ko, H.-S. (ed.). Washington: IEEE, p. 113-120

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

  • A VLSI-based parallel architecture for block-matching motion estimation in video coding applications

    Xu, D., Noras, J. & Booth, W., 2001, Progress in computer research. Columbus, F. (ed.). Nova Science Publishers

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

  • Character-driven story generation in interactive storytelling

    Charles, F., Mead, S. & Cavazza, M., 1 Jan 2001, Proceedings - 7th International Conference on Virtual Systems and Multimedia, VSMM 2001. Thwaites, H. & Addison, L. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 609-615 7 p. 969719

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

    13 Citations (Scopus)

  • Characters in search of an author: Ai-based virtual storytelling

    Cavazza, M., Charles, F. & Mead, S., 1 Jan 2001, Virtual Storytelling-Using Virtual Reality Technologies for Storytelling-International Conference ICVS 2001, Proceedings. Balet, O., Torguet, P. & Subsol, G. (eds.). Springer Verlag, p. 145-154 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2197).

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

    32 Citations (Scopus)

  • Constructing hardware/software interface using protocol converters

    Qin, S., Qiu, Z. & He, J., 2001, Second Asia-Pacific conference on quality software, Proceedings. IEEE, p. 141-148

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

    Open Access
    File
    187 Downloads (Pure)

  • Non-instructional linguistic communication with virtual actors

    Cavazza, M., Charles, F. & Mead, S., 2001, Robot and human interactive communication, proceedings. New York: IEEE, p. 26-31

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

    Open Access
    File
    176 Downloads (Pure)

  • Partitioning program into hardware and software

    Qin, S. & He, J., 2001, Proceedings of the Asia-Pacific software engineering conference and international computer science conference. IEEE, p. 309-316

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

    Open Access
    File
    204 Downloads (Pure)

  • VLSI-based parallel architecture for block-matching motion estimation in low bit-rate video coding

    Xu, D. & Bentley, J., 2001, ICECS 2001: 8th IEEE international conference on electronics, circuits and systems. Vol. I-III. p. 217-220

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

    Open Access
    File
    200 Downloads (Pure)
  • 2000

    An algebraic approach to hardware/software partitioning

    Qin, S. & He, J., 2000, ICECS 2000: 7th IEEE international conference on electronics, circuits & systems. IEEE, Vol. 1. p. 273-276

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

    Open Access
    File
    181 Downloads (Pure)

  • An FPGA-based low-cost frame grabber for image processing applications

    Xu, D., Boussakta, S. & Bentley, J. P., 2000, ICECS 2000: 7th IEEE international conference on electronics, circuits & systems. Vol. I-II. p. 333-336

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

    Open Access
    File
    309 Downloads (Pure)

  • A simulation model to manage and optimise stockyard layout: a case study in precast concrete products industry

    Marasini, R. & Dawood, N. N., 2000, Proceedings of the 16th Annual ARCOM Conference. Akintoye, A. (ed.). Association of Researchers in Construction Management, p. 527-536

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

  • Interactive storytelling in virtual environments: building the “Holodeck”

    Cavazza, M., Aylett, R., Dautenhahn, K., Fencott, C. & Charles, F., 2000, Proceedings of VSMM 2000. Ohmsha Ltd., p. 678-687

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

  • Simulation approach to optimise stockyard layout: a case study in precast concrete products industry

    Marasini, R. & Dawood, N., 30 Jun 2000, Construction Information Technology 2000 Taking the construction industry into the 21st century. CIB, 10 p.

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

    Open Access
    File
    73 Downloads (Pure)

  • Split-radix algorithm for the new Mersenne number transform

    Alshibami, O., Boussakta, S., Aziz, M. & Xu, D., Dec 2000, 7th IEEE international conference on electronics, circuits & systems, vols I and II. New York: IEEE, p. 583-586

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

    Open Access
    File
    295 Downloads (Pure)
  • 1999

    Speech driven natural language understanding for hands-busy recording of clinical information

    Barker, D. J., Lynch, S., Simpson, D. S. & Corbett, W. A., 1 Jan 1999, Artificial Intelligence in Medicine - Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM 1999, Proceedings. Horn, W., Lindberg, G., Wyatt, J., Andreassen, S. & Shahar, Y. (eds.). Springer Verlag, p. 411-415 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1620).

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

    3 Citations (Scopus)