Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm

By Armando A.  

Automated Software Engineering, Vol. 6, Iss. 4, 1999-10 ,pp. : 329-356

Springer Publishing Company

Access to resources Recommend Favorite

Automatic verification of recursive procedures with one integer parameter

By Bouajjani A.   Habermehl P.   Mayr R.  

Theoretical Computer Science, Vol. 295, Iss. 1, 2003-02 ,pp. : 85-106

Elsevier

Access to resources Recommend Favorite

Classifier evaluation and attribute selection against active adversaries

By Kantarcıoğlu Murat  

Data Mining and Knowledge Discovery, Vol. 22, Iss. 1-2, 2011-01 ,pp. : 291-335

Springer Publishing Company

Access to resources Recommend Favorite

Dynamic selection approaches for multiple classifier systems

By Cavalin Paulo  

Neural Computing & Applications, Vol. 22, Iss. 3-4, 2013-03 ,pp. : 673-688

Springer Publishing Company

Access to resources Recommend Favorite

Recursive construction of periodic steady state for neural networks

By Matamala M.  

Theoretical Computer Science, Vol. 143, Iss. 2, 1995-06 ,pp. : 251-267

Elsevier

Access to resources Recommend Favorite