LEADER 07017nam 22008175 450 001 996466299503316 005 20200706053232.0 010 $a3-642-38267-3 024 7 $a10.1007/978-3-642-38267-3 035 $a(CKB)3280000000007639 035 $a(DE-He213)978-3-642-38267-3 035 $a(SSID)ssj0000904601 035 $a(PQKBManifestationID)11943838 035 $a(PQKBTitleCode)TC0000904601 035 $a(PQKBWorkID)10921008 035 $a(PQKB)11170792 035 $a(MiAaPQ)EBC3093182 035 $a(PPN)170491951 035 $a(EXLCZ)993280000000007639 100 $a20130520d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aScale Space and Variational Methods in Computer Vision$b[electronic resource] $e4th International Conference, SSVM 2013, Schloss Seggau, Graz, Austria, June 2-6, 2013, Proceedings /$fedited by Arjan Kuijper, Kristian Bredies, Thomas Pock, Horst Bischof 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XII, 514 p. 196 illus.) 225 1 $aImage Processing, Computer Vision, Pattern Recognition, and Graphics ;$v7893 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-38266-5 327 $aImage Denoising and Restoration Targeted Iterative Filtering -- Generalized Gradient on Vector Bundle ? Application to Image Denoising -- Expert Regularizers for Task Specific Processing -- A Spectral Approach to Total Variation -- Convex Generalizations of Total Variation Based on the Structure Tensor with Applications to Inverse Problems -- Adaptive Second-Order Total Variation: An Approach Aware of Slope Discontinuities -- Variational Methods for Motion Deblurring with Still Background -- Blind Deblurring Using a Simplified Sharpness Index -- A Cascadic Alternating Krylov Subspace Image Restoration Method -- B-SMART: Bregman-Based First-Order Algorithms for Non-negative Compressed Sensing Problems -- Epigraphical Projection for Solving Least Squares Anscombe Transformed Constrained Optimization Problems -- Image Enhancement and Texture Synthesis Static and Dynamic Texture Mixing Using Optimal Transport -- A TGV Regularized Wavelet Based Zooming Model -- Anisotropic Third-Order Regularization for Sparse Digital Elevation Models -- A Fast Algorithm for Exact Histogram Specification. Simple Extension to Colour Images -- Constrained Sparse Texture Synthesis -- Outlier Removal Power of the L1-Norm Super-Resolution -- Optical Flow and 3D Reconstruction Why Is the Census Transform Good for Robust Optic Flow Computation? -- Generalised Perspective Shape from Shading in Spherical Coordinates -- Weighted Patch-Based Reconstruction: Linking (Multi-view) Stereo to Scale Space -- Optical Flow on Evolving Surfaces with an Application to the Analysis of 4D Microscopy Data -- Perspective Photometric Stereo with Shadows -- Solving the Uncalibrated Photometric Stereo Problem Using Total Variation -- Minimizing TGV-Based Variational Models with Non-convex Data Terms -- A Mathematically Justified Algorithm for Shape from Texture -- Scale Space and Partial Differential Equations Multi Scale Shape Index for 3D Object Recognition -- Compression of Depth Maps with Segment-Based Homogeneous Diffusion -- Scale Space Operators on Hierarchies of Segmentations -- Discrete Deep Structure -- Image Matching Using Generalized Scale-Space Interest Points -- A Fully Discrete Theory for Linear Osmosis Filtering -- L2-Stable Nonstandard Finite Differences for Anisotropic Diffusion -- Relations between Amoeba Median Algorithms and Curvature-Based PDEs -- Image and Shape Analysis, Segmentation Scale and Edge Detection with Topological Derivatives -- Active Contours for Multi-region Image Segmentation with a Single Level Set Function -- Regularized Discrete Optimal Transport -- Variational Method for Computing Average Images of Biological Organs -- A Hierarchical Approach to Optimal Transport -- Layered Mean Shift Methods -- Partial Optimality via Iterative Pruning for the Potts Model -- Wimmelbild Analysis with Approximate Curvature Coding Distance Images -- Defect Classification on Specular Surfaces Using Wavelets. 330 $aThis book constitutes the refereed proceedings of the 4th International Conference on Scale Space Methods and Variational Methods in Computer Vision, SSVM 2013, held in Schloss Seggau near Graz, Austria, in June 2013. The 42 revised full papers presented were carefully reviewed and selected 69 submissions. The papers are organized in topical sections on image denoising and restoration, image enhancement and texture synthesis, optical flow and 3D reconstruction, scale space and partial differential equations, image and shape analysis, and segmentation. 410 0$aImage Processing, Computer Vision, Pattern Recognition, and Graphics ;$v7893 606 $aOptical data processing 606 $aComputer graphics 606 $aPattern recognition 606 $aAlgorithms 606 $aApplication software 606 $aComputers 606 $aImage Processing and Computer Vision$3https://scigraph.springernature.com/ontologies/product-market-codes/I22021 606 $aComputer Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22013 606 $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 615 0$aOptical data processing. 615 0$aComputer graphics. 615 0$aPattern recognition. 615 0$aAlgorithms. 615 0$aApplication software. 615 0$aComputers. 615 14$aImage Processing and Computer Vision. 615 24$aComputer Graphics. 615 24$aPattern Recognition. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aComputation by Abstract Devices. 676 $a006.37 702 $aKuijper$b Arjan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBredies$b Kristian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPock$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBischof$b Horst$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466299503316 996 $aScale Space and Variational Methods in Computer Vision$9773149 997 $aUNISA LEADER 04255nam 22005771 450 001 996205386303316 005 20170821165815.0 010 $a1-84919-356-8 035 $a(CKB)1000000000035980 035 $a(EBL)3012195 035 $a(SSID)ssj0000558499 035 $a(PQKBManifestationID)12219679 035 $a(PQKBTitleCode)TC0000558499 035 $a(PQKBWorkID)10560156 035 $a(PQKB)10047964 035 $a(MiAaPQ)EBC3012195 035 $a(EXLCZ)991000000000035980 100 $a19900912d1990 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aManaging complexity in software engineering /$fedited by R.J. Mitchell 210 1$aLondon :$cPeregrinus on behalf of the Institution of Electrical Engineers,$d1990. 215 $a1 online resource (279 p.) 225 1 $aProfessional Applications of Computing 225 0$aIEE computing series ;$v17 300 $aDescription based upon print version of record. 311 $a0-86341-171-1 320 $aIncludes bibliographical references and index. 327 $a""Cover""; ""Half-title""; ""Title""; ""Copyright""; ""Contents""; ""Preface ""; ""List of contributors ""; ""Development paradigms ""; ""1 Paradigms of modular system development M. Goedicke ""; ""2 The evolution of object-oriented design from concept to method N. W. Davis, M. Irving and J. E. Lee "" 327 $a""3 The role of formal methods in managing complexity R. Shaw """"4 Putting mathematics to use M. J. Loomes ""; ""5 The theory of organisation: a mathematical treatment of processing structures H. von Issendorff ""; ""Project management "" 327 $a""6 The need for a quality culture for software development A. J. R. Voss """"7 Quality metrics for software management and engineering W. D. Itzfeldt ""; ""8 Measuring to manage B. A. Kitchenham ""; ""9 Structuring routine interactions in software engineering P. J. PA?¶yhA?¶nen""; ""Automated development support "" 327 $a""10 Methods and tools F. Tontsch """"11 Development support environments G. C. Oddy ""; ""12 Structuring for managing complexity J.-P. Bourguignon ""; ""13 A method-driven support environment J. Cazin, R. Jacquart, M. Lemoine and P. Michel "" 327 $a""14 Automated support for marrying requirements to programs W. J. Quirk """"15 Configuration support for system description, construction and evolution J. Kramer, J. Magee and M. Sloman ""; ""Index ""; ""BackCover"" 410 0$aProfessional Applications of Computing 606 $aComputer software$xDevelopment$vCongresses 606 $aComputer programming$xManagement$vCongresses 615 0$aComputer software$xDevelopment 615 0$aComputer programming$xManagement 676 $a005.1 701 $aMitchell$b R. J.$cDr.$0845291 712 02$aInstitution of Electrical Engineers. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996205386303316 996 $aManaging complexity in software engineering$91886209 997 $aUNISA LEADER 00657nam a2200169Ia 4500 001 991000240469707536 008 220516s9999||||xx |||||||||||||| ||und|| 035 $ab14445207-39ule_inst 040 $aBibl. Dip.le Aggr. Beni Culturali - Sez. Beni Culturali$bita 245 0$aKarl Shmidt Rottluff :$bWerke aus den Kunstsammlungen Chemnitz 260 $a$bAltana,$c2002 907 $a.b14445207$b19-05-22$c19-05-22 912 $a991000240469707536 945 $aLE001 Fondo Ricci 0559$g0$lle001$o $pE17.57$q $rn$so $t0$u0$v0$w0$x0$y.i16018254$z19-05-22 996 $aKarl Shmidt Rottluff$92840255 997 $aUNISALENTO 998 $ale001$b19-05-22$cm$da $e-$fund$gxx $h0$i1