Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27,...
- ISBN-10
- 3540631720
- ISBN-13
- 9783540631729
- Series
- Computer Science Logic
- Category
- Computers
- Pages
- 471
- Language
- English
- Published
- 1997-06-18
- Publisher
- Springer Science & Business Media
- Authors
- Dirk van Dalen, Marc Bezem, European Association for Computer Science Logic. Conference
Description
The related fields of fractal image encoding and fractal image analysis have blossomed in recent years. This book, originating from a NATO Advanced Study Institute held in 1995, presents work by leading researchers. It is developing the subjects at an introductory level, but it also has some recent and exciting results in both fields. The book contains a thorough discussion of fractal image compression and decompression, including both continuous and discrete formulations, vector space and hierarchical methods, and algorithmic optimizations. The book also discusses multifractal approaches to image analysis, segmentation, and recognition, including medical applications.
Get the book
Other editions
-
- 2007-08-30
- 611 pages
- Paperback
- Springer Science & Business Media
-
- 2006-09-20
- 626 pages
- Paperback
- Springer Science & Business Media
-
- 2005-08-09
- 577 pages
- Paperback
- Springer Science & Business Media
-
- 2001-08-29
- 631 pages
- Paperback
- Springer Science & Business Media
Similar books
-
Logic in Computer Science: Modelling and Reasoning about Systems
By Mark Ryan, Michael HuthThe coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.
-
Essential Logic for Computer Science
By Rex Page, Ruben GamboaThis book offers a more substantive and rigorous approach to logic that focuses on applications in computer science.
-
Logic for Computer Scientists
By Uwe SchöningThis book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming.
-
Logic for Computer Science
By Michael Clarke, Steve ReevesAn understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in...
-
Logics for Computer Science: Classical and Non-Classical
By Anita WasilewskaLogic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics.
-
Three Views of Logic: Mathematics, Philosophy, and Computer Science
By Donald W. Loveland, Richard E. Hodel, S. G. SterrettLet R be a 1-ary RE relation. Show that F is partial recursive, where F is defined by F(a) ≃ ⎛ ⎨ 0 if R(a); ⎝ undefined if¬R(a). Hint: R is the domain of a 1-ary partial recursive function. 5. Let R be a 1-ary RE relation and let G ...
-
Mathematical Logic for Computer Science
By Mordechai Ben-AriThis is a mathematics textbook with theorems and proofs.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition
By Jean H. GallierThis advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs.
-
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
By Mauricio Ayala-Rincón, Flávio L. C. de MouraThis book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework.
-
Logic for Mathematics and Computer Science
By Stanley BurrisThis text is intended for one semester courses in Logic, it can also be applied to a two semester course, in either Computer Science or Mathematics Departments. Unlike other texts...