You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Wiley Encyclopedia of Computer Science and Engineering, 5-volume set, includes over 450 A to Z articles addressing the latest advances and findings in computer science and engineering, in addition to important topics of interest to computer scientists and engineers, including standards, electronic commerce, financial engineering, and computer education. Each article is written by an expert in his or her particular specialty and is peer-reviewed by two other experts to ensure that it is clear and precise. References and website of related interest accompany every article.
Includes over 450 A to Z articles addressing the latest advances and findings in computer science and engineering, in addition to important topics of interest to computer scientists and engineers, including standards, electronic commerce, financial engineering, and computer education. Each article is written by an expert in his or her particular specialty and is peer-reviewed by two other experts to ensure that it is clear and precise. References and website of related interest accompany every article.
This conference, organized jointly by UTC and INRIA, is the biennial general conference of the IFIP Technical Committee 7 (System Modelling and Optimization), and reflects the activity of its members and working groups. These proceedings contain a collection of papers (82 from the more than 400 submitted) as well as the plenary lectures presented at the conference.
The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms and the applications of the SAT problem. This book aims to bring together work by the best theorists, algorithmists, and practitioners working on the sat problem and on industrial applications, as well as to enhance the interaction between the three research groups. The book features the applications of theoretical/algorithmic results to practical problems and presents practical examples for theoretical/algorithmic study. Major topics covered in the book include practical and industial SAT problems and benchmarks, significant case studies and applications of the SAT problem and SAT algorithms, new algorithms and improved techniques for satisfiability testing, specific data structures and implementation details of the SAT algorithms, and the theoretical study of the SAT problem and SAT algorithms.
This volume constitutes the refereed proceedings of the 6th International Conference on Principles and Practice of Constraint Programming, CP 2000, held in Singapore in September 2000. The 31 revised full papers and 13 posters presented together with three invited contributions were carefully reviewed and selected from 101 submissions. All current issues of constraint processing, ranging from theoretical and foundational issues to applications in various fields are addressed.
This volume comprises papers from the 18th Conference on Systems Engineering Research (CSER). The theme of this volume, “Recent Trends and Advances in Model-Based Systems Engineering,” reflects the fact that systems engineering is undergoing a transformation motivated by mission and system complexity and enabled by technological advances such as model-based systems engineering, digital engineering, and the convergence of systems engineering with other disciplines. This conference is focused on exploring recent trends and advances in model-based systems engineering (MBSE) and the synergy of MBSE with simulation technology and digital engineering. Contributors have submitted papers on MBSE...
Solving pattern recognition problems involves an enormous amount of computational effort. By applying genetic algorithms - a computational method based on the way chromosomes in DNA recombine - these problems are more efficiently and more accurately solved. Genetic Algorithms for Pattern Recognition covers a broad range of applications in science and technology, describing the integration of genetic algorithms in pattern recognition and machine learning problems to build intelligent recognition systems. The articles, written by leading experts from around the world, accomplish several objectives: they provide insight into the theory of genetic algorithms; they develop pattern recognition theory in light of genetic algorithms; and they illustrate applications in artificial neural networks and fuzzy logic. The cross-sectional view of current research presented in Genetic Algorithms for Pattern Recognition makes it a unique text, ideal for graduate students and researchers.
This book constitutes the refereed proceedings of the 10th International Conference on Database Systems for Advanced Applications, DASFAA 2005, held in Beijing, China in April 2005. The 67 revised full papers and 15 revised short papers presented were carefully reviewed and selected from 302 submissions. The papers are organized in topical sections on bioinformatics, water marking and encryption, XML query processing, XML coding and metadata management, data mining, data generation and understanding, music retrieval, query processing in subscription systems, extending XML, Web services, high-dimensional indexing, sensor and stream data processing, database performance, clustering and classification, data warehousing, data mining and Web data processing, moving object databases, temporal databases, semantics, XML update and query patterns, join processing and view management, spatial databases, enhancing database services, recovery and correctness, and XML databases and indexing.
Evolutionary algorithms are general-purpose search procedures based on the mechanisms of natural selection and population genetics. They are appealing because they are simple, easy to interface, and easy to extend. This volume is concerned with applications of evolutionary algorithms and associated strategies in engineering. It will be useful for engineers, designers, developers, and researchers in any scientific discipline interested in the applications of evolutionary algorithms. The volume consists of five parts, each with four or five chapters. The topics are chosen to emphasize application areas in different fields of engineering. Each chapter can be used for self-study or as a reference by practitioners to help them apply evolutionary algorithms to problems in their engineering domains.
This proceeding contains the cutting-edge research results in information science and technology, and their related technology. Recent scientific breakthroughs such as invisibility cloak and meta-materials, data mining techniques, advanced game playing in artificial intelligence, nano-technology, unlikely event probability, and fuzzy logic reasoning are just a few outstanding examples. Walter Freeman's 80th birthday celebration is another highlight of this proceedings, because this major event is attended by many leading scientists from around the world. Key speakers include Charles Falco, Water Freeman, Thomas Huang, Meyya Meyyappan, Lotfi Zadeh, Bernette Bouchon Meunier, Heather Carlson, Ling Guan, Etienne Kerre and John Mordes.