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) …
Publisher Summary Mathematical logicians had developed the art of formalizing declarative knowledge long before the advent of the computer age. But they were interested primarily in …
The major reason for the lack of use'of parallel'computing, is the mismatch between the complexity and variety of parallel hardware, and the software development tools to program …
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 …
W Kozaczynski, J Ning… - IEEE Transactions on …, 1992 - ieeexplore.ieee.org
The automated recognition of abstract high-level conceptual information or concepts, which can greatly aid the understanding of programs and therefore support many software …
TJ Biggerstaff - Annals of Software Engineering, 1998 - Springer
This paper presents a perspective of generative reuse technologies as they have evolved over the last 15 years or so and a discussion of how generative reuse addresses some key …
Abstract The Adaptive Constraint Engine (ACE) seeks to automate the application of constraint programming expertise and the extraction of domain-specific expertise. Under the …
LG Terveen, PG Selfridge, MD Long - Human-Computer Interaction, 1995 - Taylor & Francis
We identify an important type of software design knowledge that we call community-specific folklore and discuss problems with current approaches to managing it. We developed a …
Many and diverse combinatorial problems have been solved successfully using finite- domain constraint programming. However, to apply constraint programming to a particular …