Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision.

Arvind Ramanathan, Laura L. Pullum, Faraz Hussain, Dwaipayan Chakrabarty, Sumit Kumar Jha

Browse the full DATE paper archive.