{"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":51,"n_cols":5,"rows_kept":51,"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],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[17,2,17,3],[18,2,18,3],[22,2,22,3],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[44,2,44,3],[45,2,45,3],[48,2,48,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465948703316"]
[null,null,"Titolo",null,"Computer Analysis of Images and Patterns [[electronic resource] ] : 10th International Conference, CAIP 2003, Groningen, The Netherlands, August 25-27, 2003, Proceedings / / edited by Nicolai Petkov, Michel A. Westenberg"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003"]
[null,null,"ISBN",null,"3-540-45179-X"]
[null,null,"Edizione",null,"[1st ed. 2003.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVIII, 786 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2756"]
[null,null,"Disciplina",null,"006.4/2"]
[null,null,"Soggetti",null,"Optical data processing"]
[{"$nulls":4},"Natural language processing (Computer science)"]
[{"$nulls":4},"Computer graphics"]
[{"$nulls":4},"Pattern recognition"]
[{"$nulls":4},"Image Processing and Computer Vision"]
[{"$nulls":4},"Science, Humanities and Social Sciences, multidisciplinary"]
[{"$nulls":4},"Natural Language Processing (NLP)"]
[{"$nulls":4},"Computer Graphics"]
[{"$nulls":4},"Pattern Recognition"]
[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,"Analysis and Understanding -- Video -- Segmentation -- Shape -- Classification -- Face Recognition -- Interpolation and Spatial Transformations -- Filtering."]
[null,null,null,"Sommario/riassunto","This volume presents the proceedings of the 10th International Conference on Computer Analysis of Images and Patterns (CAIP 2003). This conference - ries started about 18 years ago in Berlin. Initially, the conference served as a forum for meetings between scientists from Western- and Eastern-bloc co- tries. Nowadays, the conference attracts participants from all over the world. The conference gives equal weight to posters and oral presentations, and the selected presentation mode is based on the most appropriate communication medium. The programme follows a single-track format, rather than parallel s- sions. Non-overlapping oral and poster sessions ensure that all attendees have the opportunity to interact personally with presenters. As for the "]
[{"$nulls":4},"numbers, we received a total of 160 submissions. All papers were reviewed by two to three members of the Programme Committee. The ?nal - lection was carried out by the Conference Chairs. Out of the 160 papers, 42 were selected for oral presentation and 52 as posters. At this point, we wish to thank the Programme Committee and additional referees for their timely and high-quality reviews. The paper submission and review procedure was carried out electronically. We thank Marcin Morg´ os from Scalar–IT Solutions for p- viding us with the Web-based participant registration system. We also thank the invited speakers Nicholas Ayache, John Daugman, and Dariu Gavrila, for kindly accepting our invitation."]
[null,"2.","Record Nr.",null,"UNINA9910143455203321"]
[null,null,"Titolo",null,"Foundations of Software Science and Computation Structures [[electronic resource] ] : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / / edited by Maurice Nivat"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998"]
[null,null,"ISBN",null,"3-540-69720-9"]
[null,null,"Edizione",null,"[1st ed. 1998.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XI, 297 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 1378"]
[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},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Computation by Abstract Devices"]
[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,"Generalizing domain theory -- A cook's tour of equational axiomatizations for prefix iteration -- The WHILE hierarchy of program schemes is infinite -- Analysis of a guard condition in type theory -- An event structure semantics for P/T contextual nets: Asymmetric event structures -- Pumping Lemmas for timed automata -- Asynchronous Observations of Processes -- Minor searching, normal forms of graph relabelling: Two applications based on enumerations by graph relabelling -- Partial metrics and co-continuous valuations -- Mobile ambients -- Rational term rewriting -- The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations -- Net refinement by pullback rewriting -- On piecewise testable, starfree, "]
[{"$nulls":4},"and recognizable picture languages -- Functor categories and two-level languages -- Deciding properties for message sequence charts -- The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages -- Deterministic rational transducers and random sequences -- Resource based models for asynchrony."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory."]