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