Search
Search the City, University of London site
Menu
Department of Computer Science
  1. Adaptive Computing Systems
  2. Machine Learning
  3. giCentre
  4. Human Computer Interaction Design
  5. Software Reliability
  6. Research Ethics
  7. Data Science
Department of Computer Science

Technical Reports (Computing)

2012

TR/2012/DOC/03 Approximate Dynamic Programming with Parallel Stochastic Planning Operators. Christopher H.T. Child

TR/2012/DOC/01 XcD - Simple, Modular, Formal Software Architectures

2010

TR/2010/DOC/01 Quadtrees as an Abstract Domain. Jacob M. Howe, Andy King and Charles Lawrence-Jones. [Abstract]

2009

TR/2009/DOC/01 Closure Algorithms for Domains with Two Variables Per Inequality. Jacob M. Howe and Andy King. [Abstract]

2008

TR/2008/DOC/01 Rule Extraction from Support Vector Machines: A Geometric Approach. Lu Ren, Artur S. d`Avilia Garcez. 

TR/2008/DOC/02 A geometrical approach to find the preferred intonation of chords. Aline K. Honingh [Abstract]

TR/2008/DOC/03 Integrating Convexity and Compactness into the ISSM: Melodic Analysis of Music. Aline K. Honingh and Tillman Weyde [Abstract]

2006

TR/2006/DOC/01 Applied temporal rule mining to time series. Panagiotis A. Dafas, Artur S. d'Avila Garcez [Abstract]

TR/2006/DOC/02 Proceedings of ECAI International Workshop on Neural-Symbolic Learning and Reasoning NeSy06, Trento, Italy, 2006. A. S. d'Avila Garcez, P. Hitzler and G. Tamburrini (eds).

2005

TR/2005/DOC/01 Proceedings of IJCAI International Workshop on Neural-Symbolic Learning and Reasoning NeSy05, Edinburgh, Scotland, 2005. A. S. d'Avila Garcez, J. Elman and P. Hitzler (eds)

2004

TR/2004/DOC/01 Argumentation Neural Networks: Value-based Argumentation Frameworks as Neural-Symbolic Learning Systems. A. S. d'Avila Garcez, D. M. Gabbay and L. C. Lamb

TR/2004/DOC/02 "A Scheme for Requirements Monitoring of Web Service Based Systems", Khaled Mahbub and George Spanoudakis [Abstract]

2003

TR/2003/DOC/01 Proceedings of ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03, Helsinki, Finland, ISSN 1364-4009. A. S. d'Avila Garcez, G. Spanoudakis and A. Zisman (eds).

TR/2003/SEG/03 Fibring Neural Networks. A. S. d'Avila Garcez and D. M. Gabbay

If you have any questions about this page, please contact Mark Firman (mfirman@soi.city.ac.uk)

City, University of London uses cookies to improve your experience on our website. By continuing browsing this website without changing your cookie settings, we assume you agree to this. Find out about the cookies we use.