20,662円 Support vector machines (SVM) have both a solid mathematical background and practical applications. This book focuses on the recent advances and applications of the SVM, such as image processing, medical practice, computer vision, and pattern recognition, machine learning, applied statistics, and...

6,076円 This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundation...

4,861円 This book presents foundational robotics concepts using the ROBOTIS BIOLOID and OpenCM-904 robotic systems, and is suitable as a curriculum for a first course in robotics for undergraduate students or a self-learner. It covers wheel-based robots, as well as walking robots. Although it uses the st...

6,076円 This book constitutes the refereed proceedings of the 10th International Conference on Combinatorics on Words, WORDS 2015, held in Kiel, Germany, in September 2015 under the auspices of the EATCS. The 14 revised full papers presented were carefully reviewed and selected from 22 submissions. The m...

6,076円 This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Algorithmic Decision Theory , ADT 2015, held in September 2015 in Lexington, USA. The 32 full papers presented were carefully selected from 76 submissions. The papers are organized in topic...

6,076円 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 theoret...

6,076円 This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2014 Workshops LENLS, JURISIN, and GABA which took place on November 2014, in Japan. The 26 contributions in this volume were carefully reviewed and selected from 57 submissionsfrom the 3 workshops (LENLS11...

9,116円 Predictive Analytics with Microsoft Azure Machine Learning, Second Edition is a practical tutorial introduction to the field of data science and machine learning, with a focus on building and deploying predictive models. The book provides a thorough overview of the Microsoft Azure Machine Learnin...

24,309円 Innovation in medicine and healthcare is an interdisciplinary research area, which combines the advanced technologies and problem solving skills with medical and biological science. A central theme of this proceedings is Smart Medical and HealthcareSystems (modern intelligent systems for medicine...

12,154円 The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. The 41 papers included in the first volume are organized in topical sections on accessi...

6,076円 The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. The 47 papers included in the second volume are organized in topical sections on comput...

5,834円 This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Smart Homes and Health Telematics, ICOST 2014, held in Denver, CO, USA in June 2014. The 21 revised full papers presented together with three keynote papers and 9 short papers were ca...