02299nlm0 22006251i 450 9900092544304033219783540710677000925443FED01000925443(Aleph)000925443FED0100092544320100926d2008----km-y0itay50------baengDEdrnn-008mamaaTheorem Proving in Higher Order LogicsRisorsa elettronica21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedingsedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Otmane Ait Mohamed, César Muñoz, Sofiène TaharBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435170Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Mohamed,Otmane AitMuñoz,CésarNaor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTahar,SofièneTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-71067-7EB990009254430403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic DesignLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringTheorem Proving in Higher Order Logics772309UNINA04766nam 22007455 450 99646594870331620200701033255.03-540-45179-X10.1007/b13427(CKB)1000000000212183(SSID)ssj0000322089(PQKBManifestationID)11257613(PQKBTitleCode)TC0000322089(PQKBWorkID)10280319(PQKB)11689826(DE-He213)978-3-540-45179-2(MiAaPQ)EBC3088188(PPN)155215620(EXLCZ)99100000000021218320121227d2003 u| 0engurnn|008mamaatxtccrComputer 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. Westenberg1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (XVIII, 786 p.) Lecture Notes in Computer Science,0302-9743 ;2756Bibliographic Level Mode of Issuance: Monograph3-540-40730-8 Includes bibliographical references and index.Analysis and Understanding -- Video -- Segmentation -- Shape -- Classification -- Face Recognition -- Interpolation and Spatial Transformations -- Filtering.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 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.Lecture Notes in Computer Science,0302-9743 ;2756Optical data processingNatural language processing (Computer science)Computer graphicsPattern recognitionImage Processing and Computer Visionhttps://scigraph.springernature.com/ontologies/product-market-codes/I22021Science, Humanities and Social Sciences, multidisciplinaryhttps://scigraph.springernature.com/ontologies/product-market-codes/A11007Natural Language Processing (NLP)https://scigraph.springernature.com/ontologies/product-market-codes/I21040Computer Graphicshttps://scigraph.springernature.com/ontologies/product-market-codes/I22013Pattern Recognitionhttps://scigraph.springernature.com/ontologies/product-market-codes/I2203XOptical data processing.Natural language processing (Computer science).Computer graphics.Pattern recognition.Image Processing and Computer Vision.Science, Humanities and Social Sciences, multidisciplinary.Natural Language Processing (NLP).Computer Graphics.Pattern Recognition.006.4/2 Petkov Nicolaiedthttp://id.loc.gov/vocabulary/relators/edtWestenberg Michel Aedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Computer Analysis of Images and PatternsMiAaPQMiAaPQMiAaPQBOOK996465948703316Computer Analysis of Images and Patterns772514UNISA01424nam 2200361 n 450 99638817210331620221108045427.0(CKB)1000000000634545(EEBO)2248547771(UnM)99853044(EXLCZ)99100000000063454519920529d1637 uy |engurbn||||a|bb|Three sermons[electronic resource] tvvo of them appointed for the Spittle, preached in St. Pauls Church, by John Squier, vicar of St. Leonards Shoredich in Middlesex: and John Lynch, parson of Herietsham in KentLondon Printed by Robert Young for Humfrey Blunden, neere the Castle Taverne in Corne-hill1637[4], 108 p"Pascha Christianum .. By John Lynch" and "A sermon, preached in S. Pauls Church in London, by John Squier priest" each have separate dated title page; register and pagination are continuous.Reproduction of the original in the British Library.eebo-0018Sermons, English17th centurySermons, EnglishSquire Johnca. 1588-1653.1003027Lynch John1590 or 91-1680.autCu-RivESCu-RivESUk-ESCStRLINWaOLNBOOK996388172103316Three sermons2318191UNISA