•  Persian
    • Persian
    • English
  •   ورود
  • دانشگاه فردوسی مشهد
  • |
  • مرکز اطلاع‌رسانی و کتابخانه مرکزی
    • Persian
    • English
  • خانه
  • انواع منابع
    • مقاله مجله
    • کتاب الکترونیکی
    • مقاله همایش
    • استاندارد
    • پروتکل
    • پایان‌نامه
  • راهنمای استفاده
View Item 
  •   کتابخانه دیجیتال دانشگاه فردوسی مشهد
  • Fum
  • Articles
  • Latin Articles
  • View Item
  •   کتابخانه دیجیتال دانشگاه فردوسی مشهد
  • Fum
  • Articles
  • Latin Articles
  • View Item
  • همه
  • عنوان
  • نویسنده
  • سال
  • ناشر
  • موضوع
  • عنوان ناشر
  • ISSN
  • شناسه الکترونیک
  • شابک
جستجوی پیشرفته
JavaScript is disabled for your browser. Some features of this site may not work without it.

Towards the Curry-Howard protocol implementation for the component-based paradigm

نویسنده:
Giedrimas, Vaidas
ناشر:
IEEE
سال
: 2014
شناسه الکترونیک: 10.1109/CCECE.2014.6901141
یو آر آی: https://libsearch.um.ac.ir:443/fum/handle/fum/1091607
کلیدواژه(گان): pattern classification,n unsolicited e-mail,n CAV algorithm,n Ham e-mail,n consultation-and-voting algorithm,n electronic mail,n junk e-mail,n legitimate e-mail,n multiple classifications,n public consultation process,n spam e-mail detection,n voting system,n Classification algorithms,n Decision trees,n Error analysis,n Filtering,n MATLAB,n Unsolicited electronic mail,n Ham,n Spam,n UBE,n consultation,n voting
کالکشن :
  • Latin Articles
  • نمایش متادیتا پنهان کردن متادیتا
  • آمار بازدید

    Towards the Curry-Howard protocol implementation for the component-based paradigm

Show full item record

contributor authorGiedrimas, Vaidas
date accessioned2020-03-12T22:41:56Z
date available2020-03-12T22:41:56Z
date issued2014
identifier other7020320.pdf
identifier urihttps://libsearch.um.ac.ir:443/fum/handle/fum/1091607
formatgeneral
languageEnglish
publisherIEEE
titleTowards the Curry-Howard protocol implementation for the component-based paradigm
typeConference Paper
contenttypeMetadata Only
identifier padid8230488
subject keywordspattern classification
subject keywordsn unsolicited e-mail
subject keywordsn CAV algorithm
subject keywordsn Ham e-mail
subject keywordsn consultation-and-voting algorithm
subject keywordsn electronic mail
subject keywordsn junk e-mail
subject keywordsn legitimate e-mail
subject keywordsn multiple classifications
subject keywordsn public consultation process
subject keywordsn spam e-mail detection
subject keywordsn voting system
subject keywordsn Classification algorithms
subject keywordsn Decision trees
subject keywordsn Error analysis
subject keywordsn Filtering
subject keywordsn MATLAB
subject keywordsn Unsolicited electronic mail
subject keywordsn Ham
subject keywordsn Spam
subject keywordsn UBE
subject keywordsn consultation
subject keywordsn voting
identifier doi10.1109/CCECE.2014.6901141
journal titlenformation, Electronic and Electrical Engineering (AIEEE), 2014 IEEE 2nd Workshop on Advances in
filesize437119
citations0
  • درباره ما
نرم افزار کتابخانه دیجیتال "دی اسپیس" فارسی شده توسط یابش برای کتابخانه های ایرانی | تماس با یابش
DSpace software copyright © 2019-2022  DuraSpace