Описание: 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.
Описание: 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 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.
Описание: 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 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.
Описание: 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.
Описание: This book constitutes the refereed proceedings of the 15th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2021, held in September 2021. The 9 full and 2 short papers were carefully reviewed and selected from 24 submissions. The papers are organized in topical secions on quantum computing;
Описание: 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.
