•  English
    • Persian
    • English
  •   Login
  • Ferdowsi University of Mashhad
  • |
  • Information Center and Central Library
    • Persian
    • English
  • Home
  • Source Types
    • Journal Paper
    • Ebook
    • Conference Paper
    • Standard
    • Protocol
    • Thesis
  • Use Help
View Item 
  •   FUM Digital Library
  • Fum
  • Articles
  • Latin Articles
  • View Item
  •   FUM Digital Library
  • Fum
  • Articles
  • Latin Articles
  • View Item
  • All Fields
  • Title
  • Author
  • Year
  • Publisher
  • Subject
  • Publication Title
  • ISSN
  • DOI
  • ISBN
Advanced Search
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

Author:
Giedrimas, Vaidas
Publisher:
IEEE
Year
: 2014
DOI: 10.1109/CCECE.2014.6901141
URI: https://libsearch.um.ac.ir:443/fum/handle/fum/1091607
Keyword(s): 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
Collections :
  • Latin Articles
  • Show Full MetaData Hide Full MetaData
  • Statistics

    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
  • About Us
نرم افزار کتابخانه دیجیتال "دی اسپیس" فارسی شده توسط یابش برای کتابخانه های ایرانی | تماس با یابش
DSpace software copyright © 2019-2022  DuraSpace