Ditemukan 10 dokumen yang sesuai dengan query
Ching, Lai Sheng
Toronto: Ryerson Press, 1969
004 CHI t
Buku Teks Universitas Indonesia Library
Streater, Jack W.
Indianapolis: Howard W. Sains, 1969
621.381 7 STR h
Buku Teks Universitas Indonesia Library
Hasibuan, Zainal Arifin
"
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 Extnded Boolean.Kinerja berbagai pengindeksan di ukur dengan menampilkan dokumen yang terambil berikut bobot peringkatnya.
Sistem ini dapat digunakan sebagai "bencmarking tool" untuk mengukur kinerja berbagai teknik ...
"
2001
JIKT-1-2-Okt2001-44
Artikel Jurnal Universitas Indonesia Library
Knoebel, Arthur
"
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. Factor elements are defined by identities, discovered for shells for the first time, explaining why central elements in rings and lattices have their particular form. ...
"
New York: Springer Science, 2012
e20418932
eBooks Universitas Indonesia Library
Creignou, Nadia
"
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 the complexity of Boolean CSP in a uniform way. In doing so, they bring out common themes underlying many concepts and results in both algorithms ...
"
Philadelphia : Society for Industrial and Applied Mathematics, 2001
e20442783
eBooks Universitas Indonesia Library
Liou, James J.H
"
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 quality and thus satisfy the needs of customers. A set of rules is derived from a large sample of airline customers, and its predictive ability ...
"
Taylor and Francis, 2016
658 JIPE 33:2 (2016)
Artikel Jurnal Universitas Indonesia Library
Eggersgluß, Stephan
"
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 tests, as well as tests with long propagation paths to detect small delay defects ...
"
New York: [, Springer], 2012
e20418663
eBooks Universitas Indonesia Library
Artikel Jurnal Universitas Indonesia Library
Achmad Nizar Hidayanto
"
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 yang letak penyimpanannya tersebar secara fisik (misalnya, koleksi dokumen yang berada di berbagai instansi). Di samping itu, setiap pengelola dokumen tentunya menginginkan adanya kebebasan dalam ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2002
T-Pdf
UI - Tesis Membership Universitas Indonesia Library
Donzellini, Giuliano
"
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 of a controller and a datapath. The numerous worked examples and solved exercises allow a better understanding and more effective learning. All of the examples ...
"
Switzerland: Springer Cham, 2019
e20502436
eBooks Universitas Indonesia Library
