article

Free access

Pictures as invariants

Author:

Owen AstrachanAuthors Info & Claims

ACM SIGCSE Bulletin, Volume 23, Issue 1

Pages 112 - 118

https://doi.org/10.1145/107005.107026

Published: 01 March 1991 Publication History

PDF eReader

References

[1]

Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.

Digital Library

Google Scholar

[2]

Jon Bentley. Programming Pearls. Addison-Wesley, 1986.

Crossref

Google Scholar

[3]

Doug Cooper and Michael Clancy. Oh! Pascal? W. W. Norton & Co., second edition, 1982.

Digital Library

Google Scholar

[4]

N. Adlai A. DePano, Rarinaz D. Boudreau, Philip Katner, and Brian Li. Algorithmic Paradigms: Examples in Computational Geometry II. In SIGSCE Technical Symposium on Computer Science Education, pages 186-191, 1990.

Digital Library

Google Scholar

[5]

N. A. A. DePano. Algorithmic Paradigms: Examples in Computational Geometry. In SIGSCE Technical Symposium on Computer Science Education, pages 83-87, 1988.

Digital Library

Google Scholar

[6]

Edsger W. Dijkstra and W.H.J. Feijen. A Melhod of Programming. Addison-Wesley, 1988.

Digital Library

Google Scholar

[7]

Edsger W. Dijkstra. On the Cruelty of Really Teaching Computer Science. In SIGSCE Technical Symposium on Computer Science Education, pages xxv-xxxix, 1989.

Google Scholar

[8]

Edsger W. Dijkstra, editor. Formal Development of Programs and Proofs. Addison-Wesley, 1990.

Digital Library

Google Scholar

[9]

Nell Dale and Susan C. Lilly. Pascal plus Data Structures, Algorilhms, and Advanced Programming. D.C. Heath and Company, 1985.

Digital Library

Google Scholar

[10]

Edsger Dijkstra, David ParhaS, William Scherlis, M.H. van Eraden, Jacques Cohen, Richard Hamming, Richard M. Karp, and Terry Winograd. A Debate on Teaching Computer Science. Communications of the ACM, 32(12):1397-1414, December 1990.

Digital Library

Google Scholar

[11]

R.G. Dromey. How To Solve it by Computer. Frentice-Hall International, 1982.

Digital Library

Google Scholar

[12]

David Gries. The Science of Programming. Springer-Verlag, 1981.

Digital Library

Google Scholar

[13]

David Harel. A lgorithmics The Spirit of Computing. Addison-Wesley, 1987.

Digital Library

Google Scholar

[14]

Donald E. Knuth. The Art of Computer Programming, volume 3. Addison-Wesley, 1973.

Digital Library

Google Scholar

[15]

Elliot B. Koffman. Turbo Pascal. Addison-Wesley, second edition, 1989.

Digital Library

Google Scholar

[16]

Robert L. Kruse. Data Structures ~J Program Design. Prentice Hall, second edition, 1987.

Digital Library

Google Scholar

[17]

Udi Manber. Introduction to Algorithms: A Creative Approach. Addison-Wesley, 1989.

Digital Library

Google Scholar

[18]

Franco P. Preparata and Michael Inn Shamos. Computational Geometry An Introduction. Springer-Verlag, 1985.

Digital Library

Google Scholar

[19]

Robert Sedgewick. Algorilhms. Addison-Wesley, second edition, 1988.

Google Scholar

[20]

Aaron M. Tenenbaum and Moshe j. Augenstein. Data Structures Using Pascal. Prentice Hall, 1981.

Digital Library

Google Scholar

Cited By

View all

Brieven GLiénardy SMalcev LDonnet B(2023)Graphical Loop Invariant Based ProgrammingFormal Methods Teaching10.1007/978-3-031-27534-0_2(17-33)Online publication date: 23-Feb-2023
https://doi.org/10.1007/978-3-031-27534-0_2
Logas HVallejos ROsborn JCompton KWhitehead JScacchi WWhitehead J(2015)Visualizing loops and data structures in XylemProceedings of the Fourth International Workshop on Games and Software Engineering10.5555/2820144.2820157(50-56)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2820144.2820157
Liénardy SLeduc LVerpoorten DDonnet BLuxton-Reilly ASzabo C(2020)CaféProceedings of the Twenty-Second Australasian Computing Education Conference10.1145/3373165.3373176(95-104)Online publication date: 3-Feb-2020
https://dl.acm.org/doi/10.1145/3373165.3373176
Show More Cited By

Index Terms

Pictures as invariants
1. Information systems
  1. Information storage systems
    1. Record storage systems
2. Theory of computation
  1. Randomness, geometry and discrete structures
  2. Semantics and reasoning
    1. Program reasoning
      1. Invariants

