Items where Department is "Computer Science"

Journal Article

Cohen, D., Cooper, M., Jeavons, P. and Krokhin, Andrei (2004) A maximal tractable class of soft constraints. Journal of Artificial Intelligence Research, Volume 22 . pp. 1-22. doi:10.1613/jair.1400 ISSN 1076-9757.

Cristea, Alexandra I. (2004) Innovations in advanced technology for learning : authoring for adaptive educational hypermedia. Advanced Technology For Learning, Volume 1 (Number 4). ISSN 1710-2251.

Cristea, Alexandra I. (2004) Is semi-automatic authoring of adaptive educational hypermedia possible? Advanced Technology For Learning, Volume 1 (Number 4). pp. 227-236. ISSN 1710-2251.

Cristea, Alexandra I. (2004) What can the semantic web do for adaptive educational hypermedia? Educational Technology and Society, Volume 7 (Number 4). pp. 40-58. ISSN 1436-4522.

Cristea, Alexandra I. and Cristea, P. (2004) Evaluation of adaptive hypermedia authoring patterns during a Socrates programme class. Advanced Technology For Learning, Volume 1 (Number 2). pp. 115-124. ISSN 1710-2251.

Dyer, Martin, Goldberg, Leslie Ann, Greenhill, Catherine and Jerrum, Mark (2004) The relative complexity of approximate counting problems. Algorithmica, Volume 38 (Number 3). pp. 471-500. doi:10.1007/s00453-003-1073-y ISSN 0178-4617.

Goldberg, Leslie Ann, Kelk, Steven and Paterson, Mike (2004) The complexity of choosing an H-coloring (nearly) uniformly at random. SIAM Journal on Computing, Volume 33 (Number 2). pp. 416-432. doi:10.1137/S0097539702408363 ISSN 0097-5397.

He, Ligang, Jarvis, Stephen A., Spooner, Daniel P. and Nudd, G. R. (2004) Dynamic, capability-driven scheduling of DAG-based real-time jobs in heterogeneous cluster. International Journal of High Performance Computing and Networking (IJHPCN), Volume 2 (Number 2-4). pp. 165-177. doi:10.1504/IJHPCN.2004.008901 ISSN 1740-0562.

Ironya, Dror, Sivan, Toledo and Tiskin, Alexander (2004) Communication lower bounds for distributed-memory matrix multiplication. Journal of Parallel and Distributed Computing, Volume 64 (Number 9). pp. 1017-1026. doi:10.1016/j.jpdc.2004.03.021 ISSN 0743-7315.

Joy, Mike and Griffiths, Nathan (2004) The BOSS online submission system. Forum, Volume 26 . p. 15.

Li, Chang-Tsun (2004) Digital fragile watermarking scheme for authentication of JPEG images. Vision, Image and Signal Processing, IEE Proceedings , Volume 151 (Number 6). pp. 460-466. doi:10.1049/ip-vis:20040812 ISSN 1350-245X.

Martin, J. M. R and Tiskin, Alexander (2004) Dynamic BSP : towards a flexible approach to parallel computing over the grid. Communicating Process Architectures . pp. 219-226. ISSN 1383-7575.

Rajpoot, Nasir M., Wilson, Roland, Meyer, F. G. and Coifman, R. R. (2004) Adaptive wavelet packet basis selection for zerotree image coding. IEEE Transactions on Image Processing, Volume 12 (Number 12). pp. 1460-1472. doi:10.1109/TIP.2003.818115 ISSN 1057-7149.

White, D. R. and Joy, Mike (2004) Sentence-based natural language plagiarism detection. ACM Journal on Educational Resources in Computing, Volume 4 (Number 4). pp. 1-20. Article number 2. doi:10.1145/1086339.1086341

Wilson, Roland and Li, Chang-Tsun (2004) A class of discrete multiresolution random fields and its application to image segmentation. IEEE Transactions on Pattern Analysis and Machine Intelligence, Volume 25 (Number 1). pp. 42-56. ISSN 0162-8828.

Book Item

