Research 2010

Research Interest Home

Researchers Involved

Research Output

Postgraduate Student Projects

Back To

Department Research Interests

 

Faculty of Engineering, Built Environment and Information Technology
School of Information Technology
Department of Computer Science

Software Science and Formal Methods - Research Output

Papers in refereed, published conference proceedings:

Cooper A, Kourie DG, Coetzee SM: 2010. Thoughts on exploiting instability in lattices for assessing the discrimination adequacy of a taxonomy. In Proceedings of the 7th International Conference on Concept Lattices and their Applications (CLA 2010), University of Sevilla, pp 338-343.

Reyneke P, Grobler P, Kourie DG, de Ridder C: 2010. Doing a bundle adjustment by using a linear system of equations. In Proceedings of the Twenty-First Annual Symposium of the Pattern Recognition Association of South Africa (PRASA), IEEE, pp 237-243.

 

Related Links

Department of Computer Science Home Page