This two-volume set, consisting of LNCS 7816 and LNCS 7817, constitutes the thoroughly refereed proceedings of the 13th International Conference on Computer Linguistics and Intelligent Processing, CICLING 2013, held on Samos, Greece, in March 2013. Meer
This two-volume set, consisting of LNCS 7816 and LNCS 7817, constitutes the thoroughly refereed proceedings of the 13th International Conference on Computer Linguistics and Intelligent Processing, CICLING 2013, held on Samos, Greece, in March 2013. Meer
Personal motivation. The dream of creating artificial devices that reach or outperform human inteUigence is an old one. It is also one of the dreams of my youth, which have never left me. Meer
Modern cryptology increasingly employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research topics in complexity theory are often motivated by questions and problems from cryptology. Meer
The genus of definitions for the theoretical sciences is (the province of) the habitus of the intellective intention, for the practical sciences, however, that of the effective intention; the objects and ends constitute the specific differ ence There is nothing in the intellect that has not already been in the senses, that is, in the sensory organs, that has not already been in sensible things from which are distinguished things not perceptible to the senses. Meer
This book constitutes the refereed proceedings of the 10th International Conference on Cryptology in India, INDOCRYPT 2009, held in New Dehli, India, in December 2009. Meer
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. Meer
The area of computer graphics is characterized by rapid evolution. New techniques in hardware and software developments, e. g. , new rendering methods, have led to new ap plications and broader acceptance of graphics in fields such as scientific visualization, multi-media applications, computer aided design, and virtual reality systems. Meer
Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction. Meer
Artificial Intelligence is one of the most fascinating and unusual areas of academic study to have emerged this century. For some, AI is a true scientific discipline, that has made important and fundamental contributions to the use of computation for our understanding of nature and phenomena of the human mind; for others, AI is the black art of computer science. Meer
Logical Approach to Systems Theory (LAST) provides the foundations for the second order treatment of system models and an effective framework for applying basic concepts in systems theory to the design of information systems. Meer
Safety-related computer systems are those which may lead to loss of life, injury or plant and environmental damage. Such systems therefore have to be developed and implemented so that they meet strict require and security because their applications cover ments on safety, reliability nearly all areas of daily life and range from controlling and monitoring industrial processes, through robotics and power generation, to transport systems. Meer
ISTCS '92, the Israel Symposium on the Theory of Computing
and Systems, cameabout spontaneously as a result of
informal interaction between a group of people who viewed
the conference as an appropriate expression of Israeli
strength in theoretical aspects of computing and systems. Meer
The Communications and Multimedia Security conference (CMS 2003) was - ganized in Torino, Italy, on October 2-3, 2003. CMS 2003 was the seventh IFIP working conference on communications and multimedia security since 1995. Meer
This volume contains the proceedings of the Third
International Conference on Algebraic and Logic Programming,
held in Pisa, Italy, September 2-4, 1992. Meer
The 25th International Workshop on Graph-Theoretic Concepts in Computer Science (WG’99) celebrated the anniversaryof the workshop series at the Centro Stefano Franscini on Monte Verit`a, Ascona, Switzerland, from June 17 to 19, 1999. Meer
Der Band Autonome Mobile Systeme 1999 gibt einen Überblick über aktuelle Forschungsergebnisse auf dem Gebiet autonomer mobiler und/oder robotischer Systeme. Meer
Immer mehr mittelständische Unternehmen produzieren Software, die sie für ihre Kunden termin- und kostengerecht sowie in akzeptabler Qualität entwickeln müssen. Meer
The development of products in disciplines such as mechanical, electrical, or software engineering is a challenging task. Costs have to be reduced, the ti- to-market has to be shortened, and quality has to be improved. Meer
This book constitutes the refereed proceedings of the 4th International Workshop on Internet and Network Economics, WINE 2008, held in Shanghai, China, in December 2008. Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books