Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 301 dokumen yang sesuai dengan query
Haryadi Herdian, author
Pemetaan suatu citra gambar dari long range CCTV kepada koordinat nyata pada peta merupakan hal yang baru. Pengetahuan ini dapat digunakan dalam berbagai macam keperluan seperti : peletakan kamera CCTV pada ujung ? ujung daerah perkotaan untuk pendeteksian bencana (kebakaran, pencurian, dll). Pada penulisan laporan ini, penulis akan mencoba suatu...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2009
UI - Skripsi (Open)  Universitas Indonesia Library
Walkerly, John F.
New York: John Wiley & Sons, 1976
621.391 WAL k
Buku Teks  Universitas Indonesia Library
Akarajit Tanjana, author
Automatic schema matching is a process to find correspondences among different data attributes from either databases or XML schemas. since there is an inconsistency for naming attributes, the schema matching which is done by humans is the most practical; however, it is time-consuming and incurs great expense. therefore, automatic schema...
Pathum Thani: Thammasat University, 2017
670 STA 22:3 (2017)
Artikel Jurnal  Universitas Indonesia Library
Zadeh, Lotfi A., author
In essence, Computing with Words (CWW) is a system of computation in which the objects of computation are predominantly words, phrases and propositions drawn from a natural language. CWW is based on fuzzy logic. In science there is a deep-seated tradition of according much more respect to numbers than to...
Berlin: [Springer, ], 2012
eBooks  Universitas Indonesia Library
Luis Farinas del Cerro, editor
This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of...
Berlin: [, Springer-Verlag], 2012
eBooks  Universitas Indonesia Library
Righi, R., editor
Questo libro su H. Soubies-Camy, l´algèbre logique appliquée aux techniques binaires, I parte, lezioni. H. Soubies-Camy, L´algèbre logique appliquée aux techniques binaires, II parte, disegni. J. Piesch, switching algebra. J.P. Roth: Una teoria per la progettazione logica dei Meccanismi Automatici. ...
Berlin : Springer, 2011
eBooks  Universitas Indonesia Library
Beziau, Jean-Yves, editor
The theory of oppositions based on Aristotelian foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having repercussions in various fields: epistemology, linguistics, mathematics, sociology, physics. The square can also be generalized in other two-dimensional or multi-dimensional objects...
Basel: [Springer , ], 2012
eBooks  Universitas Indonesia Library
Manna, Zohar, author
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and...
Philadelphia: Society for Industrial and Applied Mathematics, 1980
eBooks  Universitas Indonesia Library
Eko Yuli Harmanto, author
Depok: Fakultas Teknik Universitas Indonesia, 1994
UI - Skripsi (Membership)  Universitas Indonesia Library