Towards the Curry-Howard protocol implementation for the component-based paradigm
نویسنده:
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/CCECE.2014.6901141
کلیدواژه(گان): 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
کالکشن
:
-
آمار بازدید
Towards the Curry-Howard protocol implementation for the component-based paradigm
Show full item record
contributor author | Giedrimas, Vaidas | |
date accessioned | 2020-03-12T22:41:56Z | |
date available | 2020-03-12T22:41:56Z | |
date issued | 2014 | |
identifier other | 7020320.pdf | |
identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1091607 | |
format | general | |
language | English | |
publisher | IEEE | |
title | Towards the Curry-Howard protocol implementation for the component-based paradigm | |
type | Conference Paper | |
contenttype | Metadata Only | |
identifier padid | 8230488 | |
subject keywords | pattern classification | |
subject keywords | n unsolicited e-mail | |
subject keywords | n CAV algorithm | |
subject keywords | n Ham e-mail | |
subject keywords | n consultation-and-voting algorithm | |
subject keywords | n electronic mail | |
subject keywords | n junk e-mail | |
subject keywords | n legitimate e-mail | |
subject keywords | n multiple classifications | |
subject keywords | n public consultation process | |
subject keywords | n spam e-mail detection | |
subject keywords | n voting system | |
subject keywords | n Classification algorithms | |
subject keywords | n Decision trees | |
subject keywords | n Error analysis | |
subject keywords | n Filtering | |
subject keywords | n MATLAB | |
subject keywords | n Unsolicited electronic mail | |
subject keywords | n Ham | |
subject keywords | n Spam | |
subject keywords | n UBE | |
subject keywords | n consultation | |
subject keywords | n voting | |
identifier doi | 10.1109/CCECE.2014.6901141 | |
journal title | nformation, Electronic and Electrical Engineering (AIEEE), 2014 IEEE 2nd Workshop on Advances in | |
filesize | 437119 | |
citations | 0 |