Sciweavers

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

8

AMAI
1998
Springer

favoriteEmaildiscussreport

66views Artificial Intelligence» more AMAI 1998»

A Formal Framework for Evaluating Heuristic Programs

13 years 4 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)