Описание: This book constitutes the proceedings of the 25th International Symposium on Foundations of Intelligent Systems, ISMIS 2020, held in Graz, Austria, in October 2020.
Описание: They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
Описание: This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020.
Описание: This book constitutes the refereed post-conference proceedings of the 5th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2019, held in Munich, Germany, in September 2019. The 8 revised full papers were carefully reviewed and selected from 16 submissions.
Two Algorithms for Additive and Fair Division of Mixed Manna.- Dynamic Play via Suit Factorization Search in Skat.- Dynamic Channel and Layer Gating in Convolutional Neural Network.- Contour-based Segmentation of Historical Printings.- Hybrid Ranking and Regression for Algorithm Selection.- Conditional Reasoning and Relevance.- HTN Plan Repair via Model Transformation.- Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds.- Positive Free Higher-Order Logic and its Automation via a Semantical Embedding.- Low-Rank Subspace Override for Unsupervised Domain Adaptation.- Expressive Explanations of DNNs by Combining Concept Analysis with ILP.- Stable Resolving - A Randomized Local Search Heuristic for MaxSAT.- A Virtual Caregiver for Assisted Daily Living of Pre-Frail Users.- Exploring the Effects of Role Design on Agent Learning.- Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation.- Multi-Agent Path Finding Modulo Theory with Continuous Movements and the Sum of Costs Objective.- Meta-Induction, Probability Aggregation, and Optimal Scoring.- Cones, Negation, and All That.- Swarm-based Cluster Analysis for Knowledge Discovery.- Draw with Me: Human-in-the-Loop for Image Restoration.- Reasonable Machines: A Research Manifesto.- A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty.- Earnings Prediction with Deep Leaning.- Integrating Keywords into BERT4Rec for Sequential Recommendation.- Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic.- Conformal Rule-Based Multi-label Classification.- Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem.- Fast Pathfinding in Knowledge Graphs Using Word Embeddings.- A Visually Explainable Learning System for Skin Lesion Detection Using Multiscale Input with Attention U-Net.- Evaluation of Deep Learning Accelerators for Object Detection at the Edge.-Learning Choice Functions via Pareto-Embeddings.- Simulation-Based Validation of Robot Commands for Force-based Robot Motions.- Firefighter Virtual Reality Simulation for Personalized Stress Detection.- The AI Domain Definition Language (AIDDL) for Integrated Systems.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.*The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions.
Описание: This book constitutes the refereed proceedings of the 13th International Conference on Artificial General Intelligence, AGI 2020, held in St. Petersburg, Russia, in September 2020.The 30 full papers and 8 short papers presented in this book were carefully reviewed and selected from 60 submissions.
Описание: This book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications Technology, QUATIC 2020, held in Faro, Portugal*, in September 2020. The 27 full papers and 12 short papers were carefully reviewed and selected from 81 submissions.
Описание: This book constitutes the refereed proceedings of the 13th International Conference on Brain Informatics, BI 2020, held in Padua, Italy, in September 2020. The papers are organized in the following topical sections: cognitive and computational foundations of brain science;
Описание: This volume constitutes the proceedings of the 14th International Conference on Algorithmic Aspects in Information and Management, AAIM 2020, held in Jinhua, China in August 2020.
Описание: and environmental sensing technologies for visual impairmentPart II: accessibility of non-verbal communication: making spatial information accessible to people with disabilities; cognitive disabilities and accessibility - pushing the boundaries of inclusion using digital technologies and accessible eLearning environments;
Описание: This book constitutes the proceedings of the 17th International Workshop on Algorithms and Models for the Web Graph, WAW 2020, held in Warsaw, Poland, in September 2020.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
