Описание: Extended Workshop Papers.- Active Semantic Relations in Layered Enterprise Architecture Development.- A Belief Update System Using an Event Model for Location of People in a Smart Home.- A Natural Language Generation Technique for Automated Psychotherapy.- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution.- Set Visualisations with Euler and Hasse Diagrams.- Usage Patterns Identification Using Graphs and Machine Learning.- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination.- Invited Additional Contributions.- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification.- Galois Connections for Patterns: An Algebra of Labelled Graphs.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions.
Описание: This book constitutes the proceedings of the 7th International Workshop on Graphical Models for Security, GramSec 2020, which took place on June 22, 2020. The 7 full and 3 short papers presented in this volume were carefully reviewed and selected from 14 submissions.
Описание: This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Reproducible Research in Pattern Recognition, RRPR 2021, held as a virtual event, in January 2021. The 8 revised full papers, presented together with 6 short papers, were carefully reviewed and selected from 18 submissions.
Описание: Dynamic Pick and Place Trajectory of Delta Parallel Manipulator.- Design of aquatic product traceability coding scheme based on EPC label.- DEVS-based Modeling and Simulation of Wireless Sensor Network.- Spatial Reciprocity Aided CSI Acquirement for HST Massive MIMO.- A flexible film thermocouple temperature sensor.- Design of a Morphing Surface Using Auxetic Lattice Skin for Space-Reconfigurable Reflectors.- The Method of User Information Fusion Oriented to Manufacturing Service Value Net.- Image Fusion Method for Transformer Substation Based on NSCT and Visual Saliency.- Permission Dispatching Mechanism Inside and Outside of the Warranty Period for Equipment Maintenance Service System.- New Technology Development and Application Trends Based on Monitoring of Patent Data.- A K-means clustering optimization algorithm for spatiotemporal trajectory data.- Temporal and Spatial Changes of Ecosystem Health in Guangdong Province in Recent 11 years.- Salient Attention Model and Classes Imbalance Remission for Video Anomaly Analysis with Weak Label.- A Data Fusion Model based on Multi-source Non-real-time Intelligence.- Ancient Chinese Lexicon Construction Based on Unsupervised Algorithm of Minimum Entropy and CBDB Optimization.- Availability Analysis of GNSS RAIM based on Maximum Undetectable Position Bias.- Psychological semantic differences of Zhang Juzheng before and after DuoQing event.- Digital Rights Management Platform Based on Blockchain Technology.- A Deep Hybrid Neural Network Forecasting for Multivariate Non-stationary Time Series.- Risk Assessment of Flood Disasters in Hechi City Based on GIS.- Cultural Symbol Recognition Algorithm Based on CTPN+CRNN.- Spatial-temporal Variation and Future Changing Trend of NDVI in the Pearl River Basin from 1982 to 2015.- An Improved Collaborative Filtering Algorithm Based on Filling Missing Data.- Diagnosis method of Alzheimer's disease in PET image based on CNN multi-mode network.- Research on Multi-floor Path Planning Based on Recommendation Factors.- E-commerce Review Classification Based on SVM.- Experimental Research of Galfenol Composite Cantilever.- A capacitive flexible tactile sensor.- Multi-objective optimization of e-commerce logistics warehouse layout based on genetic algorithm.- Magnetic Circuit Design of Galfenol Composite Cantilever.-A MEMS-based piezoelectric pump with a low frequency and high flow.- Micro-video learning resource portrait and its application.- Research on Downscaling and Correction of TRMM Data in the Central China.- Research on the Knowledge Map of Combat Simulation Domain Based on Relational Database.- Scale-Aware Network with Attentional Selection For Human Pose Estimation.- Short-term Traffic Flow Prediction Based on SVR and LSTM.- A Logging Overhead Optimization Method Based on Anomaly Detection Model.- Multi-objective collaborative optimization of multi-level inventory: a model driven by after-sales service.- The Research About Spatial Distribution of Urban Functions Based on POI Data.- The Psychological Characteristics Changes Analysis of Su Shi before and after the Wutai Poetry Case - Based on the CC-LIWC.- A Conference Publishing System Based on Academic Social Network.- Software Component Library Management Mechanism for Equipment Parts Service Value-Net.- No-reference quality assessment for Uav patrol images of Transmission line.- An Inclusive Finance Consortium Blockchain Platform for Secure Data Storage and Value Analysis for Small and Medium-sized Enterprises.- An Under-Sampling Method of Unbalanced Data Classification Based on Support Vector.- Image classification algorithm for transmission line defects based on dual-channel feature fusion.- Research on Alarm Causality Filtering Based on Association Mining.- Exploring Psycholinguistic Differences between Song and Ming Emperoes bases on Literary Edicts.- The Influence of the Reform of Entrance Examination on University Development.
Описание: This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions.
Описание: The papers were organized in topical sections named as follows: Methods for Socio-Technical Systems focused on instruments, frameworks and re ections on research methodology and also System Security considered security analyses and attacks on security systems.
Описание: This book constitutes the proceedings of the 4th International Workshop on Chatbot Research and Design, CONVERSATIONS 2020, which was held during November 23-24, 2020, hosted by the University of Amsterdam.
Описание: This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020.Due to the COVID-19, the workshop was held online.
Описание: This book constitutes extended, revised and selected papers from the 22nd International Conference on Enterprise Information Systems, ICEIS 2020, held online during May 5-7, 2020.The 41 papers presented in this volume were carefully reviewed and selected for inclusion in this book from a total of 255 submissions.
Описание: This book constitutes the refereed post-conference proceedings of the 21st International Conference on Membrane Computing, CMC 2020, held as a virtual event, in September 2020. The 10 full papers presented were selected from 31 submissions. The papers deal with all aspects on membrane computing and related areas.
Описание: Models of rewriting and rewriting logic.- Termination, confluence, coherence, and complexity.- Unification, generalization, and narrowing.- Graph rewriting.- Tree automata.- Rewriting strategies.- Rewriting-based declarative languages.- Explicit-state and symbolic model checking techniques.- Rewriting-based theorem proving, including (co)inductive theorem proving.- Rewriting-based constraint solving and satisfiability.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