Anderson, Stuart, Hardstone, Gillian, Procter, Rob and Williams, Robin (2004) Down in the (data)base(ment) : supporting configuration in organisational information systems. In: Resources, Co-Evolution and Artifacts. Computer Supported Cooperative Work . London, UK.: Springer, pp. 221-253. ISBN 9781846289002

Bra, Paul M. E. de, Aroyo, Lora and Cristea, Alexandra I. (2004) Adaptive web-based educational hypermedia. In: Levene, M. and Poulovassilis, A., (eds.) Web Dynamics, Adapting to Change in Content, Size, Topology and Use. Springer-Verlag, pp. 387-410. ISBN 9783662108741

Dimovski, Aleksandar and Lazic, Ranko (2004) CSP representation of game semantics for second-order idealized Algol. In: Davies, J. and Schulte, W. and Barnett, M., (eds.) Formal Methods and Software Engineering. Lecture Notes in Computer Science, Volume 3308 . Springer Berlin Heidelberg, pp. 146-161. ISBN 9783540238416

Dyson, J. R. D., Griffiths, Nathan, Lim Choi Keung, Hélène Niuklan, Jarvis, Stephen A. and Nudd, G. R. (2004) Trusting agents for grid computing. In: UNSPECIFIED IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, CONFERENCE PROCEEDINGS . IEEE, pp. 3187-3192. ISBN 0780385667

Joy, Mike (2004) Automating the process of skills-based assessment. In: Irons, A. and Alexander, S., (eds.) Effective Learning and Teaching in Computing. Effective Learning and Teaching in Higher Education . Routledge, pp. 76-85. ISBN 9780415335010

Rajpoot, Kashif and Rajpoot, Nasir M. (Nasir Mahmood) (2004) SVM optimization for hyperspectral colon tissue cell classification. In: Barillot, C. and Haynor, D. R. and Hellier, P., (eds.) Medical Image Computing and Computer-Assisted Intervention – MICCAI 2004. Lecture Notes in Computer Science, Volume 3217 (Part 2). Springer Berlin Heidelberg, pp. 829-837. ISBN 978354022977

Conference Item

