A formal framework for evaluating heuristic programs

Author： Cowen L.  

Publisher： Springer Publishing Company

ISSN： 1012-2443

Source： Annals of Mathematics and Artificial Intelligence, Vol.22, Iss.3-4, 1998-01, pp. : 193-206

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

An Overview of a Formal Framework for Managing Mathematics

By Farmer W.M.  

Annals of Mathematics and Artificial Intelligence, Vol. 38, Iss. 1-3, 2003-05 ,pp. : 165-191

Springer Publishing Company

Access to resources Recommend Favorite

Kernel Search: a new heuristic framework for portfolio selection

By Angelelli Enrico  

Computational Optimization and Applications, Vol. 51, Iss. 1, 2012-01 ,pp. : 345-361

Springer Publishing Company

Access to resources Recommend Favorite

A formal framework for clock-free networks of cells

By Ivanov Sergiu  

International Journal of Computer Mathematics, Vol. 90, Iss. 4, 2013-04 ,pp. : 776-788

Taylor & Francis Ltd

Access to resources Recommend Favorite

A formal mathematical framework for modeling probabilistic hybrid systems

By St-Aubin Robert  

Annals of Mathematics and Artificial Intelligence, Vol. 47, Iss. 3-4, 2006-08 ,pp. : 397-425

Springer Publishing Company

Access to resources Recommend Favorite

A flexible formal framework for masking/demasking faults

By Ayeb B.   Farhat A.  

Information Sciences, Vol. 159, Iss. 1, 2004-01 ,pp. : 29-52

Elsevier

Access to resources Recommend Favorite