553 search results - page 1 / 111 » Learning Meets Verification |
FMCO
2006
Springer
13 years 8 months ago
2006
Springer
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...
CVPR
2009
IEEE
14 years 11 months ago
2009
IEEE
Face verification has many potential applications including
filtering and ranking image/video search results on
celebrities. Since these images/videos are taken under uncontrolle...
DAC
2005
ACM
13 years 6 months ago
2005
ACM
ICWL
2007
Springer
13 years 10 months ago
2007
Springer
It is indeed important to implement e-Learning platforms for education and training purposes in a variety of domains. However, facing the enormous amount of learning resources, gui...
VSTTE
2010
Springer
13 years 2 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...