Sökt på: a p it
totalt 6 553 träffar
Natural Language Parsing Systems
Hayes present in their paper "Robust Parsing Using Multiple Construction-Specific Strategies" two small experimental parsers, implemented to illustrate the advantages of a …
Current Trends in Hardware Verification and Automated Theorem Proving
This report describes the partially completed correctness proof of the Viper 'block model'. Viper [7,8,9,11,23] is a microprocessor designed by W. J. Cullyer, C. Pygott and J. …
Bienvenue au 21 e siècle
Chaque jour, chaque semaine, chaque annee, des donnees reliees a l'evaluation des apprentissages sont recoltees par des enseignants, des ecoles et des ministeres. …
Abduction and Induction
From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which we now call abduction and …
Interactive and Dynamic Dashboard
The text comprehensively discusses the representation of visual data and design principles of interactive and dynamic dashboards. It further covers the theoretical concept of …
Probabilistic Models of the Brain
A survey of probabilistic approaches to modeling and understanding brain function.Neurophysiological, neuroanatomical, and brain imaging studies have helped to shed light on how …
26 Dominios Con Ejercicios de SQL
Cloud and Serverless Computing for Scientists
This book offers an introduction to cloud computing and serverless computing for students, researchers and R&D organizations through several practical examples.
Computer Programming Bible
Computational Models of Learning
In recent years, machine learning has emerged as a significant area of research in artificial intelligence and cognitive science. Machine learning has recently become the subject …
Reliable Computer Systems
This classic reference work is a comprehensive guide to the design, evaluation, and use of reliable computer systems. It includes case studies of reliable systems from …
Analysis of Images, Social Networks and Texts
This book constitutes revised selected papers from the 9th International Conference on Analysis of Images, Social Networks and Texts, AIST 2020, held during October 15-16, 2020.