Pertanyaan yang diberi tag «terminology»

Saya telah membaca kata-kata itu dalam publikasi yang cukup banyak dan saya ingin memiliki beberapa definisi yang bagus untuk istilah-istilah tersebut yang memperjelas perbedaan antara deteksi objek vs segmentasi semantik vs lokalisasi. Alangkah baiknya jika Anda bisa memberikan sumber untuk definisi Anda.

23 terminology  computer-vision 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Dalam skrip yang saat ini saya baca pada kalkulus lambda, kesetaraan beta didefinisikan sebagai ini: The ββ\beta -equivalence adalah kesetaraan terkecil yang berisi .→ β≡β≡β\equiv_\beta→β→β\rightarrow_\beta Saya tidak …

21 logic  terminology  lambda-calculus  type-theory 

Saya mengajar komputasi untuk anak berusia 18 tahun. Setelah notasi polesan terbalik dijelaskan kepada mereka, satu orang bertanya mengapa cukup signifikan untuk mengikuti ujian publik. Saya menjelaskan arti historis kalkulator 70-an tetapi ini gagal untuk benar-benar mengatasi masalah ini. Begitu juga dengan aplikasi praktis atau teoretis RPN.

21 terminology  education 

Saya tahu komputasi dalam arti yang kabur (itu yang dilakukan komputer), tapi saya ingin definisi yang lebih ketat. Dictionary.comDefinisi komputasi, komputasi, menghitung, dan menghitung bersifat melingkar, sehingga tidak membantu. Wikipediamendefinisikan komputasi sebagai "segala jenis perhitungan yang mengikuti model yang terdefinisi dengan baik." Ini mendefinisikan perhitungan sebagai "proses yang disengaja yang …

20 terminology  computability 

Saya mencoba mencari tahu siapa yang menciptakan istilah "pembelajaran mesin". Sebuah pertanyaan tambahan adalah dari mana Arthur Samuel dikutip mendefinisikan bidang "pembelajaran mesin" pada tahun 1959 sebagai: bidang studi yang memberikan komputer kemampuan untuk belajar tanpa diprogram secara eksplisit ? Anda dapat menemukan banyak, banyak referensi untuk definisi ini di …

19 terminology  reference-request  machine-learning  history 

Saya sedang menulis makalah penelitian dan pada dasarnya saya harus mengatakan bahwa satu mikrokontroler lebih lambat dari mikroprosesor lainnya. Namun, saya khawatir bahwa hanya mengatakan bahwa 'lebih lambat' tidak akan sesuai dalam makalah penelitian. Apakah saya benar? Apakah boleh mengatakan bahwa satu prosesor 'lebih lambat', atau apakah saya perlu mengatakan …

19 terminology  computer-architecture 

Saya membaca tentang Pemrograman Dinamis ketika saya menemukan kutipan berikut Algoritma pemrograman dinamis akan memeriksa semua cara yang mungkin untuk menyelesaikan masalah dan akan memilih solusi terbaik. Oleh karena itu, kita dapat secara kasar menganggap pemrograman dinamis sebagai metode yang cerdas dan kasar yang memungkinkan kita untuk melalui semua solusi …

19 algorithms  terminology  optimization  dynamic-programming 

Saya terus menemukan referensi ke titik tetap dalam pertanyaan dan jawaban di stackexchange dan saya mencari artinya di web jelas menemukan referensi di situs-situs seperti Wikipedia. Namun tidak ada referensi yang benar-benar menjawab pertanyaan saya tentang apa itu titik tetap dan apa artinya dalam dunia ilmu komputer.

19 terminology 

Saya akrab dengan selusin bahasa pemrograman yang memiliki pengecualian dalam beberapa cara, namun saya datang untuk menyaksikan dua kecenderungan "patologis". Tampaknya tidak ada pola umum atau hierarki pengecualian. Setiap bahasa pada dasarnya memutar versinya sendiri, dan jika pengecualian membuatnya menjadi standar, maka jenis-jenis pengecualian yang ditemukan dalam standar akan agak …

18 terminology  programming-languages  api-design 

Saya mulai membaca semakin banyak makalah penelitian bahasa. Saya merasa sangat menarik dan cara yang baik untuk mempelajari lebih lanjut tentang pemrograman secara umum. Namun, biasanya ada bagian di mana saya selalu berjuang dengan (ambil misalnya bagian ketiga dari ini ) karena saya tidak memiliki latar belakang teoritis dalam ilmu …

18 logic  reference-request  terminology  type-theory 

Dalam kursus Algoritma dan Struktur Data saya , profesor, slide dan buku ( Pengantar Algoritma, edisi ke-3 ) telah menggunakan kata NILuntuk menunjukkan misalnya anak dari simpul (di pohon) yang tidak ada. Suatu kali, selama kuliah, alih-alih mengatakan NIL, teman sekelasku berkata null, dan profesor memperbaikinya, dan aku tidak mengerti …

17 algorithms  terminology  data-structures  notation 

Saya rasa saya tahu apa sistem operasi real-time yang "sulit". Ini adalah sistem operasi dengan penjadwal yang menyediakan kontrak dengan pemrogram aplikasi. Aplikasi menyediakan tenggat waktu dengan setiap permintaan alokasi sumber daya. Jika permintaan tenggat waktu layak , penjadwal menjamin bahwa setiap sumber daya akan dialokasikan untuk aplikasi yang meminta …

17 terminology  operating-systems  process-scheduling  real-time 

Apa perbedaan antara penglihatan komputer dan pemrosesan gambar? Misalnya, dalam pengenalan objek, apa peran visi komputer dan pemrosesan gambar?

17 terminology  computer-vision  image-processing  education 

Saya telah menggunakan FSM dalam desain Sirkuit berurutan Digital. Tapi saya tidak terbiasa dengan Finite Automata. Adakah yang bisa membantu saya memahami perbedaan 'dasar' di antara keduanya?

16 terminology  automata  finite-automata 

Saya benar-benar bergumul dengan properti ini: Biarkan X,YX,YX,Y menjadi ruang koherensi dan f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y) menjadi fungsi monoton. fff adalah kontinu jika dan hanya jika f(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x) , untuk semua D⊆Cl(X)D⊆Cl(X)D \subseteq Cl(X) sedemikian rupa sehingga DDD adalah himpunan terarah. Set yang diarahkan didefinisikan sebagai berikut: …

16 terminology  programming-languages  semantics