Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

22

AMAI
1998
Springer

favoriteEmaildiscussreport

66views Artificial Intelligence» more AMAI 1998»

A Formal Framework for Evaluating Heuristic Programs

13 years 10 months ago

A Formal Framework for Evaluating Heuristic Programs

Download www.cs.tufts.edu

Lenore Cowen, Joan Feigenbaum, Sampath Kannan

Real-time Traffic

AMAI 1998 | Artificial Intelligence |

claim paper

Related Content

» Enhancing set constraint solvers with lexicographic bounds

» A Formalization of Program Debugging in the Situation Calculus

» A comprehensive formal framework for analyzing the behavior of natureinspired routing prot...

» A Partial Evaluation Framework for Curry Programs

» Evaluating the impact of ANDOR search on 01 integer linear programming

» A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation

» A Novel Heuristic and Provable Bounds for Reconfigurable Architecture Design

» An empirical framework for comparing effectiveness of testing and propertybased formal ana...

» Improving heuristic minimax search by supervised learning

Post Info
More Details (n/a)

Added	21 Dec 2010
Updated	21 Dec 2010
Type	Journal
Year	1998
Where	AMAI
Authors	Lenore Cowen, Joan Feigenbaum, Sampath Kannan

Comments (0)