Theory and Applications of Time Series Analysis and Forecasting
This book presents a selection of peer-reviewed contributions on the latest developments in time...
EAN: 9783031141966
Visual Saliency: From Pixel-Level to Object-Level Analysis
EAN: 9783030048303
R-Calculus, IV: Propositional Logic
This fourth volume of the book series combines propositional logic and R-calculus for a new point...
EAN: 9789811986321
Tools and Algorithms for the Construction and Analysis of Systems
EAN: 9783031308222
Evolutionary Computation in Combinatorial Optimization
EAN: 9783031300349
Applications of Computational Intelligence
?This book constitutes the refereed proceedings of the 5th IEEE Colombian Conference on...
EAN: 9783031297823
Active Inference
This volume constitutes the papers of the 3rd International Workshop on Active Inference, IWAI...
EAN: 9783031287183
Artificial Intelligence: Theories and Applications
This volume constitutes selected papers presented at the First International Conference on...
EAN: 9783031285394
R-Calculus, II: Many-Valued Logics
Also it is very useful for all those who are interested in data, digitization and correctness and...
EAN: 9789811692963
Formal Methods
This book constitutes the refereed proceedings of the 25th International Symposium on Formal...
EAN: 9783031274800
Distributed Artificial Intelligence
This book constitutes the refereed proceedings of the 4th International Conference on Distributed...
EAN: 9783031255489
Seriation in Combinatorial and Statistical Data Analysis
EAN: 9783030926960
Sparse Grids and Applications - Munich 2018
EAN: 9783030813642
Arithmetic Geometry, Number Theory, and Computation
This volume contains articles related to the work of the Simons Collaboration “Arithmetic...
EAN: 9783030809164
Software Engineering and Formal Methods
The papers cover a large variety of topics, including testing, formal verification, program...
EAN: 9783030304454
Relational and Algebraic Methods in Computer Science
EAN: 9783031280825
Evolutionary Multi-Criterion Optimization
EAN: 9783031272493
Metaheuristics
This book constitutes the refereed proceedings of the 14th International Conference on...
EAN: 9783031265037
New Frontiers in Artificial Intelligence
This book constitutes extended, revised, and selected papers from the JSAI annual conference,...
EAN: 9783031291678
WALCOM: Algorithms and Computation
This book constitutes the proceedings of the 17th International Conference and Workshops on...
EAN: 9783031270505
Modelling and Development of Intelligent Systems
This book constitutes the refereed proceedings of the 8th International Conference on Modelling...
EAN: 9783031270338
Formal Verification of Structurally Complex Multipliers
This book addresses the challenging tasks of verifying and debugging structurally complex...
EAN: 9783031245701
