Pertanyaan yang diberi tag «terminology»

Saya berjuang dengan sedikit definisi dalam representasi pengetahuan dan mencari bantuan yang dapat dipercaya untuk membedakannya. Saya telah mencari di wikipedia dan banyak situs web untuk perbedaan antara ontologi dan jaringan semantik (jangan bingung dengan web semantik). Sementara halaman wikipedia di jaringan semantik tidak pernah merujuk pada ontologi, mereka tampak …

9 terminology  knowledge-representation  ontologies 

Saya bingung tentang bagaimana PP dan BPP didefinisikan. Mari kita asumsikan adalah fungsi karakteristik untuk bahasa . M menjadi Mesin Turing probabilistik. Apakah definisi berikut ini benar:χχ\chiLL\mathcal{L} BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP =\{\mathcal{L} :Pr[\chi(x) \ne M(x)] \geq \frac{1}{2} + \epsilon \quad \forall x \in \mathcal{L},\ \epsilon > 0 \} PP={L:Pr[χ(x)≠M(x)]>12}PP={L:Pr[χ(x)≠M(x)]>12}PP =\{\mathcal{L} :Pr[\chi(x) …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

Saya telah membaca banyak dokumen tentang konvolusi dalam pemrosesan gambar, dan kebanyakan dari mereka mengatakan tentang formulanya, beberapa parameter tambahan. Tidak ada yang menjelaskan intuisi dan makna sebenarnya di balik melakukan konvolusi pada gambar. Misalnya, intuisi derivasi pada grafik membuatnya lebih linier misalnya. Saya pikir ringkasan singkat dari definisi ini …

9 terminology  intuition  graphics  computer-vision 

Saya sedang mempelajari Bootstrapping dari Red Dragon Book Compiler dan menemukan diagram T untuk cross compiler cukup membingungkan. Saya tidak mengerti apa yang dimaksud dengan "Jalankan compiler1 melalui compiler2". Adakah yang bisa memberikan penjelasan yang lebih baik, analogi atau contoh untuk berhubungan dengan beberapa kompiler dunia nyata? Beberapa notasi dulu. …

9 compilers  terminology 

StackOverflow menunjuk saya ke sini, jadi pertanyaannya mungkin sedikit dalam istilah awam. Wikipedia mendefinisikan fungsi murni sebagai Dalam pemrograman komputer, suatu fungsi dapat digambarkan sebagai fungsi murni jika kedua pernyataan ini tentang fungsi tersebut: Fungsi selalu mengevaluasi nilai hasil yang sama dengan nilai argumen yang sama. Nilai hasil fungsi tidak …

9 terminology  functional-programming  semantics 

Tampaknya, byte telah menetapkan dirinya menjadi 8bit (apakah itu benar?). RAM dan NOR-flash biasanya dapat diakses pada tingkat yang cukup granular, tetapi terserah arsitektur sistem untuk menentukan apakah unit terkecil yang dapat dialamatkan adalah 8bit, 16bit atau kekuatan lain dari nomor dua bit. Apakah istilah yang tepat untuk menyebut ini …

9 terminology  computer-architecture  memory-management  memory-access 

Saya telah membaca beberapa makalah teori bahasa formal, dan saya menemukan istilah yang tidak saya mengerti. Makalah ini akan sering merujuk pada satu set yang "ditutup secara efektif di bawah persimpangan" atau operasi lainnya. Apa arti "efektif" di sini? Apa bedanya dengan penutupan normal? Sebagai referensi, makalah yang saya lihat …

9 formal-languages  terminology  computability  automata  closure-properties 

Dalam masalah Subset Sum, bisakah beberapa angka yang diberikan sama? Sebagai contoh, kita mungkin memiliki dan targetnya adalah ? Dapatkah saya berasumsi bahwa saya memiliki solusi spesifik dengan angka dan dan dan tidak?a1,a2,a3,…,ana1,a2,a3,…,ana_1,a_2,a_3,\dots,a_n[1,1,1,2,3,4][1,1,1,2,3,4][1,1,1,2,3,4]5552223331,1,11,1,11,1,1222

9 complexity-theory  terminology 

Misalkan saya ingin mengoptimalkan fungsi unimodal yang didefinisikan pada beberapa interval nyata. Saya dapat menggunakan algoritma terkenal seperti yang dijelaskan dalam Wikipedia dengan nama pencarian ternary . Dalam kasus algoritma yang berulang kali membagi dua interval, adalah umum untuk mencadangkan pencarian biner untuk masalah diskrit dan menggunakan metode pembagian dua …

8 algorithms  terminology  numerical-analysis  numerical-algorithms 

Saat menghitung ketergantungan runtime pada input, perhitungan apa yang dipertimbangkan? Sebagai contoh, saya pikir saya belajar bahwa pengindeksan array serta pernyataan tugas tidak dihitung, mengapa begitu?

8 terminology  algorithm-analysis  runtime-analysis 

Saya mencoba (secara intuitif) memahami dua istilah "decidability" dan "verifiability". Saya telah melakukan banyak pencarian dan pencarian berbagai teks yang dapat saya lakukan. Namun, pemahaman intuitif mereka nampaknya lepas dari saya, khususnya untuk yang kedua. Dari banyak definisi yang ditemukan, yang berikut ditemukan di halaman ini , dengan jelas menjelaskan …

8 complexity-theory  formal-languages  terminology  computability 

Masalah 3-Warna dapat dibuktikan NP-Complete memanfaatkan pengurangan dari 3SAT Graph Coloring (dari 3SAT) . Sebagai akibatnya, masalah 4-Warna adalah NP-Lengkap menggunakan pengurangan dari 3-Warna: Reduksi dari instance 3-Coloring: menambahkan simpul tambahan ke grafik masalah 3-Coloring, dan membuatnya berdekatan dengan semua simpul asli. Mengikuti alasan yang sama, masalah 5-Coloring, 6-Coloring, dan …

8 complexity-theory  graph-theory  terminology  np-complete 

Dari, pembuktian dengan metode probabilistik sering dikatakan tidak konstruktif. Namun, bukti dengan metode probabilistik memang merancang algoritma acak dan menggunakannya untuk membuktikan keberadaan. Dikutip dari p103 Randomized Algorithms Oleh Rajeev Motwani, Prabhakar Raghavan : Kita bisa melihat buktinya dengan metode probabilistik sebagai algoritma acak. Ini kemudian akan memerlukan analisis lebih …

8 algorithms  terminology  randomized-algorithms 

Saya tahu istilah perintah B-tree. Baru-baru ini saya mendengar istilah baru: B tree dengan derajat minimum 2. Kita tahu bahwa derajat berhubungan dengan simpul tetapi berapa derajat pohon? Apakah derajat memaksakan segala jenis pembatasan pada ketinggian pohon-B?

8 terminology  data-structures  search-trees  dictionaries 

Apa artinya ketika suatu argumen ke suatu fungsi disebut argumen dummy ? Saya belum menemukan istilah ini di luar Fortran, apakah ini istilah umum dalam ilmu komputer? Apa yang akan menjadi contoh argumen yang diteruskan sebagai dummy dan tidak dianggap sebagai dummy? Saya menemukan definisi ini , yang saya tidak …

8 terminology  programming-languages  functional-programming