Recommendations

Rotation and translation invariants of Gaussian-Hermite moments

Geometric moment invariants are widely used in many fields of image analysis and pattern recognition since their first introduction by Hu in 1962. A few years ago, Flusser has proved how to find the independent and complete set of geometric moment ...
Radial Zernike Moment Invariants
CIT '04: Proceedings of the The Fourth International Conference on Computer and Information Technology

Radial Zernike moment invariants are special case from the complex Zernike moment invariants. The radial and angular dependence of Zernike moments is naturally separable which makes them very suitable features for achieving totational invarinces. The ...
Generic radial orthogonal moment invariants for invariant image recognition

As the variation of parameters in Jacobi polynomial, Jacobi-Fourier moments can form various types of orthogonal moments: Legendre-Fourier moments, Orthogonal Fourier-Mellin moments, Zernike moments, pseudo-Zernike moments, and so on. In this paper, we ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGCSE Bulletin Volume 23, Issue 1

Mar. 1991

369 pages

ISSN:0097-8418

DOI:10.1145/107005

Editor:
Barbara B. Owens
St. Edward's Univ., Austin, TX

Issue’s Table of Contents

SIGCSE '91: Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
March 1991
392 pages
ISBN:0897913779
DOI:10.1145/107004
Chairman:
Nell Dale
Univ. of Texas, Austin

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1991

Published in SIGCSE Volume 23, Issue 1

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
294
Total Downloads

Downloads (Last 12 months)62
Downloads (Last 6 weeks)4

Reflects downloads up to 12 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Brieven GLiénardy SMalcev LDonnet B(2023)Graphical Loop Invariant Based ProgrammingFormal Methods Teaching10.1007/978-3-031-27534-0_2(17-33)Online publication date: 23-Feb-2023
https://doi.org/10.1007/978-3-031-27534-0_2
Logas HVallejos ROsborn JCompton KWhitehead JScacchi WWhitehead J(2015)Visualizing loops and data structures in XylemProceedings of the Fourth International Workshop on Games and Software Engineering10.5555/2820144.2820157(50-56)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2820144.2820157
Liénardy SLeduc LVerpoorten DDonnet BLuxton-Reilly ASzabo C(2020)CaféProceedings of the Twenty-Second Australasian Computing Education Conference10.1145/3373165.3373176(95-104)Online publication date: 3-Feb-2020
https://dl.acm.org/doi/10.1145/3373165.3373176
Liénardy SRobins AMoskal AKo AMcCauley RRobins AKo A(2020)Learning Computer Programming around a CAFÉProceedings of the 2020 ACM Conference on International Computing Education Research10.1145/3372782.3407119(318-319)Online publication date: 10-Aug-2020
https://dl.acm.org/doi/10.1145/3372782.3407119
Eriksson JParsa M(2020)A DSL for Integer Range Reasoning: Partition, Interval and Mapping DiagramsPractical Aspects of Declarative Languages10.1007/978-3-030-39197-3_13(196-212)Online publication date: 14-Jan-2020
https://doi.org/10.1007/978-3-030-39197-3_13
Scapin EMirolo C(2019)An Exploration of Teachers’ Perspective About the Learning of Iteration-Control ConstructsInformatics in Schools. New Ideas in School Informatics10.1007/978-3-030-33759-9_2(15-27)Online publication date: 11-Nov-2019
https://doi.org/10.1007/978-3-030-33759-9_2
Eriksson JParsa MBack R(2018)A Precise Pictorial Language for Array InvariantsIntegrated Formal Methods10.1007/978-3-319-98938-9_9(151-160)Online publication date: 9-Aug-2018
https://doi.org/10.1007/978-3-319-98938-9_9
Pearce DElsman MGrelck CKloeckner APadua DSolomonik E(2017)Array programming in WhileyProceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming10.1145/3091966.3091972(17-24)Online publication date: 18-Jun-2017
https://dl.acm.org/doi/10.1145/3091966.3091972
Logas HVallejos ROsborn JCompton KWhitehead J(2015)Visualizing Loops and Data Structures in XylemProceedings of the 2015 IEEE/ACM 4th International Workshop on Games and Software Engineering10.1109/GAS.2015.16(50-56)Online publication date: 18-May-2015
https://dl.acm.org/doi/10.1109/GAS.2015.16
Astrachan OMitchener GBerry GCox L(1998)Design patternsACM SIGCSE Bulletin10.1145/274790.27318230:1(153-160)Online publication date: 1-Mar-1998
https://dl.acm.org/doi/10.1145/274790.273182
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Rotation and translation invariants of Gaussian-Hermite moments

Radial Zernike Moment Invariants

Generic radial orthogonal moment invariants for invariant image recognition

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations