{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":52,"n_cols":5,"rows_kept":52,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[5,2,5,3],[12,2,12,3],[13,2,13,3],[14,2,14,3],[17,2,17,3],[18,2,18,3],[22,2,22,3],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[44,2,44,3],[45,2,45,3],[49,2,49,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910140818203321"]
[null,null,"Autore",null,"Shih Frank Y"]
[null,null,"Titolo",null,"Image processing and pattern recognition : fundamentals and techniques / / Frank Y. Shih"]
[null,null,"Pubbl/distr/stampa",null,"Piscataway, NJ, : IEEE Press"]
[{"$nulls":4},"Hoboken, N.J., : Wiley, c2010"]
[null,null,"ISBN",null,"9786612707551"]
[{"$nulls":4},"9781282707559"]
[{"$nulls":4},"1282707558"]
[{"$nulls":4},"9780470590416"]
[{"$nulls":4},"0470590416"]
[{"$nulls":4},"9780470590409"]
[{"$nulls":4},"0470590408"]
[null,null,"Descrizione fisica",null,"1 online resource (551 p.)"]
[null,null,"Disciplina",null,"621.36/7"]
[null,null,"Soggetti",null,"Image processing"]
[{"$nulls":4},"Signal processing"]
[{"$nulls":4},"Pattern recognition systems"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"PART I: FUNDAMENTALS -- 1 INTRODUCTION -- 1.1 The World of Signals -- 1.2 Digital Image Processing -- 1.3 Elements of an Image Processing System -- Appendix 1.A Selected List of Books on Image Processing and Computer Vision from Year 2000 -- References -- 2 MATHEMATICAL PRELIMINARIES -- 2.1 Laplace Transform -- 2.2 Fourier Transform -- 2.3 Z-Transform -- -- 2.4 Cosine Transform -- 2.5 Wavelet Transform -- 3 IMAGE ENHANCEMENT -- 3.1 Grayscale Transformation -- 3.2 Piecewise Linear Transformation -- 3.3 Bit Plane Slicing -- 3.4 Histogram Equalization -- 3.5 Histogram Specification -- 3.6 Enhancement by Arithmetic Operations -- 3.7 Smoothing Filter -- 3.8 Sharpening Filter -- 3.9 Image Blur Types and Quality Measures -- 4 MATHEMATICAL MORPHOLOGY -- 4.1 Binary Morphology -- 4.2 Opening and Closing -- 4.3 Hit-or-Miss Transform -- 4.4 Grayscale Morphology -- 4.5 Basic Morphological Algorithms -- 4.6 Morphological Filters -- 5 IMAGE SEGMENTATION -- 5.1 Thresholding -- 5.2 Object (Component) Labeling -- 5.3 Locating Object Contours "]
[{"$nulls":4},"by the Snake Model -- 5.4 Edge Operators -- 5.5 Edge Linking by Adaptive Mathematical Morphology -- 5.6 Automatic Seeded Region Growing -- 5.7 A Top-Down Region Dividing Approach -- 6 DISTANCE TRANSFORMATION AND SHORTEST PATH PLANNING -- 6.1 General Concept -- 6.2 Distance Transformation by Mathematical Morphology -- 6.3 Approximation of Euclidean Distance -- 6.4 Decomposition of Distance Structuring Element -- 6.5 The 3D Euclidean Distance -- 6.6 The Acquiring Approaches -- 6.7 The Deriving Approaches -- 6.8 The Shortest Path Planning -- 6.9 Forward and Backward Chain Codes for Motion Planning -- 6.10 A Few Examples -- 7 IMAGE REPRESENTATION AND DESCRIPTION -- 7.1 Run-Length Coding -- 7.2 Binary Tree and Quadtree -- 7.3 Contour Representation -- 7.4 Skeletonization by Thinning -- 7.5 Medial Axis Transformation -- 7.6 Object Representation and Tolerance -- 8 FEATURE EXTRACTION -- 8.1 Fourier Descriptor and Moment Invariants -- 8.2 Shape Number and Hierarchical Features."]
[{"$nulls":4},"8.3 Corner Detection -- 8.4 Hough Transform -- 8.5 Principal Component Analysis -- 8.6 Linear Discriminate Analysis -- 8.7 Feature Reduction in Input and Feature Spaces -- 9 PATTERN RECOGNITION -- 9.1 The Unsupervised Clustering Algorithm -- 9.2 Bayes Classifier -- 9.3 Support Vector Machine -- 9.4 Neural Networks -- 9.5 The Adaptive Resonance Theory Network -- 9.6 Fuzzy Sets in Image Analysis -- PART II: APPLICATIONS -- 10 FACE IMAGE PROCESSING AND ANALYSIS -- 10.1 Face and Facial Feature Extraction -- 10.2 Extraction of Head and Face Boundaries and Facial Features -- 10.3 Recognizing Facial Action Units -- 10.4 Facial Expression Recognition in JAFFE Database -- 11 DOCUMENT IMAGE PROCESSING AND CLASSIFICATION -- 11.1 Block Segmentation and Classification -- 11.2 Rule-Based Character Recognition System -- 11.3 Logo Identification -- 11.4 Fuzzy Typographical Analysis for Character Preclassification -- 11.5 Fuzzy Model for Character Classification -- 12 IMAGE WATERMARKING -- 12.1 Watermarking Classification -- 12.2 Spatial Domain Watermarking -- 12.3 Frequency-Domain Watermarking -- 12.4 Fragile Watermark -- 12.5 Robust Watermark -- 12.6 Combinational Domain Digital Watermarking -- 13 IMAGE STEGANOGRAPHY -- 13.1 Types of Steganography -- 13.2 Applications of Steganography -- 13.3 Embedding Security and Imperceptibility -- 13.4 Examples of Steganography Software -- 13.5 Genetic Algorithm-Based Steganography -- 14 SOLAR IMAGE PROCESSING AND ANALYSIS -- 14.1 Automatic Extraction of Filaments -- 14.2 Solar Flare Detection -- 14.3 Solar Corona Mass Ejection Detection -- INDEX."]
[null,null,null,"Sommario/riassunto","A comprehensive guide to the essential principles of image processing and pattern recognition Techniques and applications in the areas of image processing and pattern recognition are growing at an unprecedented rate. Containing the latest state-of-the-art developments in the field, Image Processing and Pattern Recognition presents clear explanations of the fundamentals as well as the most recent applications. It explains the essential principles so readers will not only be able to easily implement the algorithms and techniques, but also lead themselves to discover new problems"]
[null,"2.","Record Nr.",null,"UNINA9910767587703321"]
[null,null,"Titolo",null,"Programming Languages and Systems : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / / edited by Peter Sestoft"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006"]
[null,null,"ISBN",null,"3-540-33096-8"]
[null,null,"Edizione",null,"[1st ed. 2006.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 342 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 3924"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space Analysis -- Haskell Is Not Not ML -- Coinductive Big-Step Operational Semantics -- Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent Calculus -- Pure Pattern Calculus -- A Verification Methodology for Model Fields -- ILC: A Foundation for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed Assembly Language for Confidentiality -- Flow Locks: Towards a Core Calculus for Dynamic Flow Policies -- A Basic Contract Language for Web Services -- Types for Dynamic Reconfiguration -- Size-Change Termination Analysis in k-Bits -- Path Optimization in Programs and Its Application to Debugging -- Inference of User-Defined Type Qualifiers and Qualifier Rules -- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions -- Embedding "]
[{"$nulls":4},"Dynamic Dataflow in a Call-by-Value Language -- Polymorphic Type Inference for the JNI -- Type Safety of Generics for the .NET Common Language Runtime -- The Weird World of Bi-directional Programming."]
[null,null,null,"Sommario/riassunto","ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events). We - ceived over 550 submissions to the ?ve conferences this year, giving an overall acc- tance rate of 23%, with acceptance rates below 30% for each conference. Congratu- tions to all the authors who made it to the ?nal programme! I hope that most of the other authorsstill founda way of participatingin this excitingevent and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive."]