Ditemukan 11 dokumen yang sesuai dengan query
Hasibuan, Zainal Arifin, author
Pada tulisan ini akan dijelaskan berbagai teknik sistem temu kembali informasi dan rancangan integrasi sistem ke basis hiperteks. Sistem pengindeksan yang dijelaskan adalah pengindeksan dengan pembobotan berdasarkana frekuensi dan berdasarkan rumus Savoy [1]. sedangkan teknik temu kembali informasi yang dijelaskan adalah teknik Boolean biasa, teknol Boolean berperingkat dan teknik...
2001
JIKT-1-2-Okt2001-44
Artikel Jurnal Universitas Indonesia Library
Streater, Jack W., author
Indianapolis: Howard W. Sains, 1969
621.381 7 STR h
Buku Teks Universitas Indonesia Library
Ching, Lai Sheng, author
Toronto: Ryerson Press, 1969
004 CHI t
Buku Teks Universitas Indonesia Library
Creignou, Nadia, author
Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated as Boolean constraint satisfaction problems (CSP). This book is devoted to the study of the complexity of such problems. The authors' goal is to develop a framework for classifying...
Philadelphia : Society for Industrial and Applied Mathematics, 2001
e20442783
eBooks Universitas Indonesia Library
Knoebel, Arthur, author
Sheaves of algebras over boolean spaces comprehensively covers sheaf theory as applied to universal algebra. The text presents intuitive ideas from topology such as the notion of metric space and the concept of central idempotent from ring theory. These lead to the abstract notions of complex and factor element, respectively....
New York: Springer Science, 2012
e20418932
eBooks Universitas Indonesia Library
Liou, James J.H, author
This study differs from previous studies by applying multivariate statistical analysis and multi-criterion decision-making methods to the improvement of service quality. We use the rough set theory (RST) with a flow graph approach to determine customer attitudes regarding service quality, which can assist managers in developing strategies to improve service...
Taylor and Francis, 2016
658 JIPE 33:2 (2016)
Artikel Jurnal Universitas Indonesia Library
Eggersgluß, Stephan, author
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay tests such as robust path delay...
New York: [, Springer], 2012
e20418663
eBooks Universitas Indonesia Library
Artikel Jurnal Universitas Indonesia Library
Achmad Nizar Hidayanto, author
Ide dasar dilakukannya penelitian ini adalah untuk mengembangkan dan mengimplementasikan sistem temu kembali informasi dalam lingkungan yang sifatnya terdistribusi (Ditributed Information Retrieval System). Pengertian terdistribusi di sini adalah penggunaan satu prosesor untuk mengakses beberapa koleksi database dokumen.
Pengimplementasian sistem temu-kembali informasi terdistribusi menjadi begitu penting karena sifat alamiah dari koleksi dokumen...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2002
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
Donzellini, Giuliano, author
This book has been designed for a first course on digital design for engineering and computer science students. It offers an extensive introduction on fundamental theories, from Boolean algebra and binary arithmetic to sequential networks and finite state machines, together with the essential tools to design and simulate systems composed...
Switzerland: Springer Cham, 2019
e20502436
eBooks Universitas Indonesia Library
