Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

STACS 94
  • Language: en
  • Pages: 802

STACS 94

This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science (STACS '94), held in Caen, France, February 24-26, 1994. Besides three prominent invited papers, the proceedings contains 60 accepted contributions chosen by the international program committee during a highly competitive reviewing process from a total of 234 submissions for 38 countries. The volume competently represents most areas of theoretical computer science with a certain emphasis on (parallel) algorithms and complexity.

Autonomous Search
  • Language: en
  • Pages: 308

Autonomous Search

Decades of innovations in combinatorial problem solving have produced better and more complex algorithms. These new methods are better since they can solve larger problems and address new application domains. They are also more complex which means that they are hard to reproduce and often harder to fine-tune to the peculiarities of a given problem. This last point has created a paradox where efficient tools are out of reach of practitioners. Autonomous search (AS) represents a new research field defined to precisely address the above challenge. Its major strength and originality consist in the fact that problem solvers can now perform self-improvement operations based on analysis of the perf...

Theory and Applications of Satisfiability Testing
  • Language: en
  • Pages: 502

Theory and Applications of Satisfiability Testing

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, held in St Andrews, Scotland in June 2005. The 26 revised full papers presented together with 16 revised short papers presented as posters during the technical programme were carefully selected from 73 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial applications, specific tools, case studies, and empirical results.

Intelligent Information and Database Systems
  • Language: en
  • Pages: 844

Intelligent Information and Database Systems

  • Type: Book
  • -
  • Published: 2016-03-08
  • -
  • Publisher: Springer

The two-volume proceedings of the ACIIDS 2016 conference, LNAI 9621 + 9622, constitutes the refereed proceedings of the 8th Asian Conference on Intelligent Information and Database Systems, held in Da Nang, Vietnam, in March 2016. The total of 153 full papers accepted for publication in these proceedings was carefully reviewed and selected from 392 submissions. They were organized in topical sections named: knowledge engineering and semantic Web; social networks and recommender systems; text processing and information retrieval; database systems and software engineering; intelligent information systems; decision support and control systems; machine learning and data mining; computer vision t...

Principles and Practice of Constraint Programming
  • Language: en
  • Pages: 965

Principles and Practice of Constraint Programming

  • Type: Book
  • -
  • Published: 2014-08-13
  • -
  • Publisher: Springer

This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014. The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies.

Principles and Practice of Constraint Programming - CP 2007
  • Language: en
  • Pages: 903

Principles and Practice of Constraint Programming - CP 2007

This book constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint Programming, CP 2007. It contains 51 revised full papers and 14 revised short papers presented together with eight application papers and the abstracts of two invited lectures. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects to solving real-world problems in various application fields.

Theory and Applications of Satisfiability Testing -- SAT 2012
  • Language: en
  • Pages: 516

Theory and Applications of Satisfiability Testing -- SAT 2012

  • Type: Book
  • -
  • Published: 2012-06-18
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings.

Advances in Knowledge Discovery and Data Mining
  • Language: en
  • Pages: 866

Advances in Knowledge Discovery and Data Mining

  • Type: Book
  • -
  • Published: 2017-04-25
  • -
  • Publisher: Springer

This two-volume set, LNAI 10234 and 10235, constitutes the thoroughly refereed proceedings of the 21st Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2017, held in Jeju, South Korea, in May 2017. The 129 full papers were carefully reviewed and selected from 458 submissions. They are organized in topical sections named: classification and deep learning; social network and graph mining; privacy-preserving mining and security/risk applications; spatio-temporal and sequential data mining; clustering and anomaly detection; recommender system; feature selection; text and opinion mining; clustering and matrix factorization; dynamic, stream data mining; novel models and algorithms; behavioral data mining; graph clustering and community detection; dimensionality reduction.

Research and Development in Intelligent Systems XXXIII
  • Language: en
  • Pages: 381

Research and Development in Intelligent Systems XXXIII

  • Type: Book
  • -
  • Published: 2016-11-14
  • -
  • Publisher: Springer

The papers in this volume are the refereed papers presented at AI-2016, the Thirty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2016 in both the technical and the application streams. They present new and innovative developments and applications, divided into technical stream sections on Knowledge Discovery and Data Mining, Sentiment Analysis and Recommendation, Machine Learning, AI Techniques, and Natural Language Processing, followed by application stream sections on AI for Medicine and Disability, Legal Liability and Finance, Telecoms and eLearning, and Genetic Algorithms in Action. The volume also includes the text of short papers presented as posters at the conference. This is the thirty-third volume in the Research and Development in Intelligent Systems series, which also incorporates the twenty-fourth volume in the Applications and Innovations in Intelligent Systems series. These series are essential reading for those who wish to keep up to date with developments in this important field.