Описание: Constitutes the refereed proceedings of the 12th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2008, held in Zagreb, Croatia, in September 2008. This volume covers topics such as intelligent data processing in process systems and plants; and, neural information processing for data mining.
Автор: Andrzej Indrzejczak Название: Natural Deduction, Hybrid Systems and Modal Logics ISBN: 9048187842 ISBN-13(EAN): 9789048187843 Издательство: Springer Рейтинг: Цена: 36197.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction.
Автор: Heinrich Wansing Название: Proof Theory of Modal Logic ISBN: 9048147204 ISBN-13(EAN): 9789048147205 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
Автор: Heinrich Wansing Название: Displaying Modal Logic ISBN: 9048150795 ISBN-13(EAN): 9789048150793 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The present monograph is a slightly revised version of my Habilitations- schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997.
Описание: This edited volume comprises invited chapters that cover five areas of the current and the future development of intelligent systems and information sciences.
Автор: Thomas D. Feigenbaum Название: Building Intelligent Information Systems Software ISBN: 0128051019 ISBN-13(EAN): 9780128051016 Издательство: Elsevier Science Рейтинг: Цена: 6990.00 р. Наличие на складе: Поставка под заказ.
Описание: "
Building Intelligent Information Systems Software "shows scientists and engineers how to build applications that model complex information, data, and knowledge without the need for coding. Traditional software development takes time and leads to inflexible, complicated applications that almost, but don t exactly, meet the intended needs. Requirements can change, sometimes mid-development, and adapting existing systems can be difficult. Individual solutions can be incompatible, leading to information silos and inefficiency throughout an organization. This book offers a solution the Information Unit Model, an innovative architecture for translating domain knowledge into applications. By encapsulating the complexities of computing, the Unit Model allows engineers to focus on business or experimental needs. Author Tom Feigenbaum, inventor of the Unit Modeler, demonstrates this innovative software architecture for rapid application design and development. His approach promotes repurposing pre-existing tools and libraries, and collaborating across the cloud, to promote information sharing and efficient development practices. Each concept is illustrated with examples including file management, data management, and 3D visualization. Turn your domain knowledge into applications without heavy coding Design and develop information systems applications in a fraction of the time of traditional methodsLeverage previously-built components to jump start new projectsIncludes access to a trial version of the Information Unit Modeler tool for rapid application development"
Автор: Ngoc Thanh Nguyen; Satoshi Tojo; Le Minh Nguyen; B Название: Intelligent Information and Database Systems ISBN: 3319544713 ISBN-13(EAN): 9783319544717 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two-volume set LNAI 10191 and 10192 constitutes the refereed proceedings of the 9th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2017, held in Kanazawa, Japan, in April 2017. Automated Reasoning and Proving Techniques with Applications in Intelligent Systems; Intelligent Computer Vision Systems and Applications;
Описание: This two-volume set LNCS 11569 and 11570 constitutes the refereed proceedings of the Thematic Area on Human Interface and the Management of Information, HIMI 2019, held as part of HCI International 2019 in Orlando, FL, USA.HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process. The 91 papers presented in the two volumes were organized in topical sections named: Visual information; Data visualization and analytics; Information, cognition and learning; Information, empathy and persuasion; Knowledge management and sharing; Haptic and tactile interaction; Information in virtual and augmented reality; Machine learning and intelligent systems; Human motion and expression recognition and tracking; Medicine, healthcare and quality of life applications.
Автор: Suresh Chandra Satapathy; Jyotsna Kumar Mandal; Si Название: Information Systems Design and Intelligent Applications ISBN: 8132227565 ISBN-13(EAN): 9788132227564 Издательство: Springer Рейтинг: Цена: 30039.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Chapter 1. A New Private Security Policy Approach for DDoS Attack Defense in NGNs.- Chapter 2. An Effective Approach for Providing Diverse and Serendipitous Recommendations.- Chapter 3. Envelope Fluctuation Reduction for WiMAX MIMO-OFDM Signals Using Adaptive Network Fuzzy Inference Systems.- Chapter 4. Modeling and Performance Analysis of Free Space Quantum Key Distribution.- Chapter 5. Design of a Low-delay-write Model of a TMCAM.- m]Chapter 6. SLA Based E-Learning Service Provisioning in Cloud.- Chapter 7. Estimating the Similarities of G7 Countries Using Economic Parameters.- Chapter 8. Offline Malayalam Character Recognition: A Comparative Study Using Multiple Classifier Combination Techniques.- Chapter 9. A Comparative Study on Load Balancing Algorithms for SIP servers.- Chapter 10. Design of Wireless Sensor Network Based Embedded Systems for Aquaculture Environment Monitoring.- Chapter 11. Touch-to-learn: A Tangible Learning System for Hard-of Hearing Children.- Chapter 12. Creating Low Cost Multi-gesture Device Control by Using Depth Sensing.- Chapter 13. Evaluation of Glomerular Filtration Rate by Single Frame Method applying GATES Formula.- Chapter 14. Design and Development of Cost Effective Wearable Glove for Automotive Industry.- Chapter 15. Tampering Localization in Digital Image Using First Two Digit Probability Features.- Chapter 16. Classification of Bank Direct Marketing Data Using Subsets of Training Data.- Chapter 17. Offline Writer Identification and Verification - A State-of-the-Art.- Chapter 18. Handwritten Oriya Digit Recognition Using Maximum Common Sub-graph Based Similarity Measures.- Chapter 19. Design of Non-volatile SRAM Cell Using Memristor.- Chapter 20. Evolutionary Algorithm Based LFC of Single Area Thermal Power System with Different Steam Configurations and Nonlinearity.- Chapter 21. Game Theory and Its Applications in Machine Learning.- Chapter 22. A Study on Speech Processing.- Chapter 23. Forest Type Classification: A Hybrid NN-GA Model Based Approach.- Chapter 24. Optimizing Technique to Improve the Speed of Data throughput through Pipeline.- Chapter 25. An Improved Data Hiding Scheme in Motion Vectors of Video Streams.- Chapter 26. Hiding Sensitive Items Using Pearson's Correlation Coefficient Weighing Mechanism.- Chapter 27. OpenCV Based Implementation of Zhang-Suen Thinning Algorithm Using Java for Arabic Text Recognition.- Chapter 28. Numerical Modeling of Twin Band MIMO Antenna.- Chapter 29. Performance Evaluation of Video-based Face Recognition Approaches for Online Video Contextual Advertisement User-oriented System.- Chapter 30. A Survey on Power Gating Techniques in Low Power VLSI Design.- Chapter 31. Phase Based Mel Frequency Cepstral Coefficients for Speaker Identification.- Chapter 32. A New Block Least Mean Square Algorithm for Improved Active Noise Cancellation.- Chapter 33. An Improved Feedback Filtered-X NLMS Algorithm for Noise Cancellation.- Chapter 34. Application of Internet of Things (IoT) for Smart Process Manufacturing in Indian Packaging Industry.- Chapter 35. Function Optimization Using Robust Simulated Annealing.- Chapter 36. Analysis and Optimization of Feature Extraction Techniques for Content Based Image Retrieval.- Chapter 37. Parametric Curve Based Human Gait Recognition.- Chapter 38. An Energy Efficient Proposed Framework for Time Synchronization Problem of Wireless Sensor Network.- Chapter 39. Epigenetic and Hybrid Intelligence in Mining Patterns.- Chapter 40. A Technical Review on LVRT of DFIG Systems.- Chapter 41. An AIS Based Approach for Extraction of PV Module Parameters.- Chapter 42. Word Sense Disambiguation in Bengali: An Auto-updated Lear
Автор: Ngoc-Thanh Nguyen; Bogdan Trawi?ski; Hamido Fujita Название: Intelligent Information and Database Systems ISBN: 3662493802 ISBN-13(EAN): 9783662493809 Издательство: Springer Рейтинг: Цена: 13416.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two-volume proceedings of the ACIIDS 2016 conference, LNAI 9621 + 9622,constitutes the refereed proceedings of the 8th Asian Conference on IntelligentInformation and Database Systems, held in Da Nang, Vietnam, in March 2016. modeling and optimizationtechniques in information systems, database systems and industrial systems;
Автор: A. Pasumpon Pandian; Klimis Ntalianis; Ram Palanis Название: Intelligent Computing, Information and Control Systems ISBN: 3030304647 ISBN-13(EAN): 9783030304645 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From past decades, Computational intelligence embraces a number of nature-inspired computational techniques which mainly encompasses fuzzy sets, genetic algorithms, artificial neural networks and hybrid neuro-fuzzy systems to address the computational complexities such as uncertainties, vagueness and stochastic nature of various computational problems practically. At the same time, Intelligent Control systems are emerging as an innovative methodology which is inspired by various computational intelligence process to promote a control over the systems without the use of any mathematical models. To address the effective use of intelligent control in Computational intelligence systems, International Conference on Intelligent Computing, Information and Control Systems (ICICCS 2019) is initiated to encompass the various research works that helps to develop and advance the next-generation intelligent computing and control systems.
This book integrates the computational intelligence and intelligent control systems to provide a powerful methodology for a wide range of data analytics issues in industries and societal applications. The recent research advances in computational intelligence and control systems are addressed, which provide very promising results in various industry, business and societal studies. This book also presents the new algorithms and methodologies for promoting advances in common intelligent computing and control methodologies including evolutionary computation, artificial life, virtual infrastructures, fuzzy logic, artificial immune systems, neural networks and various neuro-hybrid methodologies. This book will be pragmatic for researchers, academicians and students dealing with mathematically intransigent problems. It is intended for both academicians and researchers in the field of Intelligent Computing, Information and Control Systems, along with the distinctive readers in the fields of computational and artificial intelligence to gain more knowledge on Intelligent computing and control systems and their real-world applications.
Автор: Nguyen Название: Intelligent Information and Database Systems ISBN: 3319754165 ISBN-13(EAN): 9783319754161 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two-volume set LNAI 10751 and 10752 constitutes the refereed proceedings of the 10th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2018, held in Dong Hoi City, Vietnam, in March 2018. Intelligent Systems and Algorithms in Information Sciences; Intelligent Computer Vision Systems and Applications;
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru