New Development in Robot Vision, Yu Sun; Aman Behal; Chi-Kit Ronald Chung
Автор: Yves Bertot; G. Huet; Pierre Cast?ran; C. Paulin-M Название: Interactive Theorem Proving and Program Development ISBN: 3642058809 ISBN-13(EAN): 9783642058806 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Описание: The book reports on a new methodology for optimization and evaluation of traffic safety, which simulates the processes involved in traffic conflicts on the basis of detailed dynamical, human, and technical models.
Автор: Max Bramer; Miltos Petridis Название: Research and Development in Intelligent Systems XXX ISBN: 3319026208 ISBN-13(EAN): 9783319026206 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Research and Development in Intelligent Systems XXX
Best Technical Paper.- Pattern Graphs: Combining Multivariate Time Series and Labelled Interval Sequences for Classification.- Knowledge Discovery and Data Mining I.- Vertex Unique Labelled Subgraph Mining.- Hierarchical Single Label Classification: An Alternative Approach.- Classification based on Homogeneous Logical Proportions.- Knowledge Discovery and Data Mining II.- Predicting Occupant Locations Using Association Rule Mining.- Contextual Sentiment Analysis in Social Media Using High-Coverage Lexicon.- Profiling Spatial Collectives.- Sentiment Classification using Supervised Sub-Spacing.- Intelligent Agents.- On Applying Adaptive Data Structures to Multi-Player Game Playing.- Anytime Contract Search.- Diagnosing Dependent Action Delays in Temporal Multiagent Plans.- Representation and Reasoning.- Conditional Preference-nets, Possibilistic Logic, and the Transitivity of Priorities.- Using Structural Similarity for Effective Retrieval of Knowledge from Class Diagrams.- Formulating the Temporal Causal Relationships between Events and their Results.- Machine Learning and Constraint Programming.- The Importance of Topology Evolution in NeuroEvolution: A Case Study using Cartesian Genetic Programming of Artificial Neural Networks.- Inferring Context from Users' Reviews for Context Aware Recommendation.- Constraint Relationships for Soft Constraints.- Short Papers.- A Fuzzy Logic-based Decision Support System for the diagnosis of Arthritis Pain for Rheumatic Fever Patients.- A Viewpoint Approach to Structured Argumentation.- Rule Type Identification using TRCM for Trend Analysis in Twitter.- KNNs and Sequence Alignment for Churn Prediction.
Applications and Innovations in Intelligent Systems XXI
Best Application Paper.- Knowledge Formalisation for Hydrometallurgical Gold Ore Processing.- Medical Applications.- Extracting and Visualising Clinical Statements from Electronic Health Records.- Evaluation of Machine Learning Techniques in Predicting Acute Coronary Syndrome Outcome.- Applications in Education and Information Science.- An AI-based Process for Generating Games from Flat Stories.- Partridge: An Effective System for the Automatic Classification of the Types of Academic Papers.- Aggregation Semantics for Link Validity.- AI Applications.- Efficient Interactive Budget Planning and Adjusting Under Financial Stress.- 'The First Day of Summer': Parsing Temporal Expressions with Distributed Semantics.- Genetic Programming for Wind Power Forecasting and Ramp Detection.- Automated River Segmentation using Simulated Annealing.- Short Papers.- A Multiagent Based Framework for the Simulation of Mammalian Behaviour.- Parameter Estimation of Nonlinear Systems Using Lиvy Flight Cuckoo Search.
Автор: Dragan Ga?evic; Bran V. Selic; Jean B?zivin; Draga Название: Model Driven Engineering and Ontology Development ISBN: 3642101348 ISBN-13(EAN): 9783642101342 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book details how to use model-driven engineering for ontology development on the Semantic Web. It explains in detail how to use standards like MDA and UML for ontology development and offers the first detailed description of OMG`s upcoming ODM standard.
Автор: Tripathy & Acharjya Название: Global Trends In Intelligent Computing Research And Development ISBN: 1466649364 ISBN-13(EAN): 9781466649361 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 34234.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: As the amount of accumulated data across a variety of fields becomes harder to maintain, it is essential for a new generation of computational theories and tools to assist humans in extracting knowledge from this rapidly growing digital data.Global Trends in Intelligent Computing Research and Development brings together recent advances and in depth knowledge in the fields of knowledge representation and computational intelligence. Highlighting the theoretical advances and their applications to real life problems, this book is an essential tool for researchers, lecturers, professors, students, and developers who have seek insight into knowledge representation and real life applications.
Автор: Minhua Ma; Manuel Fradinho Oliveira; Jannicke Baal Название: Serious Games Development and Applications ISBN: 3319116223 ISBN-13(EAN): 9783319116228 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The focus of the papers was on the following: games for health, games for medical training, serious games for children, music and sound effects, games for other purposes, and game design and theories.
Автор: Chatterjee Название: Vision Based Autonomous Robot Navigation ISBN: 3642339646 ISBN-13(EAN): 9783642339646 Издательство: Springer Рейтинг: Цена: 19591.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers the theory and development of autonomous navigation of mobile robots using computer vision based sensing mechanism. It details several new approaches for real life vision based autonomous navigation algorithms.
Автор: Marco A. C. Pacheco; Marley M. B. R. Vellasco Название: Intelligent Systems in Oil Field Development under Uncertainty ISBN: 3642100961 ISBN-13(EAN): 9783642100963 Издательство: Springer Рейтинг: Цена: 23508.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The decision to invest in oil field development is an extremely complex problem. This book is a result of about four years of research in this area. It presents applications of intelligent decision support systems to oil field development under uncertainty.
Автор: David Vernon; Claes von Hofsten; Luciano Fadiga Название: A Roadmap for Cognitive Development in Humanoid Robots ISBN: 3642423086 ISBN-13(EAN): 9783642423086 Издательство: Springer Рейтинг: Цена: 16977.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book addresses the central role played by development in cognition. The focus is on applying our knowledge of development in natural cognitive systems, specifically human infants, to the problem of creating artificial cognitive systems in the guise of humanoid robots. This results in roadmap comprising a set of forty-three guidelines for the design of a cognitive architecture and its deployment in a humanoid robot.
Автор: Yu Sun; Aman Behal; Chi-Kit Ronald Chung Название: New Development in Robot Vision ISBN: 3662438585 ISBN-13(EAN): 9783662438589 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Intensity-Difference Based Monocular Visual Odometry for Planetary Rovers.- Incremental Light Bundle Adjustment: Probabilistic Analysis and Application to Robotic Navigation.- Online Learning of Vision-Based Robot Control during Autonomous Operation.- Semantic and Spatial Content Fusion for Scene Recognition.- Modeling paired objects and their interaction.- Multi-modal Manhattan World Structure Estimation for Domestic Robots.- Improving RGB-D Scene Reconstruction Using Rolling Shutter Rectification.- RMSD: A 3D Real-time Mid-Level Scene Description System.- Probabilistic Active Recognition of Multiple Objects using Hough-based Geometric Matching Features.
Автор: Ravi Balasubramanian; Veronica J. Santos Название: The Human Hand as an Inspiration for Robot Hand Development ISBN: 3319030167 ISBN-13(EAN): 9783319030166 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The sensitivity and maneuverability of the human hand is notoriously difficult to replicate in robotics, but this compilation of the very latest research results shows how the field is being transformed by state-of-the-art sensor and computing technology.
Автор: Ravi Balasubramanian; Veronica J. Santos Название: The Human Hand as an Inspiration for Robot Hand Development ISBN: 3319380451 ISBN-13(EAN): 9783319380452 Издательство: Springer Рейтинг: Цена: 16977.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The sensitivity and maneuverability of the human hand is notoriously difficult to replicate in robotics, but this compilation of the very latest research results shows how the field is being transformed by state-of-the-art sensor and computing technology.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
