The double volumes LNCS 12391-12392 constitutes the papers of the 31st International Conference on Database and Expert Systems ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Conference on Database and Expert Systems Applications, ...
Lire la suiteThis book discuss the use of and synergy between databases and XML. It provided theory and practice of XML data management ...
Lire la suiteThis book discuss the use of and synergy between databases and XML. It provided theory and practice of XML data management ...
Lire la suiteThis book constitutes the refereed proceedings of the 14th International Baltic Conference on Databases and Information Systems, ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Workshop on Databases in Networked Information Systems, ...
Lire la suiteThe P2P paradigm lends itself to constructing large-scale, complex, adaptive, autonomous and heterogeneous database and information ...
Lire la suiteThe P2P paradigm lends itself to constructing large-scale, complex, adaptive, autonomous and heterogeneous database and information ...
Lire la suiteThis book presents translations of all the relevant German texts, and analyses the background and context of Hansemann's ...
Lire la suiteThis book explores commentaries on an influential text of pre-Copernican astronomy in Europe. It features essays that take ...
Lire la suiteThis text is devoted to examining new research at the interface of operations research, behavioral and cognitive sciences, ...
Lire la suiteThe book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...
Lire la suiteThe second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...
Lire la suiteThis volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
Lire la suiteThis textbook for students and practitioners presents a practical approach to decomposition techniques in optimization. It ...
Lire la suiteWhat is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...
Lire la suiteDiscusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...
Lire la suiteProvides an overview of different deep learning-based methods for face recognition and related problems. Specifically, the ...
Lire la suitePresents a comprehensive comparison of the performance of stochastic optimization algorithms Includes an introduction to ...
Lire la suite