Описание: This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions.
Описание: This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions.
Описание: Enhancing expressivity of checked corecursive streams.- Improving Type Error Reporting for Type Classes.- Asynchronous Unfold/Fold Transformation for Fixpoint Logic.- Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL.- Generating C (System Description).- Translation Certification for Smart Contracts.- Zipping Strategies and Attribute Grammars.- Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform.- Scheduling Complexity of Interleaving Search.- Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming (System Description).- A Functional Account of Probabilistic Programming with Possible Worlds (Declarative Pearl).- Explanations as Programs in Probabilistic Logic Programming.- FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data.- A Lazy Desugaring System for Evaluating Programs with Sugars.- On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs.
Описание: This book constitutes the proceedings of the 4th International Symposium on Intelligent Computing Systems, ISICS 2022, held in Santiago, Chile, in March 2022. Due to the COVID-19 pandemic the conference was held online. The 9 full papers along with 2 short papers presented in this volume were carefully reviewed and selected from 30 submissions. They deal with the field of intelligent computing systems focusing on artificial intelligence, computer vision and image processing.
Описание: Deep Learning.- Regularization and Sparsity for Adversarial Robustness and Stable Attribution.- Self-Competitive Neural Networks.- A Novel Contractive GAN Model for a Unified Approach Towards Blind Quality Assessment of Images from Heterogeneous Sources.- Nonconvex Regularization for Network Slimming: Compressing CNNs Even More.- Biologically Inspired Sleep Algorithm for VariationalAuto-Encoders.- A Deep Genetic Programming based Methodology for Art Media Classification Robust to Adversarial Perturbations.- rcGAN: Learning a generative model for arbitrary size image generation.- Sketch-Inspector: a Deep Mixture Model for High-Quality Sketch Generation of Cats.- Depthwise Separable Convolutions and Variational Dropout within the context of YOLOv3.- Uncertainty Estimates in Deep Generative Models using Gaussian Processes.- Segmentation.- Towards Optimal Ship Navigation Using Image Processing.- Overscan Detection in Digitized Analog Films by Precise Sprocket Hole Segmentation.- Pixel-level Corrosion Detection on Metal Constructions by Fusion of Deep Learning Semantic and Contour Segmentation.- CSC-GAN: Cycle and semantic consistency for dataset augmentation.- Improvements on the Superpixel Hierarchy Algorithm with Applications to Image Segmentation and Saliency Detection.- Visualization.- Referenced Based Color Transfer for Medical Volume Rendering.- An Empirical Methodological Study of Evaluation Methods Applied to Educational Timetabling Visualizations.- Real-Time Contrast Enhancement for 3DMedical Images using Histogram Equalization.- Flow Map Processing by Space-Time Deformation.- GenExplorer: Visualizing and Comparing Gene Expression Levels via Differential Charts.- Video Analysis and Event Recognition.- An Event-Based Hierarchical Method for Customer Activity Recognition in Retail Stores.- Fully Autonomous UAV-based Action Recognition System Using Aerial Imagery.- Hierarchical Action Classification with Network Pruning.- An Approach Towards Action Recognition using Part Based Hierarchical Fusion.- ST: Computational Bioimaging.- Ensemble Convolutional Neural Networks for the Detection of Microscopic Fusarium Oxysporum.- Offline versus Online Triplet Mining based on Extreme Distances of Histopathology Patches.- Multi-Label Classification of Panoramic Radiographic Images using a Convolutional Neural Network.- Ink Marker Segmentation in Histopathology Images Using Deep Learning.- P-FideNet: Plasmodium Falciparum Identification Neural Network.- Applications.- Lightless Fields: Enhancement and Denoising of Light-defficient Light Fields.- FA3D: Fast and Accurate 3D Object Detection.- Generalized Inverted Dirichlet Optimal predictor for Image inpainting.- BVNet: A 3D End-to-end Model Based on Point Cloud.- Evaluating Single Image Dehazing Methods Under Realistic Sunlight Haze.- Biometrics.- Deep Partial Occlusion Facial Expression Recognition via Improved CNN.- Towards an Effective Approach for Face Recognition with DCGANs Data Augmentation.- Controlled AutoEncoders to Generate Faces from Voices.- Gender and Age Estimation without Facial Information from Still Images.- Face Reenactment Based Facial Expression Recognition.- Motion and Tracking.- Coarse-to-Fine Object Tracking Using Deep Features and Correlation Filters.- Asynchronous Corner Tracking Algorithm based on Lifetime of Events for DAVIS Cameras.- TAGCN: Topology-Aware Graph Convolutional Network for Trajectory Prediction.- 3D articulated body model using anthropometric control points and an articulation video.- Body Motion Analysis for Golf Swing Evaluation.- Computer Graphics.- Simulation of High-Definition Pixel-Headlights.- ConcurrentHull: A Fast Parallel Computing Approach to the Convex Hull Problem.- A Data-Driven Creativity Measure for 3D Shapes.- Virtual Reality.- Walking in a Crowd Full of Virtual Characters: Effects of Virtual Character Appearance on Human Movement Behavior.- I
Описание: This book presents selected papers from the 23rd Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2019), which was held in Tottori, Japan, on December 6-8, 2019. Today, various types of intelligent system can be found everywhere.
Polynomial Invariants for Affine Programs.- Cost Analysis of Smart Contracts via Parametric Resource Analysis.- Memory-Efficient Fixpoint Computation.- Abstract Neural Networks.- Termination of Polynomial Loops.- Stratified Guarded First-order Transition Systems.- Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking.- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis.- Harming Dynamic Analysis.- Simple and Efficient Computation of Minimal Weak Control Closure.- A Library Modeling Language for the Static Analysis of C Programs.- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries.- Probabilistic Lipschitz Analysis of Neural Networks.- On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs.- Exact and Linear-Time Gas-Cost Analysis.- Farkas-Based Tree Interpolation.
Описание: This book constitutes the refereed proceedings of the Third Multidisciplinary International Symposium on Disinformation in Open Online Media, MISDOOM 2021, held in September 2021. The papers focus on health misinformation, hate speech, misinformation diffusion, news spreading behaviour and mitigation, harm-aware news recommender systems.
Описание: This book contains a collection of the papers accepted in the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2014), which was held in Singapore from 10-12th November 2014. The papers contained in this book demonstrate notable intelligent systems with good analytical and/or empirical results.
Описание: Object Recognition/Detection/Categorization.- Few-shot Image Recognition with Manifolds.- A scale-aware YOLO model for pedestrian detection.- Image categorization using Agglomerative clustering based smoothed Dirichlet mixtures.- SAT-CNN: A Small Neural Network for Object Recognition from Satellite Imagery.- Domain Adaptive Transfer Learning on Visual Attention Aware Data Augmentation for Fine-grained Visual Categorization.- 3D Reconstruction.- A Light-Weight Monocular Depth Estimation With Edge-Guided Occlusion Fading Reduction.- Iterative Closest Point with Minimal Free Space Constraints.- Minimal Free Space Constraints for Implicit Distance Bounds.- Medical Image Analysis.- Fetal Brain Segmentation using Convolutional Neural Networks with Fusion Strategies.- Fundus2Angio: A Novel Conditional GAN Architecture for Generating Fluorescein Angiography Images from Retinal Fundus Photography.- Multiscale Detection of Cancerous Tissue in High Resolution Slide Scans.- DeepTKAClassi er: Brand Classification of Total Knee Arthroplasty Implants using Explainable Deep Convolutional Neural Networks.- Multi-modal Image Fusion based on Weight Local Features and Novel Sum-Modified-Laplacian in Non-Subsampled Shearlet Transform Domain.- Robust Prostate Cancer Classification with Siamese Neural Networks.- Vision for Robotics.- Simple Camera-to-2D-LiDAR Calibration Method for General Use.- SalsaNext: Fast, Uncertainty-aware Semantic Segmentation of LiDAR Point Clouds.- Mobile Manipulator Robot Visual Servoing and Guidance for Dynamic Target Grasping.- Statistical Pattern Recognition.- Interpreting Galaxy Deblender GAN from the Discriminator's Perspective.- Variational Bayesian Sequence to Sequence Networks for Memory-Efficient Sign Language Translation.- A Gaussian Process Upsampling Model for Improvements in Optical Character Recognition.- Posters.- Video based fire detection using Xception and ConvLSTM.- Highway Traffic Classification for the Perception Level of Situation Awareness.- 3D-CNN for Facial Emotion Recognition in Videos.- Reducing Triangle Inequality Violations with Deep Learning and Its Application to Image Retrieval.- A Driver Guidance System to Support the Stationary Wireless Charging of Electric Vehicles.- An Efficient Tiny Feature Map Network For Real-Time Semantic Segmentation.- A Modified Syn2Real Network for Nighttime Rainy Image Restoration.- Unsupervised domain adaptation for person re-identification with few and unlabeled target data.- How Does Computer Animation Affect Our Perception Of Emotions in Video Summarization?.- Where's Wally: A Gigapixel Image Study for Face Recognition in Crowds.- Optical Flow Based Background Subtraction with a Moving Camera: Application to Autonomous Driving.- Deep Facial Expression Recognition with Occlusion Regularization.- Semantic Segmentation with Peripheral Vision.- Generator From Edges: Reconstruction of Facial Images.- CD2: Combined Distances of Contrast Distributions for Image Quality Analysis.- Real-Time Person Tracking and Association on Doorbell Cameras.- MySnapFoodLog: Culturally Sensitive FoodPhoto-Logging App for Dietary BiculturalismStudies.- Hand Gesture Recognition Based on the Fusion of Visual and Touch Sensing Data.- Gastrointestinal Tract Anomaly Detection from Endoscopic Videos using Object Detection Approach.- A multimodal high level video segmentation for content targeted online advertising.- AI Playground: Unreal Engine-based Data Ablation Tool for Deep Learning.- Homework Helper: Providing Valuable Feedback on Math Mistakes.- Interface Design for HCI Classroom: From Learners' Perspective.- Pre-trained Convolutional Neural Network for the Diagnosis of Tuberculosis.- Near-Optimal Concentric Circles Layout.- Facial Expression Recognition and Ordinal Intensity Estimation: A Multilabel Learning Approach.- Prostate MRI Registration Using Siamese Metric Learning.- Unsupervised Anomaly Detection of the First Pers
Описание: This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020.The 16 full papers, 7 short and 2 invited papers presented were carefully reviewed and selected from 44 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
