Browsing Computer Science and Automation (CSA) by Subject "Computer programming"
Now showing items 1-2 of 2
-
Kernel Methods Fast Algorithms and real life applications
(Indian Institute of Science, 2005-02-08)Support Vector Machines (SVM) have recently gained prominence in the field of machine learning and pattern classification (Vapnik, 1995, Herbrich, 2002, Scholkopf and Smola, 2002). Classification is achieved by finding a ... -
Typestates and Beyond: Verifying Rich Behavioral Properties Over Complex Programs
Statically verifying behavioral properties of programs is an important research problem. An efficient solution to this problem will have visible effects over multiple domains, ranging from program development, program ...