Ditemukan 2 dokumen yang sesuai dengan query
I.S.W.B. Prasetya
"
Teori komposisi komponen adalah dasar dari modularitas dalam pengembangan dan verifikasi perangkat lunak. Teori ini terutama digunakan untuk memberikan justifikasi formal untuk konsistensi kerja komponen-komponen yang mudah dipakai ulan (reusable). Hambatan terbesar dalam menyusun bukti formasil untuk komponen seperti itu adalah konsistensi perilakku temporal yang berhubungan dengan kemajuan (progress) sulit dijaga dalam konteks sistem terdistribusi atau paralel. Teori yang ada sifatnya terlalu umum dan tidak memberikan petunjuk yang jelas bagaimana cata memberikan batasan (constraint) kepada ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2001
JIKT-I-1 Mei 2001-1
Artikel Jurnal Universitas Indonesia Library
Zuherman Rustam
"
Komputasi intelejensia yang digunakan dalam masalah klasifikasi pola dapat digolongkan menjadi dua bagian, yaitu yang berbasis pada Neural Network dan yang berbasis pada Pembelajaran Statistika (Statistical Learning). Pembelajaran yang berbasis statistika, pertama kali ditemukan oleh Vapnik pada dekade tujuh-puluhan. Untuk masalah klasifikasi pola Vapnik mengembangkan metode hyperplane optimal separation, atau dikenal juga dengan nama metode Support Vector Machines (SVM). Pada awalnya SVM dirancang hanya untuk menyelesaikan masalah klasifikasi biner, yaitu dari data-data yang ada, diklasifikasikan ...
"
Depok: Lembaga Penelitian Universitas Indonesia, 2003
AJ-Pdf
Artikel Jurnal Universitas Indonesia Library
