Algorithm Synthesis: A Comparative Study /
This book presents a uniform framework for presenting and comparing derivations of algorithms, and applies this framework to analyze various derivations found in the literature for seven algorithms. The authors have selected algorithms for which multiple derivations exist. The framework developed ab...
| Main Author: | Steier, D. M. |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Anderson, A. P. |
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY :
Springer US,
1989.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Logic Program Synthesis from Incomplete Information /
by: Flener, Pierre
Published: (1995)
by: Flener, Pierre
Published: (1995)
Search and Planning Under Incomplete Information : a Study Using Bridge Card Play /
by: Frank, Ian
Published: (1998)
by: Frank, Ian
Published: (1998)
Interactive Multimedia Learning Environments : Human Factors and Technical Considerations on Design Issues /
by: Giardina, Max
Published: (1992)
by: Giardina, Max
Published: (1992)
Parallel and Constraint Logic Programming : an Introduction to Logic, Parallelism and Constraints /
by: Vlahavas, Ioannis
Published: (1998)
by: Vlahavas, Ioannis
Published: (1998)
A Knowledge-Based Approach to Program Understanding /
by: Abd-El-Hafiz, Salwa K.
Published: (1995)
by: Abd-El-Hafiz, Salwa K.
Published: (1995)
Objects for Concurrent Constraint Programming /
by: Henz, Martin
Published: (1998)
by: Henz, Martin
Published: (1998)
Clause and Effect : Prolog Programming for the Working Programmer /
by: Clocksin, William F.
Published: (1997)
by: Clocksin, William F.
Published: (1997)
Software Engineering with Computational Intelligence /
by: Khoshgoftaar, Taghi M.
Published: (2003)
by: Khoshgoftaar, Taghi M.
Published: (2003)
Constraint-Based Design Recovery for Software Reengineering : Theory and Experiments /
by: Woods, Steven G.
Published: (1998)
by: Woods, Steven G.
Published: (1998)
Rule-Based Programming /
by: Kowalski, Thaddeus J.
Published: (1996)
by: Kowalski, Thaddeus J.
Published: (1996)
Domain Modelling for Interactive Systems Design /
by: Sutcliffe, Alistair
Published: (1998)
by: Sutcliffe, Alistair
Published: (1998)
Advances in Database Technology - EDBT '98 : 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998. /
by: Schek, H.-J
Published: (1998)
by: Schek, H.-J
Published: (1998)
Expert Systems Lab Course /
by: Schnupp, Peter
Published: (1989)
by: Schnupp, Peter
Published: (1989)
Recent Advances in Speech Understanding and Dialog Systems /
by: Niemann, H.
Published: (1988)
by: Niemann, H.
Published: (1988)
Exploration and Innovation in Design : Towards a Computational Model /
by: Navinchandra, D.
Published: (1991)
by: Navinchandra, D.
Published: (1991)
Compiler Construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994. Proceedings /
by: Fritzson, Peter A.
Published: (1994)
by: Fritzson, Peter A.
Published: (1994)
Machine Learning - EWSL-91 : European Working Session on Learning, Porto, Portugal, March 6-8, 1991. Proceedings /
by: Kodratoff, Yves
Published: (1991)
by: Kodratoff, Yves
Published: (1991)
Design Principles for Interactive Software /
by: Gram, Christian
Published: (1996)
by: Gram, Christian
Published: (1996)
Automatic Re-engineering of Software Using Genetic Programming /
by: Ryan, Conor
Published: (2000)
by: Ryan, Conor
Published: (2000)
State-Space Search : Algorithms, Complexity, Extensions, and Applications /
by: Zhang, Weixiong
Published: (1999)
by: Zhang, Weixiong
Published: (1999)
Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1989)
by: Broy, Manfred
Published: (1989)
Logic, Algebra, and Computation : International Summer School /
by: Bauer, Friedrich L.
Published: (1991)
by: Bauer, Friedrich L.
Published: (1991)
Mathematical Methods in Program Development /
by: Broy, Manfred
Published: (1997)
by: Broy, Manfred
Published: (1997)
Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do /
by: Tofte, Mads
Published: (1990)
by: Tofte, Mads
Published: (1990)
Applied Evolutionary Algorithms in Java /
by: Ghanea-Hercock, Robert
Published: (2003)
by: Ghanea-Hercock, Robert
Published: (2003)
Software Prototyping in Data and Knowledge Engineering /
by: Guida, Giovanni
Published: (1999)
by: Guida, Giovanni
Published: (1999)
Embedded Robotics : Mobile Robot Design and Applications with Embedded Systems /
by: Bräunl, Thomas
Published: (2003)
by: Bräunl, Thomas
Published: (2003)
Knowledge-Based Image Processing Systems /
by: Graham, Deryn
Published: (1997)
by: Graham, Deryn
Published: (1997)
Catalogue of Artificial Intelligence Techniques /
by: Bundy, Alan
Published: (1990)
by: Bundy, Alan
Published: (1990)
Content-Addressable Memories /
by: Kohonen, Teuvo
Published: (1987)
by: Kohonen, Teuvo
Published: (1987)
Artificial Intelligence Techniques : a Comprehensive Catalogue /
by: Bundy, Alan
Published: (1997)
by: Bundy, Alan
Published: (1997)
Complexity in Information Theory /
by: Abu-Mostafa, Yaser S.
Published: (1988)
by: Abu-Mostafa, Yaser S.
Published: (1988)
Neural Networks and the Financial Markets : Predicting, Combining and Portfolio Optimisation /
by: Shadbolt, Jimmy
Published: (2002)
by: Shadbolt, Jimmy
Published: (2002)
The Design and Analysis of Algorithms /
by: Kozen, Dexter C.
Published: (1992)
by: Kozen, Dexter C.
Published: (1992)
Software Defect and Operational Profile Modeling /
by: Cai, Kai-Yuan
Published: (1998)
by: Cai, Kai-Yuan
Published: (1998)
Algorithmic Language and Program Development /
by: Bauer, Friedrich L.
Published: (1982)
by: Bauer, Friedrich L.
Published: (1982)
AI and Cognitive Science '90 : University of Ulster at Jordanstown 20-21 September 1990 /
by: McTear, Michael F.
Published: (1991)
by: McTear, Michael F.
Published: (1991)
AI and Cognitive Science '92 : University of Limerick, 10-11 September 1992 /
Published: (1993)
Published: (1993)
Cooperating Heterogeneous Systems /
by: Schwartz, David G.
Published: (1995)
by: Schwartz, David G.
Published: (1995)
Intelligent CAD Systems I : Theoretical and Methodological Aspects /
by: Hagen, Paul J. W.
Published: (1987)
by: Hagen, Paul J. W.
Published: (1987)