Bacigalupo, David A., Jarvis, Stephen A., He, Ligang and Nudd, G. R. (2004) An investigation into the application of different performance techniques to e-commerce applications. In: Workshop on Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems (PMEO'04), Santa Fe, New Mexico, USA, 26-30 Apr 2004

Chao, K. -M., Younas, M., Griffiths, Nathan, Awan, I. and Anane, R. (2004) Analysis of grid service composition with BPEL4WS. In: 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka, Japan, 29-31 Mar 2004. Published in: Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Volume 1 pp. 284-289. ISBN 0769520510.

Clarke, Karen, Rooksby, John, Rouncefield, Mark, Procter, Rob and Slack, Roger (2004) Healthcare information giving services : technologies and everyday practicalities. In: Healthcare Digital Libraries Workshop - HDL 2004, Bath, 16 Sep 2004. Published in: Proceedings of the Healthcare and Digital Libraries Workshop

Cristea, Alexandra I. (2004) Adaptive course creation for all. In: International Conference on Information Technology: Coding and Computing (ITCC 2004), Las Vegas, US, 5-7 Apr 2004. Published in: International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004. , Volume 1 pp. 718-722. ISBN 0769521088. doi:10.1109/ITCC.2004.1286552

Cristea, Alexandra I. (2004) Authoring of adaptive and adaptable educational hypermedia : where are we now and where are we going? In: International Conference in Web-Based Education (WBE 2004), Innsbruck, Austria, 16-18 Feb 2004. Published in: Web-based Education (WBE 2004) ISBN 0889864063. ISSN 1482-7905.

Cristea, Alexandra I. (2004) Evaluating adaptive hypermedia authoring while teaching adaptive systems. In: ACM Symposium on Applied Computing (SAC 2004), Nicosia, Cyprus, 14-17 Mar 2004. Published in: Proceedings of the 2004 ACM symposium on Applied computing pp. 929-934. ISBN 1581138121.

Cristea, Alexandra I. and Garzotto, F. (2004) Designing patterns for adaptive or adaptable educational hypermedia : a taxonomy. In: World Conference on Educational Multimedia, Hypermedia and Telecommunications (ED-MEDIA 2004), Lugano, Switzerland pp. 808-813.

Cristea, Alexandra I. and Verschoor, M. (2004) The LAG grammar for authoring the adaptive web. In: International Conference on Information Technology: Coding and Computing (ITCC 2004), Las Vegas, US, 5-7 Apr 2004. Published in: International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004. , Volume 1 pp. 382-386. ISBN 0769521088. doi:10.1109/ITCC.2004.1286484

Garzotto, F. and Cristea, Alexandra I. (2004) ADAPT major design dimensions for educational adaptive hypermedia. In: World Conference on Educational Multimedia, Hypermedia and Telecommunications (EDMEDIA 2004), Lugano, Switzerland pp. 1334-1339.

Hardstone, G., Hartswood, Mark, Procter, Rob, Rees, G., Slack, Roger S. and Voss, Alex (2004) Supporting informality : team working and integrated care records. In: CSCW '04 Computer Supported Cooperative Work, Chicago, USA, 6-10 Nov 2004. Published in: CSCW 2004 : computer supported cooperative work : conference proceedings, November 6-10, 2004, Chicago pp. 142-151. ISBN 1581138105.

He, Ligang, Jarvis, Stephen A., Spooner, Daniel P. and Nudd, G. R. (2004) Optimising static workload allocation in multiclusters. In: Proceedings of the 18th IEEE International Parallel and Distributed Processing Symposium (IPDPS'04), Santa Fe, New Mexico, USA, 26-30 Apr 2004. Published in: 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings. ISBN 0769521320.

Jirotka, M., Procter, Rob, Hinds, C., Coopmans, C., Soutter, J. and Lloyd, S. (2004) Challenges for innovation in healthcare : eDiaMoND, a digital mammography database for the UK. In: 4S & EASST conference, Paris, 24-28 Aug 2004

Jirotka, Marina, Procter, Rob, Hinds, C., Coopmans, Catelijne, Soutter, James and Lloyd, Sharon (2004) Towards understanding requirements for eScience : the eDiaMoND case study. In: UK e-Science All Hands Meeting (AHM 2004) , Nottingham, 31 Aug 3 Sep 2004

Joy, Mike (2004) Doctoral study in educational technology. In: 4th IEEE International Conference on Advanced Learning Technologies, Joensuu, Finland, 30 Aug - 01 Sep 2004. Published in: IEEE International Conference on Advanced Learning Technologies, 2004. Proceedings. pp. 1056-1057. ISBN 0769521819. doi:10.1109/ICALT.2004.1357750

Joy, Mike and Griffiths, Nathan (2004) Online submission of coursework - a technological perspective. In: 4th IEEE International Conference on Advanced Learning Technologies, Joensuu, Finland, 30 Aug - 01 Sep 2004. Published in: IEEE International Conference on Advanced Learning Technologies, 2004. Proceedings. pp. 430-434. ISBN 0769521819. doi:10.1109/ICALT.2004.1357451

Mahon, R., Chao, K. -M., Younas, M. and Griffiths, Nathan (2004) Cooperative design in grid services. In: 8th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2004), Xiamen, China, May 2004. Published in: in Proceedings of the 8th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2004 pp. 406-412. (Submitted)

Rajpoot, Kashif and Rajpoot, Nasir M. (Nasir Mahmood) (2004) Wavelets and support vector machines for texture classification. In: 8th IEEE International Multitopic Conference (INMIC 2004), Lahore, Pakistan, 24-26 Dec 2004. Published in: Proceedings of INMIC 2004. 8th International Multitopic Conference, 2004. pp. 328-333. ISBN 0780386809. doi:10.1109/INMIC.2004.1492898

Rajpoot, Kashif, Rajpoot, Nasir M. (Nasir Mahmood) and Turner, Martin J. (2004) Hyperspectral colon tissue cell classification. In: SPIE Medical Imaging (MI), US, 2004 (Unpublished)

Rajpoot, Nasir M., Hussain, Arshad, Ali, Usman, Saleem, Kashif and Qureshi, Mahmud (2004) A novel image coding algorithm using ant colony system vector quantization. In: International Workshop on Systems, Signals and Image Processing (IWSSIP 2004), Poznan, Poland, 13-15 Sep 2004 (Unpublished)

Rajpoot, Nasir M., Wilson, Roland and Yao, Zhen (2004) Planelets : a new analysis tool for planar feature extraction. In: International Workshop on Image Analysis for Multimedia Interactive Services (5th), Lisboa, Portugal, 21-23 Apr 2004 (Unpublished)

Rajpoot, Nasir M., Yao, Zhen and Wilson, Roland (2004) Adaptive wavelet restoration of noisy video sequences. In: International Conference on Image Processing (ICIP 2004), Singapore, 24-27 Oct 2004. Published in: 2004 International Conference on Image Processing, 2004. ICIP '04., Volume 2 pp. 957-960. ISBN 0780385543. ISSN 1522-4880.

Rajpoot, Nasir M. (Nasir Mahmood) (2004) Model based optimal bit allocation. In: Data Compression Conference (DCC 2004), Snowbird, UT, 23-25 Mar 2004. Published in: Data Compression Conference, 2004. Proceedings. DCC 2004 p. 558. ISBN 0769520820. ISSN 1068-0314.

Roe, Chris P. and Beynon, Meurig (2004) Computer support for constructionism in context. In: IEEE International Conference on Advanced Learning Technologies (ICALT 2004), Joensuu, Finland, 30 August - 1 September, 2004. Published in: IEEE International Conference on Advanced Learning Technologies, 2004. Proceedings. pp. 216-220. ISBN 0769521819. doi:10.1109/ICALT.2004.1357406

Sitthiworachart, Jirarat and Joy, Mike (2004) Effective peer assessment for learning computer programming. In: 9th Annual Conference on the Innovation and Technology in Computer Science Education (ITiCSE 2004), Leeds, UK, 28-30 Jun 2004. Published in: Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education pp. 122-126. ISBN 1581138369.

Sitthiworachart, Jirarat and Joy, Mike (2004) Using web-based peer assessment in fostering deep learning in computer programming. In: International Conference on Education and Information Systems - Technologies and Application, Orlando, FL, 21-25 Jul 2004. Published in: EISTA '04: International Conference on Education and Information Systems: Technologies and Applications, Proceedings, Volume 3 pp. 231-236. ISBN 9789806560116.

Sitthiworachart, Jirarat and Joy, Mike (2004) Web-based peer assessment system with an anonymous communication tool. In: 4th IEEE International Conference on Advanced Learning Technologies, Joensuu, Finland, 30 Aug - 01 Sep 2004. Published in: IEEE International Conference on Advanced Learning Technologies, 2004. Proceedings. pp. 918-919. ISBN 07695-21819. doi:10.1109/ICALT.2004.1357720

Sitthiworachart, Jirarat and Joy, Mike (2004) The evaluation of students’ marking in web-based peer assessment of learning computer programming. In: International Conference on Computers in Education (ICCE 2004), Melbourne, Australia, 30 Nov - 3 Dec 2004 pp. 1153-1163.

Stash, Natalia, Cristea, Alexandra I. and Bra, Paul M. E. de (2004) Authoring of learning styles in adaptive hypermedia : problems and solutions. In: 13th International World Wide Web Conference (WWW 2004), New York, US, 17 - 20 May 2004. Published in: Proceedings of the 13th international World Wide Web conference pp. 114-123. ISBN 1581139128.

Sun, Shanghua and Joy, Mike (2004) An multi-agent solution for student centred learning. In: Cognition and Exploratory Learning in Digital Age (CELDA), Lisbon, Portugal, 15-17 Dec 2004 pp. 533-534.

Ward, Ashley, Sitthiworachart, Jirarat and Joy, Mike (2004) Aspects of web-based peer assessment systems for teaching and learning computer programming. In: 3rd IASTED International Conference on Web-based Education (WBE 2004), Innsbruck, Austria, 16-18 Feb 2004. Published in: Proceedings of the IASTED International Conference on Web-Based Education pp. 292-297. ISBN 0889864063.

Williams, Robin, Bunduchi, R., Gerst, M., Graham, I., Pollock, N., Procter, Rob and Voss, Alex (2004) Understanding the evolution of standards : alignment and reconfiguration in standards development and implementation arenas. In: 4S & EASST conference, Paris, 24-28 Aug 2004 pp. 1-16.

Yao, Zhen and Rajpoot, Nasir M. (2004) Radon/ridgelet signature for image authentication. In: International Conference on Image Processing (ICIP 2004), Singapore, 24-27 Oct 2004. Published in: 2004 International Conference on Image Processing, 2004. ICIP '04., Volume 1 pp. 43-46. ISBN 0780385543. doi:10.1109/ICIP.2004.1418685 ISSN 1522-4880.

Yau, Jane Yin-Kim and Joy, Mike (2004) Adaptive learning and testing with learning objects. In: International Conference on Computers in Education (ICCE 2004), Melbourne, Australia, 30 Nov - 3 Dec 2004 pp. 1861-1865.

Yau, Jane Yin-Kim and Joy, Mike (2004) Introducing Java : the case for fundamentals-first. In: International Conference on Education and Information Systems - Technologies and Application, Orlando, FL, 21-25 Jul 2004. Published in: International Conference on Education and Information Systems, Technologies and Applications (EISTA 2004), Volume 2 pp. 229-234.

Younas, M., Chao, K. -M., Griffiths, Nathan, Anane, R. and Awan, I. (2004) Quality driven web services in mobile computing. In: 6th International Workshop on Multimedia Network Systems and Applications (MNSA 2004), , Tokyo, Japan, 23-26 Mar 2004. Published in: ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04), Volume 7 pp. 216-221. ISBN 0769520871.

