The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Lire la suiteThis book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThis book offers updated information on how much information we are able to obtain in the exploration of the inner details ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Lire la suiteConstitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lire la suiteFunctional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification ...
Lire la suiteETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suiteThe book presents fundamental numerical methods which are most frequently applied in the electrical (electronic) engineering. All ...
Lire la suiteprovides a practical approach by explaining the concepts of machine learning and deep learning algorithms, evaluation of ...
Lire la suiteThis book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
Lire la suiteThis book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
Lire la suiteThis is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
Lire la suiteGenerative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...
Lire la suiteThis tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
Lire la suiteIn this volume we present the contributions for the 18th European Conference on Genetic Programming (EuroGP 2005). The conference ...
Lire la suiteThis volume explores the emerging interaction between theory and practice in the cutting-edge, machine learning method of ...
Lire la suiteGenetic Programming Theory and Practice III explores the emerging interaction between theory and practice in the cutting-edge, ...
Lire la suiteGenetic Programming Theory and Practice IV was developed from the fourth workshop at the University of Michigan’s Center ...
Lire la suite