 |
|
 Digital Imaging for Cultural Heritage Preservation: Analysis, Restoration, and Reconstruction of Ancient Artworks
Paintings, frescoes, antique photographic prints, incunabula, old books, handwritten documents,
sculptures, ceramic fragments, and other ancient manufacts constitute the elements of an extremely
valuable and immense historical patrimony. The digitalization of these treasures opens up the
possibility of using image processing and... | | Objects, Abstraction, Data Structures and Design: Using C++
Our goal in writing this book was to combine a strong emphasis on problem solving
and software design with the study of data structures. To this end, we discuss applications
of each data structure to motivate its study. After providing the specification
(a header file) and the implementation of an abstract data type, we cover case... | | Software Abstractions: Logic, Language, and Analysis
As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.
One approach especially intrigued me. John Guttag and Jim... |
|
|
|
|
| Result Page: 66 65 64 63 62 61 60 59 58 57 56 55 54 53 52 51 50 49 48 |
