Ditemukan 16 dokumen yang sesuai dengan query
Ovchinnikova, Ekaterina, author
This book concerns non-linguistic knowledge required to perform computational natural language understanding (NLU). The main objective of the book is to show that inference-based NLU has the potential for practical large scale applications. First, an introduction to research areas relevant for NLU is given....
Paris: Atlantis Press, 2012
e20406540
eBooks Universitas Indonesia Library
Bergstra, Jan A., author
This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in...
Paris: Atlantis Press, 2012
e20420463
eBooks Universitas Indonesia Library
Diacu, Florin, author
This monograph provides a mathematical proof that, for distances of the order of 10 AU, space is Euclidean. This result is, of course, not surprising for such small cosmic scales. But it is good to finally have a mathematical confirmation in this sense. This book shed some light on the...
Amsterdam: Atlantis Press, 2012
e20420524
eBooks Universitas Indonesia Library
Arnoldus, B.J., author
This book reveals the mathematical background of templates and shows interesting findings for improving the practical use of templates. First, a framework to determine the necessary computational power for the template metalanguage is presented. The template metalanguage does not need to be Turing-complete to be useful. A non-Turing-complete metalanguage enforces...
Paris: Atlantis Press, 2012
e20420662
eBooks Universitas Indonesia Library
Paris: Atlantis Press, 2017
352.2 FIR
Buku Teks Universitas Indonesia Library
Keller, Gottfried
Zurich: Atlantis Verlag AG, 1965
JER 833.8 KEL g (1)
Buku Teks Universitas Indonesia Library
