{"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":53,"n_cols":5,"rows_kept":53,"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],[3,2,3,3],[6,2,6,3],[7,2,7,3],[9,2,9,3],[11,2,11,3],[14,2,14,3],[15,2,15,3],[19,2,19,3],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[46,2,46,3],[47,2,47,3],[50,2,50,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910464523403321"]
[null,null,"Titolo",null,"Multimedia information extraction and digital heritage preservation [[electronic resource] /] / editors, Usha Mujoo Munshi, Bidyut Baran Chaudhuri ; series editor, Sankar K. Pal"]
[null,null,"Pubbl/distr/stampa",null,"Singapore, : World Scientific, 2011"]
[null,null,"ISBN",null,"1-283-23469-6"]
[{"$nulls":4},"9786613234698"]
[{"$nulls":4},"981-4307-26-2"]
[null,null,"Descrizione fisica",null,"1 online resource (413 p.)"]
[null,null,"Collana",null,"Statistical science and interdisciplinary research, , 1793-6195 ; ; v. 10"]
[{"$nulls":4},"Platinum jubilee series"]
[null,null,"Disciplina",null,"006.312"]
[{"$nulls":4},"025.84"]
[null,null,"Soggetti",null,"Genealogy"]
[{"$nulls":4},"Digital preservation - India"]
[{"$nulls":4},"Electronic books."]
[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,"Foreword; Preface; Contents; 1. Motivating Ontology-Driven Information Extraction Burcu Yildiz and Silvia Miksch; Abstract; 1.1 Introduction; 1.2 Information Extraction; 1.3 Related Work; 1.4 Ontology-driven Information Extraction Systems; 1.4.1 System Architecture; 1.4.2 The Ontology Management Module (OMM); 1.4.2.1 Ontology Learning and Population; 1.4.2.2 Ontology Integration; 1.4.2.3 Ontology Evolution; 1.4.3 Rule Generation Module; 1.4.4 The Extraction Module; 1.5 Conclusion and Future Work; References"]
[{"$nulls":4},"2. Ontology Based Access of Heritage Artifacts on the Web Santanu Chaudhury and Hiranmay GhoshAbstract; 2.1 Introduction; 2.2 Ontology for Multimedia; 2.3 Construction of Multimedia Ontology; 2.4 Concept Recognition using Multimedia Ontology; 2.5 Distributed Architecture for Digital Heritage Library; 2.6 Application Examples; Heritage; Heritage +; 2.7 Contextual Advertising in Heritage Libraries; 2.8 Conclusion; References; 3. Semantic Integration of Classical and Digital Libraries S. Thaddeus, A. Jeganathan, Gracy T. Leema; Abstract; 3.1 Introduction; 3.2 Motivation"]
[{"$nulls":4},"3.3 Overview of Semantic Technology3.4 Resource Ontology; 3.5 Solution Architecture; 3.6 Related Works; 3.7 Conclusion; References; "]
[{"$nulls":4},"Appendix; 4. Low-level Visual Features with Semantics-based Image Retrieval V.P. Subramanyam Rallabandi; Abstract; 4.1 Introduction; 4.2 General Concepts of Content-Based Image Retrieval; 4.2.1 Query by Picture Example; 4.2.2 Relevance Feedback; 4.2.3 Multi-feature Indexing; 4.2.4 High-level Semantics-based Image Retrieval; 4.3 Proposed Image Retrieval System; 4.3.1 R-Tree Structure SOM; 4.3.2 Self-organizing Relevance Feedback; 4.4 Low-level Visual Descriptors"]
[{"$nulls":4},"4.4.1 Color Feature Descriptors4.4.2 Texture Feature Descriptors; 4.4.3 Shape Feature Descriptors; 4.4.4 Iconic Image Analysis; 4.5. Semantic Analysis of Images; 4.5.1 Semantic Reasoning and Contextual Knowledge; 4.5.2 Analysis and Detection; 4.5.3 Reducing the Semantic Gap; 4.5.4 Evaluation of Semantic Reasoning Approach; 4.5.5 Image Retrieval using Semantic Content; 4.6 Experimental Results and Discussion; 4.6.1 Image Database; 4.6.2 Results and Discussion; 4.7 Conclusion; References"]
[{"$nulls":4},"5. Narrowing the Semantic Gap in Image Retrieval: A Multimodal Approach William I. Grosky and Rajeev AgrawalAbstract; 5.1 Introduction; 5.2 Multimodal Image Representation and Retrieval; 5.2.1 Representing Image Data; 5.2.2 Taking the Advantage of Modalities; 5.2.3 Modality Fusion Techniques; 5.2.4 Closing the Gap Using Various Image Features; 5.2.5 Approaches to Efficient Image Retrieval; 5.3 Dimensionality Reduction Techniques; 5.3.1 The Curse of Dimensionality; 5.3.1.1 The Problems Caused by High Dimensionality; 5.3.1.2 Overcoming the Curse; 5.3.2 Dimensionality Reduction Techniques"]
[{"$nulls":4},"5.4 A Framework for Multimodal-Based Image Retrieval"]
[null,null,null,"Sommario/riassunto","Multimedia Information Extraction and Digital Heritage Preservation is an edited volume of contributions by various distinguished researchers on issues in digital libraries, particularly in connection with heritage documents. This excellent collection of 21 papers covers various aspects of the problem. Cultural and scientific heritage resources are of fundamental value for human civilization, and their preservation is of utmost importance to mankind. Such preservation work has two aspects. First, the preservation of original objects and documents at source or in museums, and two, preservation"]
[null,"2.","Record Nr.",null,"UNINA9910144909603321"]
[null,null,"Titolo",null,"Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / / edited by Alan J. Hu, Moshe Y. Vardi"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998"]
[null,null,"ISBN",null,"3-540-69339-4"]
[null,null,"Edizione",null,"[1st ed. 1998.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 552 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 1427"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Logic design"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Logic Design"]
[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,"Nota di contenuto",null,"Synchronous programming of reactive systems -- Ten years of partial order reduction -- An ACL2 proof of write invalidate cache coherence -- Transforming the theorem prover into a digital design tool: From concept car to off-road vehicle -- A role for theorem proving in multi-processor design -- A formal method experience at secure computing corporation -- Formal methods in an industrial environment -- On checking model checkers -- Finite-state analysis of security protocols -- Integrating proof-based and model-checking techniques for the formal verification of cryptographic protocols -- Verifying systems with infinite but regular state spaces -- Formal verification of out-of-order execution using incremental flushing -- Verification of an implementation of Tomasulo's algorithm by compositional model checking -- Decomposing the proof of correctness of pipelined "]
[{"$nulls":4},"microprocessors -- Processor verification with precise exceptions and speculative execution -- Symmetry reductions in model checking -- Structural symmetry and model checking -- Using magnetic disk instead of main memory in the Mur ? verifier -- On-the-fly model checking of RCTL formulas -- From pre-historic to post-modern symbolic model checking -- Model checking LTL using net unforldings -- Model checking for a first-order temporal logic using multiway decision graphs -- On the limitations of ordered representations of functions -- BDD based procedures for a theory of equality with uninterpreted functions -- Computing reachable control states of systems modeled with uninterpreted functions and infinite memory -- Multiple counters automata, safety analysis and presburger arithmetic -- A comparison of Presburger engines for EFSM reachability -- Generating finite-state abstractions of reactive systems using decision procedures -- On-the-fly analysis of systems with unbounded, lossy FIFO channels -- Computing abstractions of infinite state systems compositionally and automatically -- Normed simulations -- An experiment in parallelizing an application using formal methods -- Efficient symbolic detection of global properties in distributed systems -- A machine-checked proof of the optimality of a real-time scheduling policy -- A general approach to partial order reductions in symbolic verification -- Correctness of the concurrent approach to symbolic verification of interleaved models -- Verification of timed systems using POSETs -- Mechanising BAN Kerberos by the inductive method -- Protocol verification in Nuprl -- You assume, we guarantee: Methodology and case studies -- Verification of a parameterized bus arbitration protocol -- The ‘test model-checking’ approach to the verification of formal memory models of multiprocessors -- Design constraints in symbolic model checking -- Verification of floating-point adders -- Xeve, an Esterel verification environment -- InVeSt : A tool for the verification of invariants -- Verifying mobile processes in the HAL environment -- MONA 1.x: New techniques for WS1S and WS2S -- MOCHA: Modularity in model checking -- SCR: A toolset for specifying and analyzing software requirements -- A toolset for message sequence charts -- Real-time verification of Statemate designs -- Optikron: A tool suite for enhancing model-checking of real-time systems -- Kronos: A model-checking tool for real-time systems."]
[null,null,null,"Sommario/riassunto","This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice."]