The University of Sheffield
Department of Computer Science

1995 Research memoranda

CS-95-28 T.Hisumitsu Analysis of Compound Nouns in Japanese Newspaper Articles. ,
CS-95-27 R.Gaizauskas, K.Humphreys, T.Wakao and H.Cunningham LaSIE - a Large-Scale Information Extraction System.
CS-95-26 A.J.H.Simons Mixins: Typing the Superclass Interface.
CS-95-25 R.Gaizauskas Investigation into the grammar Underlying the Penn Tree Bank.
CS-95-24 R.Gaizauskas XI: A Knowledge Representation Language Based On Cross-Classification and Inheritance.
CS-95-23 Y.Wilks Texts and Senses.
CS-95-22 Y.Wilks A F Parker Rhodes - a memoir.
CS-95-21 H.Cunningham, R.Gaizauskas and Y.Wilks The General Architecture for Text Engineering (GATE).
CS-95-20 M.Holcombe Formal Methods and Software Engineering Group.
CS-95-19 G.Manson Parallel and Distributed Systems Group.
CS-95-18 A.J.Cowling Dataflow Algebras as Formal Specifications of Data Flows.
CS-95-17 S.Renals and M.Hochberg Decoder Technology for Connectionist Large Vocabulary Speech Recognition.
CS-95-16 P.Green Speech and Hearing Group.
CS-95-15 Y.Wilks Some Notes on State of the Art: Where are We Now in MT: What Works and What Doesn't? and The Role of MT as an International Collaborative Activity.
CS-95-14 P.McKevitt and J.G.Gammack The sensitive interface.
CS-95-13 N.E.Sharkey and Y.Wilks Artificial Intelligence and Neural Networks Group.
CS-95-12 P.McKevitt and C.Guo From Chinese Rooms to Irish Rooms: new words on visions for language.
CS-95-11 A.J.Sharkey and N.E.Sharkey How to Improve the Reliability of Artificial Neural Networks.
CS-95-10 A.J.Sharkey, N.E.Sharkey, G.O.Ch and roth  Diverse neural net solutions to a fault diagnosis problem.
CS-95-09 M.Fairtlough and M.Mendler Propositional Lax Logic.
CS-95-08 A.J.H.Simons A Visual Logic with Extensions to Set Theory.
CS-95-07 A.J.H.Simons A Different Proposal for Making Eiffel Type-Consistent.
CS-95-06 J.J.McGregor and A.Paolucci Towards an Information Landscape for GCSE Mathematics.
CS-95-05 M.Fairtlough, M.Holcolmbe, F.Ipate, C.Jordan, G.Laycock and Z.Duan Using an X-machine to model a Video Cassette Recorder.
CS-95-04 M.Holcolmbe and F.Ipate Another Look at Computability.
CS-95-03 M.Holcolmbe and F.Ipate Almost all Software Testing is Futile!
CS-95-02 M.Holcolmbe and Z.Duan Hybrid Machines for Hybrid Systems.
CS-95-01 M.Holcolmbe and Z.Duan A Hybrid Projection Temporal Logic for Hybrid Systems.