Kategoria BISAC: Computers >> Machine Theory

This is a collection of papers by participants at High Dimensional Probability VI Meeting held from October 9-14, 2011 at the Banff International Research Station in Banff, Alberta, Canada.

High Dimensional Probability (HDP) is an area of mathematics that includes the study of probability distributions and limit theorems in infinite-dimensional spaces such as Hilbert spaces and Banach spaces. The most remarkable feature of this area is that it has resulted in the creation of powerful new tools and perspectives, whose range of application has led to interactions with other areas of...

The full set is...

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.

This book constitutes the refereed proceedings of the 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions. The papers cover a range of topics in the field of reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems;...

From the Foreword:

-This book exemplifies one of the most successful approaches to modeling and simulating the] new generation of complex systems. FLAME was designed to make the building of large scale complex systems models straightforward and the simulation code that it generates is highly efficient and can be run on any modern technology. FLAME was the first such platform that ran efficiently on high performance parallel computers and a version for GPU technology is also available. At its heart, and the reason why it is so efficient and robust, is the use of a...

Handbook of Robust Low-Rank and Sparse Matrix Decomposition: Applications in Image and Video Processing shows you how robust subspace learning and tracking by decomposition into low-rank and sparse matrices provide a suitable framework for computer vision applications. Incorporating both existing and new ideas, the book conveniently gives you one-stop access to a number of different decompositions, algorithms, implementations, and benchmarking techniques.

Divided into five parts, the book begins with an overall introduction to robust principal component...

This book constitutes revised selected papers from the First International Workshop on Machine Learning, Optimization, and Big Data, MOD 2015, held in Taormina, Sicily, Italy, in July 2015.
The 32 papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with the algorithms, methods and theories relevant in data science, optimization and machine learning.

The First International Conference on Signal and Information Processing, Networking and Computers (ICSINC) focuses on the key technologies and challenges of signal and information processing schemes, network application, computer theory and application, etc. Topics in this conference include:
Information Theory
The work contains state-of-the-art research work in the field of information theory from traditional media coding theory, compressing and streaming theory to the latest quantum theory & statistics and big data analytics, featuring the most active research interests in this...

This book constitutes the proceedings of the Second Australasian Conference on Artificial Life and Computational Intelligence, ACALCI 2016, held in Canberra, ACT, Australia, in February 2016.

The 30 full papers presented in this volume were carefully reviewed and selected from 41 submissions. They are organized in topical sections named: mathematical modeling and theory; learning and optimization; planning and scheduling; feature selection; and applications and games.

This book constitutes the thoroughly refereed post-conference proceedings of the First IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, held in Tehran, Iran, in August 2015.