Автор: Campilho Название: Image Analysis and Recognition ISBN: 331941500X ISBN-13(EAN): 9783319415000 Издательство: Springer Рейтинг: Цена: 12298.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Adaptation Approaches in Unsupervised Learning: A Survey of the State-of-the-art and Future Directions.- Semi-supervised Dictionary Learning Based on Hilbert-Schmidt Independence Criterion.- Transferring and Compressing Convolutional Neural Networks for Face Representations.- High-Frequency Spectral Energy Map Estimation Based Gait Analysis System Using a Depth Camera for Pathology Detection.- Combining low-level features of o_ine questionnaires for handwriting identification.- Person Profiling Using Image and Facial Attributes Analyses on Unconstrained Images Retrieved from Online Sources.- Palm Print Identification and Verification using a Genetic-based Feature Extraction Technique.- PCA-based Face recognition: Similarity Measures and Number of Eigenvectors.- Image Enhancement and Restoration Sinogram Restoration Using Confidence Maps to Reduce Metal Artifact in Computed Tomography.- Enhancement of a Turbulent Degraded Frame using 2D-DTW Averaging.- Denoising Multi-view Images Using Non-local Means with Different Similarity Measures.- Image Denoising Using Euler-Lagrange Equations for Function-Valued Mappings.- Run Time Performance Enhancement of a Superpixel Based Saliency Detection Model.- Total Variation Minimization for Measure-Valued Images with Diffusion Spectrum Imaging as Motivation.- Quality Assessment of Spectral Reproductions: the Camera's Perspective.- An Image Database for Design and Evaluation of Visual Quality Metrics in Synthetic Scenarios.- Perceptual Comparison of Multi-Exposure High Dynamic Range and Single-Shot Camera RAW Photographs.- Objective image quality measures of degradation in compressed natural images and their comparison with subjective assessments.- Cell Segmentation Using Level Set Methods with a New Variance Term.- Video Object Segmentation based on Superpixel Trajectories.- Automatic Nonlinear Filtering and Segmentation for Breast Ultrasound Images.- Phenotypic Integrated Framework for Classi_cation of ADHD using fMRI 197.- Counting People in Crowded Scenes via Detection and Regression Fusion.- Multi-graph Based Salient Object Detection.- Analysis of temporal coherence in videos for action recognition.- Effectiveness of Camouage Make-up Patterns Against Face Detection Algorithms.- A Comparative Study of Vision-based Tra_c Signs Recognition.- A copy-move detection algorithm using binary gradient contours.- Object Detection and Localization using Deep Convolutional Networks with Softmax Activation and Multi-class Log Loss.- Clustering-Based Abnormal Event Detection: Experimental Comparison for Similarity Measures' Efficiency.- Improved DSP Matching with RPCA for Dense Correspondences.- Bio-Inspired Boosting for Moving Objects Segmentation.- A Lightweight Face Tracking System for Video Surveillance.- Single Droplet Tracking in Jet Flow.- Video Based Group Tracking and Management.- Calibration of Shared Flat Refractive Stereo Systems.- 3D Structured Light Scanner on the Smartphone.- Stereo and active-sensor data fusion for improved stereo Block Matching.- Dense Light Disparity Estimation using Total Variation Regularization.- Target Position and Speed Estimation using LiDAR.- Combining Shape And Color for 3D Object Recognition.- Privacy-Preserving Fall Detection in Healthcare using Shape and Motion Features from Low-Resolution RGB-D Videos.- Proprioceptive Visual Tracking of a Humanoid Robot Head Motion.- A Hybrid Top-down Bottom-up Approach for the Detection of Cuboid Shaped Objects.- The Impact of Convergence Cameras in a Stereoscopic System for AUVs.- Gender recognition from face images using a fusion of SVM classifiers.- Kinship Verification from Faces via Similarity Metric Based Combination of topological and local shape features for writer's gender, handedness and age classification.- Selection of User-Dependent Cohorts using Bezier Curves for Person Bag of Visual Words Approach for Bleeding Detection in Wireless Capsule Endoscopy Images.- A self-learning tumor segmen
Описание: This thesis introduces novel and significant results regarding the analysis and synthesis of positive systems, especially under l1 and L1 performance. It describes stability analysis, controller synthesis, and bounding positivity-preserving observer and filtering design for a variety of both discrete and continuous positive systems.It subsequently derives computationally efficient solutions based on linear programming in terms of matrix inequalities, as well as a number of analytical solutions obtained for special cases. The thesis applies a range of novel approaches and fundamental techniques to the further study of positive systems, thus contributing significantly to the theory of positive systems, a “hot topic” in the field of control.
Автор: van Eekelen Название: Foundational and Practical Aspects of Resource Analysis ISBN: 3319465589 ISBN-13(EAN): 9783319465586 Издательство: Springer Рейтинг: Цена: 5870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.
Описание: This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016.
Автор: Artho Название: Automated Technology for Verification and Analysis ISBN: 3319465198 ISBN-13(EAN): 9783319465197 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. Markov models, chains, and decision processes;
Автор: Jens Palsberg; Zhendong Su Название: Static Analysis ISBN: 3642032362 ISBN-13(EAN): 9783642032363 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
Описание: Complex behavior models (plasticity, cracks, visco elascticity) face some theoretical difficulties for the determination of the behavior law at the continuous scale.
Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.
Автор: Standaert Название: Constructive Side-Channel Analysis and Secure Design ISBN: 3319432826 ISBN-13(EAN): 9783319432823 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the 7th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2016, held in Graz, Austria, in April 2016. The 12 papers presented in this volume were carefully reviewed and selected from 32 submissions. They were organized in topical sections named: security and physical attacks; side-channel analysis (case studies); fault analysis; and side-channel analysis (tools).
Автор: Fr?nzle Название: Formal Modeling and Analysis of Timed Systems ISBN: 3319448773 ISBN-13(EAN): 9783319448770 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. They are organized in topical sections entitled: modeling timed phenomena;
Автор: Douzal-Chouakria Название: Advanced Analysis and Learning on Temporal Data ISBN: 3319444115 ISBN-13(EAN): 9783319444116 Издательство: Springer Рейтинг: Цена: 5870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The last part of the book is dedicated to metric learning and time series comparison, it addresses the problem of speeding-up the dynamic time warping or dealing with multi-modal and multi-scale metric learning for time series classification and clustering.
Автор: Bostr?m Название: Advances in Intelligent Data Analysis XV ISBN: 3319463489 ISBN-13(EAN): 9783319463483 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed conference proceedings of the 15th International Conference on Intelligent Data Analysis, which was held in October 2016 in Stockholm, Sweden. The traditional focus of the IDA symposium series is on end-to-end intelligent support for data analysis.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
