Download or read book Proceedings of the 46th Annual Southeast Regional Conference on XX written by and published by . This book was released on 2008 with total page 548 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Congress on Intelligent Systems written by Harish Sharma and published by Springer Nature. This book was released on 2021-05-27 with total page 815 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is a collection of selected papers presented at the First Congress on Intelligent Systems (CIS 2020), held in New Delhi, India during September 5 – 6, 2020. It includes novel and innovative work from experts, practitioners, scientists and decision-makers from academia and industry. It covers topics such as Internet of Things, information security, embedded systems, real-time systems, cloud computing, big data analysis, quantum computing, automation systems, bio-inspired intelligence, cognitive systems, cyber physical systems, data analytics, data/web mining, data science, intelligence for security, intelligent decision making systems, intelligent information processing, intelligent transportation, artificial intelligence for machine vision, imaging sensors technology, image segmentation, convolutional neural network, image/video classification, soft computing for machine vision, pattern recognition, human computer interaction, robotic devices and systems, autonomous vehicles, intelligent control systems, human motor control, game playing, evolutionary algorithms, swarm optimization, neural network, deep learning, supervised learning, unsupervised learning, fuzzy logic, rough sets, computational optimization, and neuro fuzzy systems.
Download or read book Model Checking Software written by Fabrizio Biondi and published by Springer Nature. This book was released on 2019-10-02 with total page 269 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Download or read book Proceedings of the ACM Twentieth Annual Southeast Regional Conference written by Association for Computing Machinery. Southeast Regional Conference and published by Pearson Education. This book was released on 1982 with total page 284 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book International Conference on Computing Communication Electrical and Biomedical Systems written by Arulmurugan Ramu and published by Springer Nature. This book was released on 2022-02-28 with total page 673 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents selected papers from the International Conference on Computing, Communication, Electrical and Biomedical Systems (ICCCEBS 2021), held in March 2021 at KPR College of Engineering and Technology, Coimbatore, Tamil Nadu, India. The conference explores the interface between industry and real-time environments with newly developed techniques in computing and communications engineering. The papers describe results of conceptual, constructive, empirical, experimental, and theoretical work in areas of computing, communication, electrical, and biomedical systems. Contributors include academic scientists, researchers, industry representatives, postdoctoral fellows, and research scholars from around the world.
Download or read book Adaptive Semantics Visualization written by Kawa Nazemi and published by Springer. This book was released on 2016-03-22 with total page 433 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book introduces a novel approach for intelligent visualizations that adapts the different visual variables and data processing to human’s behavior and given tasks. Thereby a number of new algorithms and methods are introduced to satisfy the human need of information and knowledge and enable a usable and attractive way of information acquisition. Each method and algorithm is illustrated in a replicable way to enable the reproduction of the entire “SemaVis” system or parts of it. The introduced evaluation is scientifically well-designed and performed with more than enough participants to validate the benefits of the methods. Beside the introduced new approaches and algorithms, readers may find a sophisticated literature review in Information Visualization and Visual Analytics, Semantics and information extraction, and intelligent and adaptive systems. This book is based on an awarded and distinguished doctoral thesis in computer science.
Download or read book Advances in Computers written by and published by Academic Press. This book was released on 2019-01-08 with total page 500 pages. Available in PDF, EPUB and Kindle. Book excerpt: Advances in Computers, Volume 112, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Mobile Application Quality Assurance, Advances in Combinatorial Testing, Advances in Applications of Object Constraint Language for Software Engineering, Advances in Techniques for Test Prioritization, Data Warehouse Testing, Mutation Testing Advances: An Analysis and Survey, Event-Based Concurrency: Applications, Abstractions, and Analyses, and A Taxonomy of Software Integrity Protection Techniques. - Provides in-depth surveys and tutorials on new computer technology - Covers well-known authors and researchers in the field - Presents extensive bibliographies with most chapters - Includes volumes that are devoted to single themes or subfields of computer science
Download or read book Transactions on Pattern Languages of Programming III written by James Noble and published by Springer. This book was released on 2013-05-31 with total page 203 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The primary focus of this LNCS Transactions subline is on patterns, pattern collections, and pattern languages themselves. The journal also includes reviews, survey articles, criticisms of patterns and pattern languages, as well as other research on patterns and pattern languages. This book, the third volume in the Transactions on Pattern Languages of Programming series, presents five papers that have been through a careful peer review process involving both pattern experts and domain experts. The papers present various pattern languages and a study of applying patterns and represent some of the best work that has been carried out in design patterns and pattern languages of programming over the last few years.
Download or read book Software Technologies written by José Cordeiro and published by Springer. This book was released on 2014-09-30 with total page 331 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Software Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013. The 19 revised full papers presented were carefully reviewed and selected from 121 paper submissions. The papers focus on the following research topics and applications: new software paradigm trends and mainstream software engineering and applications.
Download or read book Information Systems Security written by Atul Prakash and published by Springer. This book was released on 2014-12-03 with total page 498 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 10th International Conference on Information Systems Security, ICISS 2014, held in Hyderabad, India, in December 2014. The 20 revised full papers and 5 short papers presented together with 3 invited papers were carefully reviewed and selected from 129 submissions. The papers address the following topics: security inferences; security policies; security user interfaces; security attacks; malware detection; forensics; and location based security services.
Download or read book Information Security written by Sherman S.M. Chow and published by Springer. This book was released on 2014-11-03 with total page 585 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 17th International Conference on Information Security, ISC 2014, held in Hong Kong, China, in October 2014. The 20 revised full papers presented together with 16 short papers and two invited papers were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on public-key encryption, authentication, symmetric key cryptography, zero-knowledge proofs and arguments, outsourced and multi-party computations, implementation, information leakage, firewall and forensics, Web security, and android security.
Download or read book Computational Science ICCS 2018 written by Yong Shi and published by Springer. This book was released on 2018-06-11 with total page 892 pages. Available in PDF, EPUB and Kindle. Book excerpt: The three-volume set LNCS 10860, 10861 and 10862 constitutes the proceedings of the 18th International Conference on Computational Science, ICCS 2018, held in Wuxi, China, in June 2018. The total of 155 full and 66 short papers presented in this book set was carefully reviewed and selected from 404 submissions. The papers were organized in topical sections named: Part I: ICCS Main Track Part II: Track of Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Track of Agent-Based Simulations, Adaptive Algorithms and Solvers; Track of Applications of Matrix Methods in Artificial Intelligence and Machine Learning; Track of Architecture, Languages, Compilation and Hardware Support for Emerging ManYcore Systems; Track of Biomedical and Bioinformatics Challenges for Computer Science; Track of Computational Finance and Business Intelligence; Track of Computational Optimization, Modelling and Simulation; Track of Data, Modeling, and Computation in IoT and Smart Systems; Track of Data-Driven Computational Sciences; Track of Mathematical-Methods-and-Algorithms for Extreme Scale; Track of Multiscale Modelling and Simulation Part III: Track of Simulations of Flow and Transport: Modeling, Algorithms and Computation; Track of Solving Problems with Uncertainties; Track of Teaching Computational Science; Poster Papers
Download or read book Knowledge Based and Intelligent Information and Engineering Systems written by Rossitza Setchi and published by Springer. This book was released on 2010-09-07 with total page 682 pages. Available in PDF, EPUB and Kindle. Book excerpt: th The 14 International Conference on Knowledge-Based and Intelligent Information and Engineering Systems was held during September 8–10, 2010 in Cardiff, UK. The conference was organized by the School of Engineering at Cardiff University, UK and KES International. KES2010 provided an international scientific forum for the presentation of the - sults of high-quality research on a broad range of intelligent systems topics. The c- ference attracted over 360 submissions from 42 countries and 6 continents: Argentina, Australia, Belgium, Brazil, Bulgaria, Canada, Chile, China, Croatia, Czech Republic, Denmark, Finland, France, Germany, Greece, Hong Kong ROC, Hungary, India, Iran, Ireland, Israel, Italy, Japan, Korea, Malaysia, Mexico, The Netherlands, New Zealand, Pakistan, Poland, Romania, Singapore, Slovenia, Spain, Sweden, Syria, Taiwan, - nisia, Turkey, UK, USA and Vietnam. The conference consisted of 6 keynote talks, 11 general tracks and 29 invited s- sions and workshops, on the applications and theory of intelligent systems and related areas. The distinguished keynote speakers were Christopher Bishop, UK, Nikola - sabov, New Zealand, Saeid Nahavandi, Australia, Tetsuo Sawaragi, Japan, Yuzuru Tanaka, Japan and Roger Whitaker, UK. Over 240 oral and poster presentations provided excellent opportunities for the presentation of interesting new research results and discussion about them, leading to knowledge transfer and generation of new ideas. Extended versions of selected papers were considered for publication in the Int- national Journal of Knowledge-Based and Intelligent Engineering Systems, Engine- ing Applications of Artificial Intelligence, Journal of Intelligent Manufacturing, and Neural Computing and Applications.
Download or read book Recent Trends in Information and Communication Technology written by Faisal Saeed and published by Springer. This book was released on 2017-05-24 with total page 931 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents 94 papers from the 2nd International Conference of Reliable Information and Communication Technology 2017 (IRICT 2017), held in Johor, Malaysia, on April 23–24, 2017. Focusing on the latest ICT innovations for data engineering, the book presents several hot research topics, including advances in big data analysis techniques and applications; mobile networks; applications and usability; reliable communication systems; advances in computer vision, artificial intelligence and soft computing; reliable health informatics and cloud computing environments, e-learning acceptance models, recent trends in knowledge management and software engineering; security issues in the cyber world; as well as society and information technology.
Download or read book Advances in Swarm and Computational Intelligence written by Ying Tan and published by Springer. This book was released on 2015-06-01 with total page 495 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book and its companion volumes, LNCS volumes 9140, 9141 and 9142, constitute the proceedings of the 6th International Conference on Swarm Intelligence, ICSI 2015 held in conjunction with the Second BRICS Congress on Computational Intelligence, CCI 2015, held in Beijing, China in June 2015. The 161 revised full papers presented were carefully reviewed and selected from 294 submissions. The papers are organized in 28 cohesive sections covering all major topics of swarm intelligence and computational intelligence research and development, such as novel swarm-based optimization algorithms and applications; particle swarm opt8imization; ant colony optimization; artificial bee colony algorithms; evolutionary and genetic algorithms; differential evolution; brain storm optimization algorithm; biogeography based optimization; cuckoo search; hybrid methods; multi-objective optimization; multi-agent systems and swarm robotics; Neural networks and fuzzy methods; data mining approaches; information security; automation control; combinatorial optimization algorithms; scheduling and path planning; machine learning; blind sources separation; swarm interaction behavior; parameters and system optimization; neural networks; evolutionary and genetic algorithms; fuzzy systems; forecasting algorithms; classification; tracking analysis; simulation; image and texture analysis; dimension reduction; system optimization; segmentation and detection system; machine translation; virtual management and disaster analysis.
Download or read book Encyclopedia of Information Science and Technology Third Edition written by Khosrow-Pour, Mehdi and published by IGI Global. This book was released on 2014-07-31 with total page 7972 pages. Available in PDF, EPUB and Kindle. Book excerpt: "This 10-volume compilation of authoritative, research-based articles contributed by thousands of researchers and experts from all over the world emphasized modern issues and the presentation of potential opportunities, prospective solutions, and future directions in the field of information science and technology"--Provided by publisher.
Download or read book Virtual Reality Designs written by Adriana Peña Pérez Negrón and published by CRC Press. This book was released on 2020-03-12 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt: Virtual Reality is not real life. Instead it is life-like creations using computer-generated scenarios. Human behavior is replicated in virtual scenarios, where every detail is controlled by computers, and in situations that can be repeated under the same conditions. Based on technology and design, the user can experience presence. In the virtual world, users are embodied in avatars that represent them and are the means to interact with the virtual environment. Avatars are graphical models that behave on behalf of the human behind them. The user avatar is a proxy that also backs interaction with others, allowing computer-mediated interactions. Analyses directed to understand people’s perceptions, personal and social behavior in computer mediated interactions, comprise a multidisciplinary area of study that involves, among others, computer science, psychology and sociology. In the last two decades a number of studies supported by Virtual Reality have been conducted to understand human behavior, in some cases the implications of the technology, or to reproduce artificial human behavior. This book presents a collection of studies from recognized researchers in the area.
