Refine by Content Type

  • Ico_delete_facetFunction

Refine by Product

Refine by Time Frame

image thumbnail

updated 4 months ago

ProgCertSOS by Victor Magron

Certified program analysis using Sum-of-Squares (SOS) programming (static analysis, abstract interpretati..., template abstract dom...)

plotcontour(Xit, Yit, nit, y1, y2, P, number, dirname);

templatedesignbound (x, gC, gT, T, degP, r, sdpsolver)

templatedesignout (x, gC, gT, T, degP, r, kappa, sdpsolver)

image thumbnail

updated 7 months ago

De-Speckling SAR (Synthetic Aperture RADAR) Image by Ashish Meshram (Meet)

De-Speckling SAR (Synthetic Aperture RADAR) Image (image processing, nondecimated wavelet ..., savitzkygolay filter)

AddSpecNoise(OI,v)

MetricsMeasurement(Orig_Image,Esti_Image)

bft(OI,A,B,C,level,n,type,thresh)

image thumbnail

updated almost 11 years ago

Image Compression by Luigi Rosa

Luigi Rosa (view profile)

Demo source code for image compression. (compression, image compression, dct)

btcode (infile,bx,by,outfile)

conv2fft(z1,z2,shape,shape2)

convfft(z1,z2)

Contact us