Report

UNSPECIFIED (2004) Proceedings of the Third Program Visualization Workshop. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Berenbrink, Petra, Friedetzky, Thomas and Martin, R. (2004) Dynamic diffusion load balancing. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Berenbrink, Petra, Goldberg, Leslie Ann, Goldberg, Paul W. and Martin, R. (Russell) (2004) Utilitarian resource assignment. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Dimovski, Aleksandar and Lazic, Ranko (2004) CSP representation of game semantics for second-order idealized Algol. University of Warwick. Department of Computer Science. (Department of Computer Science research report).

Dimovski, Aleksandar and Lazic, Ranko (2004) Software model checking based on game semantics and CSP. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Dyer, Martin, Goldberg, Leslie Ann, Jerrum, Mark and Martin, R. (2004) Markov chain comparison. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Griffiths, Nathan (2004) Task delegation using experience-based multi-dimensional trust. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Griffiths, Nathan and Chao, Kuo-Ming (2004) Experience-based trust : enabling effective resource selection in a grid environment. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Jarvis, Stephen A., He, Ligang, Spooner, Daniel P. and Nudd, G. R. (2004) The impact of predictive inaccuracies on execution scheduling. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Jarvis, Stephen A. and Nudd, G. R. (2004) Review of the e-science demonstrators and their compatibility with the Warwick middleware project. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Krokhin, Andrei and Larose, Benoit (2004) Maximum constraint satisfaction on diamonds. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Lazic, Ranko, Newcomb, Tom and Roscoe, A. W. (2004) On model checking data-independent systems with arrays with whole-array operations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Lazic, Ranko, Newcomb, Tom and Roscoe, A. W. (2004) Polymorphic systems with arrays : decidability and undecidability. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Li, Chang-Tsun (2004) Reversible watermarking scheme with image-independent embedding capacity. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Palmer, N. and Goldberg, Paul W. (2004) PAC classification based on PAC estimates of label class distributions. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Rajpoot, Nasir M. (Nasir Mahmood) (2004) Model based optimal bit allocation. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Reyes-Aldasoro, Constantino Carlos (2004) A guide to co-occurrence matrix analysis. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Yu, Andy C. (2004) Efficient intra- and inter-mode selection algorithms for H.264/AVC. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Thesis [via Doctoral College]

Papanikolaou, Nikolaos K. (2004) Techniques for design and validation of quantum protocols. MSc thesis, University of Warwick.

Wang, Li (2004) Segmentation of branching structures from medical images. PhD thesis, University of Warwick.