City Research Online

Items where Schools and Departments is "Computer Science" and Year is 2003

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Authors | Publication Type | No Grouping
Number of items: 9.

Article

Howe, J. M. and King, A. (2003). Efficient groundness analysis in Prolog. Theory and Practice of Logic Programming, 3(1), pp. 95-124. doi: 10.1017/S1471068402001485

Kloukinas, C., Nakhli, C. and Yovine, S. (2003). A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. Lecture Notes in Computer Science: Embedded Software, 2855, pp. 274-289. doi: 10.1007/978-3-540-45212-6_18

Mondragon, E. ORCID: 0000-0003-4180-1261, Bonardi, C. and Hall, G. (2003). Negative priming and occasion setting in an appetitive Pavlovian procedure. Animal Learning & Behavior, 31(3), pp. 281-291. doi: 10.3758/bf03195989

Simon, A., King, A. and Howe, J. M. (2003). Two variables per linear inequality as an abstract domain. Logic based program synthesis and transformation, 2664, pp. 71-89. doi: 10.1007/3-540-45013-0_7

Slabaugh, G. G., Schafer, R. W. and Hans, M. C. (2003). Image-based photo hulls for fast and photo-realistic new view synthesis. Real-Time Imaging, 9(5), pp. 347-360. doi: 10.1016/j.rti.2003.08.004

Zarras, A., Kloukinas, C. and Issarny, V. (2003). Quality Analysis of Dependable Systems: A Developer Oriented Approach. Lecture Notes in Computer Science: Architecting Dependable Systems, 2677, pp. 197-218. doi: 10.1007/3-540-45177-3_9

Conference or Workshop Item

Kloukinas, C. and Yovine, S. (2003). Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. Paper presented at the 15th Euromicro Conference on Real-Time Systems, 2003, Porto, Portugal.

Report

Garcez, A. and Gabbay, D. M. (2003). Fibring Neural Networks (TR/2003/SEG/03). .

Garcez, A., Spanoudakis, G. and Zisman, A. (2003). Proceedings of ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03 (TR/2003/DOC/01). .

This list was generated on Fri Oct 25 04:22:53 2019 UTC.