01• Aerospace and Electronic Systems Page 1 1 Page 2 i WILEY ENCYCLOPEDIA OF ELECTRICAL
AND ELECTRONICS ENGINEERING 24 Volume Set (Hardcover) by John G. Webster (Editor) …

Despite the long history of classical planning, there has been very little comparative analysis
of the performance tradeoffs offered by the multitude of existing planning algorithms. This is …

Research and practitioner literature on testing object-oriented software published up to the
end of 1994 is summarized. The contribution of each source to eight topics presented:(1) …

Multi-tac is a learning system that synthesizes heuristic constraint satisfaction programs. The
system takes a library of generic algorithms and heuristics and specializes them for a …

Both the Artificial Intelligence (AI) and the Operations Research (OR) communities are
interested in developing techniques for solving hard combinatorial problems, in particular in …

SATPLAN is currently one of the fastest planning systems for domain-independent planning.
In nearly all practical applications, however, there exists an abundance of domain-specific …

In this paper, we describe a way to improve the performance of hand-tailorable planners by
compiling each domain description into a separate domain-specific planner. We discuss …

In this paper I answer the question how evolving algebras can be used for the design and
analysis of complex hardware and software systems. I present the salient features of this …

This book gives an overview of methods developed in artificial intelligence for search,
learning, problem solving and decision-making. It gives an overview of algorithms and …

When a programming activity is well-understood, it can be automated. Automation
transforms software development from activities like rote coding and tedious debugging to …