This book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...
WeiterlesenThis book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...
WeiterlesenThe Book covers most aspects of theoretical computer scienceand combinatorics related to computing.It exploring research, ...
WeiterlesenThe Book covers most aspects of theoretical computer scienceand combinatorics related to computing.It exploring research, ...
WeiterlesenThe papers in this volume were presented at theEleventh Annual InternationalComputing and Combinatorics Conference(COCOON ...
WeiterlesenThe papers are organized in topical sections on computational economics, finance, and management, graph algorithms, computational ...
WeiterlesenThe refereed proceedings of the 14th Annual International Computing and Combinatorics Conference, COCOON 2008, held in Dalian, ...
WeiterlesenIt presents polyhedral results and exact solution methods for location problems encountered in telecommunications but which ...
WeiterlesenThis book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, ...
WeiterlesenOptimal Structural Design deals with all aspects of shape optimization, parametric, geometric and topological, and gives ...
WeiterlesenConceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
WeiterlesenConceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
WeiterlesenZero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly ...
WeiterlesenUsing the principal tools of prediction and optimisation, this work gives the examples of how to deal with constraints, placing ...
WeiterlesenThe Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
WeiterlesenCentral to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
WeiterlesenCentral to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
WeiterlesenCentral to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
WeiterlesenCentral to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
WeiterlesenCentral to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Weiterlesen