Kategoria BISAC: Computers >> Machine Theory

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Learning and Optimization, LION 9, which was held in Lille, France, in January 2015.

The 31 contributions presented were carefully reviewed and selected for inclusion in this book. The papers address all fields between machine learning, artificial intelligence, mathematical programming and algorithms for hard optimization problems. Special focus is given to algorithm selection and configuration, learning, fitness landscape, applications, dynamic optimization,...

Unstructured Mining Approaches to Solve Complex Scientific Problems

As the volume of scientific data and literature increases exponentially, scientists need more powerful tools and methods to process and synthesize information and to formulate new hypotheses that are most likely to be both true and important. Accelerating Discovery: Mining Unstructured Information for Hypothesis Generation describes a novel approach to scientific research that uses unstructured data analysis as a generative tool for new hypotheses.

The author...

Handbook of Big Data provides a state-of-the-art overview of the analysis of large-scale datasets. Featuring contributions from well-known experts in statistics and computer science, this handbook presents a carefully curated collection of techniques from both industry and academia. Thus, the text instills a working understanding of key statistical and computing ideas that can be readily applied in research and practice.

Offering balanced coverage of methodology, theory, and applications, this handbook:

• Describes modern, scalable...

This book constitutes the proceedings of the 9th International Workshop on Frontiers in Algorithmics, FAW 2015, held in Guilin, China, in July 2015.

The 28 papers presented in this volume were carefully reviewed and selected from 65 submissions. They deal with graph algorithms, approximation algorithms, combinatorial optimization, parameterized algorithms, and online algorithms.

This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015.

The 25 full papers presented in this volume were carefully reviewed and selected from 61 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical computer science and its applications.

Text Mining and Visualization: Case Studies Using Open-Source Tools provides an introduction to text mining using some of the most popular and powerful open-source tools: KNIME, RapidMiner, Weka, R, and Python.

The contributors all highly experienced with text mining and open-source software explain how text data are gathered and processed from a wide variety of sources, including books, server access logs, websites, social media sites, and message boards. Each chapter presents a case study that you can follow as part of a step-by-step, reproducible example. You can also easily apply...

Handbook of Cluster Analysis provides a comprehensive and unified account of the main research developments in cluster analysis. Written by active, distinguished researchers in this area, the book helps readers make informed choices of the most suitable clustering approach for their problem and make better use of existing cluster analysis tools.

The book is organized according to the traditional core approaches to cluster analysis, from the origins to recent developments. After an overview of approaches and a quick journey through the history of cluster...

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives theoretical reasons for choosing a particular SAT encoding for several important classes of CSP instances.

Boolean satisfiability and constraint satisfaction emerged independently as new fields of computer science, and different solving techniques have become standard for problem solving in the two...

This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and has since expanded in many different directions under the influence of workers from both mathematical logic and computer science. The ideas of higher-order computability have proved valuable both for elucidating the constructive content of logical systems, and for investigating the expressive power of...

Es kommt nicht oft vor, dass ein einzelnes Problem ein ganzes mathematisches Gebiet hervorruft. Das allseits bekannte 4-Farben Problem war solch ein singulares Ereignis: Aus den Losungsversuchen entwickelte sich die Graphentheorie, die heute zu den unverzichtbaren Grundlagen der Diskreten Mathematik und Informatik und weiterer angewandter Wissenschaften gehort. Das Buch versucht zweierlei: Es will erstens alle wichtigen Begriffe, Ideen und Satze fur eine Einfuhrung in die Graphentheorie im Bachelorstudium bereitstellen, und zweitens ein tieferes Verstandnis fur dieses wunderbare Gebiet...

This book constitutes the refereed proceedings of the 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015, held in Albacete, Spain, in November 2015.

The 31 revised full papers presented were carefully selected from 175 submissions. The papers are organized in topical sections on Bayesian networks and uncertainty modeling; fuzzy logic and soft computing; knowledge representation, reasoning, and logic; intelligent systems and environment; intelligent Web and recommender systems; machine learning and data mining; metaheuristics and evolutionary...

This book constitutes the refereed proceedings of the 14th International Symposium on Spatial and Temporal Databases, SSTD 2015, held in Hong Kong, China, in August 2015.

The 24 revised full papers together with 8 demos presented were carefully reviewed and selected from 64 submissions. The conference program has the scope on following subjects: reachability query and path query, reverse query and indexing, navigation and routing, trajectory analysis, spatio-temporal approaches, privacy and matching, similarity search and pattern, keyword and pattern.