Image Compression based on Quadtree and Polynomial
|
|
- Gladys Matthews
- 6 years ago
- Views:
Transcription
1 Interntionl Journl of Computer Applitions ( Imge Compression sed on Qudtree nd Polynomil Ghdh Al-Khfj Ph.D Dept. of Computer Siene, Bghdd University, College of Siene. ABSTRACT In this pper, n effiient imge ompression sheme is introdued, it is sed on prtitioning the imge into loks of vrile sizes ording to its lolly hnging imge hrteristis nd then using the polynomil pproximtion to deompose imge signl with less ompressed informtion required ompred to trditionl preditive oding tehniques, finlly Huffmn oding utilized to improve ompression performne rte. The test results indite tht the suggested method n led to promising performne due to simpliity nd effiieny in terms of overoming the limittions of preditive oding nd fixed lok size. Generl Terms Qudtree prtitioning of vrile lok sizes with polynomil pproximtion for lossy imge ompression. Keywords Imge ompression, ompression tehniques, qudtree nd polynomil representtion. 1. INTRODUCTION Imge ompression tehniques generlly fll into two tegories: lossless nd lossy depending on the redundny type exploited, where lossless lso lled informtion preserving or error free tehniques, in whih the imge ompressed without losing informtion tht rerrnge or reorder the imge ontent, nd re sed on the utiliztion of sttistil redundny lone suh s Huffmn oding, Arithmeti oding nd Lempel-Ziv lgorithm, while lossy whih remove ontent from the imge, whih degrdes the ompressed imge qulity, nd re sed on the utiliztion of psyho-visul redundny, either solely or omined with sttistil redundny suh s suh s vetor quntiztion, frtl, trnsform oding nd JPEG, reviews of lossless nd lossy tehniques n e found in [1]-[8]. In generl, lossy tehniques work on segment sed tht sudivide the imge into non-overlpping segments (loks of fixed sizes or vrile sizes. Typilly the fixed prtitioning method is dopted due to its simpliity nd populrity, ut this is t the expense of effiieny, nd omes with greter storge ost, euse the loks re prtitioned sed on the size of the region, regrdless of the ontent, whether tht region or lok is uniform or non-uniform [9]. The vrile lok prtitioning methods utilized y numer of reserhers [10]-[19], to overome the fixed prtitioning method drwk using prtitioning tehniques suh s qudtree, HV (horizontl-vertil nd tringulr, in whih the results re promising ut still under development, nd not yet reognized to e used y stndrd tehniques due to omplexity or diffiulty of hoosing the uniformity mesure nd time required. Nowdys, there s inrese trend of utilizing the polynomil pproximtion representtion [0]-[1] due to its simpliity, symmetry of enoder nd deoder nd high ompression rtes n provide where no need to extr informtion to e used like seed vlues ompred to the trditionl preditive oding method []-[3]. In this pper, lossy qudtree vrile lok prtitioning method long with the polynomil pproximtion is introdued to remove the redundny etween neighoring pixels ording to its lol dependeny tht effiiently improve the qulity nd the ompression rte. The rest of the pper orgnized s follows, setion ontins omprehensive lrifition of the proposed system; the results of the proposed system, is given in setion 3.. THE PROPOSED SYSTEM The min tken onerns in the proposed system re: Get the enefit of hierrhil prtitioning representtion where loks of vrile sizes produed tht effiiently improve the ompression rtes nd qulity. Sine in this pper the liner polynomil representtion is dopted to remove the sptil redundny, the oeffiients re fixed within the sudivided lok-y-lok imge, so three oeffiients ( 0, 1, re required to represent eh lok. Therefore, the performne vry ording to the loks nture, in other words the performne inrese when pplied to lrge smooth regions nd redued when pplied to edge regions. The entropy oding using Huffmn tehniques used effiiently in order to minimize the it required. The implementtion of the proposed system is explined in the following steps, the lyout of the enoder is illustrted in Figure 1: Step 1: Lod the input unompressed imge I of size N N Step : Prtition the imge I into non-overlpped loks of vrile sizes n m using qudtree prtitioning sheme y heking the uniformity of the tested lok, tht strt with prtitioning (dividing the imge into loks whose size is equl to the mximum lok size, if the lok is not uniform then the prtitioning repeted on its four qudrnts in hierrhil mnner until rehing the minimum lok size where the uniformity ondition is stisfied. The uniformity riteri sed impliitly on utilizing the men nd stndrd devition of qud region, where for non-uniform region it exeeds ertin Stndrd Devition Threshold Vlue nd their men intensity, is limited etween Minimum Men Threshold Vlue nd Mximum Men Threshold Vlue. After tht the onstruted qudtree will onsists of prtitions whose size vlue will e etween minimum nd mximum lok size. Algorithm 1 summrizes the qudtree prtitioning steps. 31
2 Interntionl Journl of Computer Applitions ( Step 3: Perform the polynomil representtion to the vrile loks sizes tht resultnt of step ording to equtions (1,,3 [0]. n 1m1 1 0 I( j (1 n m n1m1 I( j ( j x ( n1m1 ( j x n1m1 I( j ( i y (3 n1m1 ( i y Where I(j is the originl imge lok of size n m nd x n (4 y m (5 Step 4: Apply uniform slr quntiztion to quntize the polynomil pproximtion oeffiients, where eh oeffiient is quntized using different quntiztion step. 0 0Q round( 0D 0Q QS0...( 6 QS 1 1Q round( QS 0 1 D Q QS 1... (7 Q round( D Q QS...( 8 QS Where 0 Q, 1Q, Q re the polynomil quntized vlues, QS 0, QS 1, QS re the quntiztion steps of the polynomil oeffiients, nd 0 D, 1D, D re polynomil dequntized vlues. Step 5: Determine the predited or pproximted imge vlue I ~ using the dequntized polynomil oeffiients for eh enoded lok representtion: ~ I D D( j x 1 D( i y (9 0 1 Step 6: Find the residul or predition error s differene etween the originl I nd the predited one I ~. ~ R( j I( j I ( j (10 Step 7: Perform slr uniform quntiztion to quntize the residul prt, where residul vlue is divided y the quntiztion step. The quntiztion step vlues ffeted the imge qulity nd the ompression rte. Step 8: Apply Huffmn oding tehniques to remove the rest of redundny tht emedded etween the quntized vlues of the residul nd the polynomil oeffiients. To reonstrut the deompressed imge ll the ove mentioned steps re reversed s shown in Figure. 3. EXPERIMENTS AND RESULTS For testing the proposed system performne; it is pplied on numer of well-known stndrd imges (see Figure 3 for n overview, ll imges of 56 gry levels (8its/pixel of size The tests hve een performed using vrile lok sizes of different Minimum &Mximum lok sizes nd ompre it with fixed lok size {4 4}, the quntiztion levels utilized ws seleted to e etween 4 nd 64 levels, using to 6 its on oth the residul imge nd the pproximtion representtion oeffiients ( 0, 1,. The prtitioned imges for fixed nd qudtree shemes re shown in Figures 4, 5, 6 nd 7 respetively. The ompression rtio, whih is the rtio of the originl imge size to the ompressed size long with the normlized root men squre error (NRMSE etween the originl imge I nd the deoded imge Î ws dopted s fidelity or degrdtion mesure s in eqution (11, where the rnge of the vlues is etween 0 nd 1. A vlue ner zero indites high imge qulity, i.e. the deoded imge losely resemles the originl, nd vie vers. NRMSE ( I, Iˆ N 1N 1 [ Iˆ( x, y I( x, y] x0 y0 N 1N 1 I( x, y x0 y (11 Certinly, the qulity of the deoded imge is improves s the numer of quntiztion levels of oth the pproximtion representtion oeffiients nd residul imge inrese. The min disdvntge of inresing the quntiztion levels, however, lies in inresing the size of the ompressed informtion. It is trde-off etween the desired qulity nd the onsumption of ytes; the higher the qulity required, the lrger the numer of quntiztion levels tht must e used. The results shown in Tle 1 nd Figure 8 illustrtes tht the 4 4 fixed lok size, ompred to qudtree of nerly sme numer of loks s fixed lok se, of the three tested imges. The results show tht for qudtree higher qulity produed due to utilizing smll loks of finer detils, ut with less ompression rte where the using of igger lok sizes impliitly mening derese in modelling fidelity s the lok gets igger where the size of residul vries ording to the lok size (i.e., residul size inrese due to insuffiient model flexiility. Also the result demonstrtes tht the ompression rtes is diretly ffeted y the residul size (residul urden not the size of polynomil pproximtion oeffiients, in other words even with less oeffiient prmeters required in qudtree the residul represents the exhusted ytes. Tle, shown the high qulity results for the three tested imges, using qudtree prtitioning method of different lok sizes. The results lerly show tht the qulity improves with the inrese of the numer of prtitioned loks, nd vie vers. The deoded imges with different qulity sttus re shown in Figures 9,10 nd 11 respetively. Lstly, the results showed tht the qulity of the deoded imge dose not suffers from the loking effets nd edge degrdtion s the lok gets igger, whih differs from other ompression tehniques, tht ssumed tht s the lok got smller, higher qulity would e hieved. The min reson of the improving of imge qulity in the polynomil pproximtion oding tehniques using igger lok sizes due to dominting residul imge. 4. ACKNOWLEDGMENTS Our thnks to the experts who hve ontriuted towrds development of the templte. 3
3 Interntionl Journl of Computer Applitions ( Imge I Uniformity I ~ Test -- Polynomil Coding R Quntiztion Entropy Coding Compresse d dt Fig 1. Enoder struture of the proposed system. Compressed dt Entropy Deoding Dequntiztion Add Residul to Polynomil prt Fig. Deoder struture of the proposed system. Reonstruted Imge Î Algorithm 1. Qudtree prtitioning lgorithm. 1. Input imge I of size N N. Selet the Minimum nd Mximum Blok Size 3. Test the Uniformity riteri If (region <= Minimum Blok Size then uniform Else if (region > Mximum Blok Size then nonuniform Else If (region > Stndrd Devition Threshold Vlue nd (region > Minimum Men Threshold Vlue nd region < Mximum Men Threshold Vlue then nonuniform Else uniform Fig 3. Overview of the tested imges ( Len imge, ( Living room imge nd ( Pper imge, ll imges of size 56 56, gry sle imges. Fig 4. Fixed Prtitioning of lok size 4 4 on the tested imges of sizes ( Len imge, ( Living room imge nd ( Pper imge, numer of loks 4096 in ll imges. 33
4 Interntionl Journl of Computer Applitions ( Fig 5(-. Qudtree prtitioning pplied on Len imge with different numer of loks. Fig 6(-. Qudtree prtitioning pplied on Living room imge with different numer of loks. Fig 7(-. Qudtree prtitioning pplied on Pper with different numer of loks. Fig 8. Compression rtio versus the normlized men squre error of the tested imges ( Len (Living room (d Pper using fixed lok nd qudtree tehniques. 34
5 Interntionl Journl of Computer Applitions ( Tle 1. Comprison etween fixed nd qudtree tehniques on the tested imges. Tested imges Qunt oeff. & Res Qudtree {Minimum Blok Size=, Mximum Blok Size=16, Stndrd Devition Threshold Vlue=10, Minimum Men Threshold Vlue =0 nd Mximum Men Threshold Vlue =110 } Fixed lok 4 4 No. Bloks=4096 N. Bloks CR NRMSE CR NRMSE Len 4 levels livingroom 4 levels Pper 4 levels Tested imges Qudtree prtitioning Qunt oeff. =4 & Res=3 levels N. CR NRMSE Bloks Len livingroom Pper Tle. Compression performne of the proposed system on the tested imges of high qulity. No. Bloks=10188 CR=3.361 NRMSE= No. Bloks=36 CR=5.41 NRMSE= Fig 9. Deompressed Len imge with different qulity vlues using Qunt. (oeff. =4 & Res.=16 levels. 35
6 Interntionl Journl of Computer Applitions ( No. Bloks=905 CR=3.616 NRMSE= No. Bloks=668 CR=4.867 NRMSE=0.036 Fig 10. Deompressed Living room imge with different qulity vlues using Qunt.(oeff. =4 & Res.=16 levels. No. Bloks=93 CR=3.373 NRMSE=0.087 No. Bloks=3018 CR=5.781 NRMSE= Fig11: Deompressed Pper imge with different qulity vlues using Qunt (oeff. =4 & Res.=16 levels. 36
7 Interntionl Journl of Computer Applitions ( REFERENCES [1] Furht, B A Survey of Multimedi Compression Tehniques nd Stndrds. Rel-Time Imging, 1, [] Singh, S. K. nd Kumr, S Mthemtil Trnsforms nd Imge Compression: A Review. Mejo Interntionl Journl of Siene nd Tehnology, 4(0, [3] Shin, D A Review of Imge Compression nd Comprison of its Algorithms. Interntionl Journl on Eletronis & Communition Tehnology (IJECT. (1, -6. [4] Anith, S D Imge Compression Tehnique-A Survey. Interntionl Journl of Sientifi & Engineering Reserh, (7, 1-6. [5] Sridev S., Vijykuymr, V.R. nd Anuj, R. 01. A Survey on Vrious Compression Methods for Medil Imges. Interntionl Journl of Intelligent Systems nd Applitions, 3, [6] Vrindvnm, J., Chndrn, S. nd Mhnt G. K. 01. A Survey of Imge Compression Methods. Proeedings on Interntionl Conferene nd Workshop on Emerging Trends in Tehnology [7] Asolkr, P. S., Zope, P. H. nd Surlkr S. R Review of Dt Compression nd Different Tehniques of Dt Compression. Interntionl Journl of Engineering Reserh & Tehnology (IJERT, (1, 1-8. [8] Amrut, S.G. nd Snjy L.N A Review on Lossy to Lossless Imge Coding. Interntionl Journl of Computer Applitions (IJCA, 67(17, [9] Fisher, Y Frtl Imge Compression: Theory nd Applition. Springier Verlge, New York. [10] Visey, D. nd Gersho, A Vrile Blok-Size Imge Coding.. Proeedings of the IEEE interntionl onferene on Aoustis, Speeh, nd Signl Proessing, [11] Wu, P. nd Zheng, B A New Imge Compression Method Bsed on HV Frtl nd DCT. Communition Tehnology Proeedings, Interntionl Conferene on ICCT '98. 1, 1-4. [1] Guoru J., Yuzhuo, Z., Shiqing, Y. nd Bo, Y Fst Frtl Imge Compression Bsed on HV Prtition. Prt of the SPIE Conferene on Multimedi Storge nd Arhiving Systems. 3846, [13] Jmil, H.S Frtl Imge Compression, Ph.D. Thesis, College of Siene, University of Bghdd. [14] Ghd, K. T Adptive Frtl Imge Compression. M.S. Thesis, Ntionl Computer Center/Higher Edution Institute of Computer nd Informtion. [15] Golhin, F. nd Pliwl, K.K Qudtree-sed lssifition in sund imge oding. Digitl Signl Proessing, 13, [16] Rjkumr, W. S., Kulkrn M.V., Dhore, M.L., Ml S. N Frtl Imge Compression Performne Synthesis Through HV Prtitioning. Advned Computing nd Communitions, ADCOM Interntionl Conferene on [17] Ghd, K.T. nd Luy, K. A Merge Opertion Effet On Imge Compression Using Frtl Tehnique. Journl of Bghdd for Siene, 4, [18] Keissrin1, F A New Qudtree-sed Imge Compression Tehnique using Pttern Mthing Algorithm. Interntionl Conferene on Computtionl & Experimentl Engineering nd Sienes (ICCES, 1(4, [19] Chng, C-L., Mkr, M., Sm S.T. nd Girod, B Diretion-Adptive Prtitioned Blok Trnsform for Color Imge Coding. IEEE Trnstions on Imge Proessing, 19(7, [0] George, L. E. nd Sultn, B Imge Compression Bsed on Wvelet, Polynomil nd Qudtree. Journl of Applied Computer Siene & Mthemtis, 11(5, 15-0 [1] Ghdh, Al-K. nd George, L. E..013.Fst Lossless Compression of Medil Imges sed on Polynomil. Interntionl Journl of Computer Applitions, 70(15,8-3. [] Mrgos, P. A., Shfer, R. W. nd Mersereu, R. M Two-Dimensionl Liner Preditive nd Its Applition to Adptive Coding of Imges. Proeedings of the IEEE interntionl onferene on Aoustis, Speeh nd Signl Proessing, [3] Musmnn, H. G., Pirsh, P. nd Grllert, H Advnes in Piture Coding. Proeedings of the IEEE, 73(4, [4] Ds, M. nd Loh, N. K New Studies on Adptive Coding of Imges using Multiplitive Autoregressive Models. 10th IEEE Region Conferene on Communition, [5] Burgett, S. nd Ds, M Preditive Imge Coding using Multiresolution Multiplitive Autoregressive Models. Proeedings of the IEEE, 140(, [6] Blrm, N. nd Mour, J. M. F Nonusl Preditive Imge Code. IEEE Trnstions on Imge Proessing, 5(8, [7] Su, C.K., Hsin, H.C. nd Lin, S.F Wvelet Tree Clssifition nd Hyrid Coding for Imge Compression. IEE Proeedings on Vision, Imge nd Signl Proessing, 15(6, [8] Ino, Y., Silv, d. And Cruz, F.S A Fst nd Effiient Hyrid FrtlWvelet Imge Coder. IEEE Trnstions on Imge Proessing, 15(1, [9] Xu, J., Wu, F. nd Zhng, W Intr-Preditive Trnsforms for Blok-Bsed Imge Coding. IEEE Trnstions on Signl Proessing, 57(8, [30] Gry, R. M A Survey of Liner Preditive Coding: Prt I of Liner Preditive Coding nd the Internet Protool. Foundtions nd Trends in Signl Proessing, 3(3, [31] Rehn, V. J. nd Kumr, M. K. J Hyrid Approhes to Imge Coding: A Review. Interntionl Journl of Advned Computer Siene nd Applitions (IJACSA, (7, [3] Groh, M. nd Grg, A. 01. Imge Compression Algorithm. Interntionl Journl of Engineering Reserh nd Applitions (IJERA, (, IJCA TM : 37
IMAGE COMPRESSION USING HIRARCHICAL LINEAR POLYNOMIAL CODING
Rsh Al-Tmimi et l, Interntionl Journl of Computer Siene nd Mobile Computing, Vol.4 Issue.1, Jnury- 015, pg. 11-119 Avilble Online t www.ijsm.om Interntionl Journl of Computer Siene nd Mobile Computing
More informationLossy Images Compression Based on Multiresolution
Reserch Article Open Access Lossy Imges Compression Bsed on Multiresolution Rn T. Al-Timimi Deprtment of Bnking nd Finncil Sciences, College of Mngement nd Economic, Mustnsiriyh University, IRAQ *Author
More informationOutline. Motivation Background ARCH. Experiment Additional usages for Input-Depth. Regular Expression Matching DPI over Compressed HTTP
ARCH This work ws supported y: The Europen Reserh Counil, The Isreli Centers of Reserh Exellene, The Neptune Consortium, nd Ntionl Siene Foundtion wrd CNS-119748 Outline Motivtion Bkground Regulr Expression
More information[SYLWAN., 158(6)]. ISI
The proposl of Improved Inext Isomorphi Grph Algorithm to Detet Design Ptterns Afnn Slem B-Brhem, M. Rizwn Jmeel Qureshi Fulty of Computing nd Informtion Tehnology, King Adulziz University, Jeddh, SAUDI
More information[Prakash* et al., 5(8): August, 2016] ISSN: IC Value: 3.00 Impact Factor: 4.116
[Prksh* et l 58: ugust 6] ISSN: 77-9655 I Vlue: Impt Ftor: 6 IJESRT INTERNTIONL JOURNL OF ENGINEERING SIENES & RESERH TEHNOLOGY SOME PROPERTIES ND THEOREM ON FUZZY SU-TRIDENT DISTNE Prveen Prksh* M Geeth
More informationSMALL SIZE EDGE-FED SIERPINSKI CARPET MICROSTRIP PATCH ANTENNAS
Progress In Eletromgnetis Reserh C, Vol. 3, 195 22, 28 SMALL SIZE EDGE-FED SIERPINSKI CARPET MICROSTRIP PATCH ANTENNAS W.-L. Chen nd G.-M. Wng Rdr Engineering Deprtment Missile Institute of Air Fore Engineering
More informationDr.Hazeem Al-Khafaji Dept. of Computer Science, Thi-Qar University, College of Science, Iraq
Volume 4 Issue 6 June 014 ISSN: 77 18X International Journal of Advaned Researh in Computer Siene and Software Engineering Researh Paper Available online at: www.ijarsse.om Medial Image Compression using
More informationInternet Routing. IP Packet Format. IP Fragmentation & Reassembly. Principles of Internet Routing. Computer Networks 9/29/2014.
omputer Networks 9/29/2014 IP Pket Formt Internet Routing Ki Shen IP protool version numer heder length (words) for qulity of servie mx numer remining hops (deremented t eh router) upper lyer protool to
More informationError Numbers of the Standard Function Block
A.2.2 Numers of the Stndrd Funtion Blok evlution The result of the logi opertion RLO is set if n error ours while the stndrd funtion lok is eing proessed. This llows you to rnh to your own error evlution
More informationPhotovoltaic Panel Modelling Using a Stochastic Approach in MATLAB &Simulink
hotovolti nel Modelling Using Stohsti Approh in MATLAB &Simulink KAREL ZALATILEK, JAN LEUCHTER eprtment of Eletril Engineering University of efene Kouniov 65, 61 City of Brno CZECH REUBLIC krelzpltilek@unoz,
More informationCMPUT101 Introduction to Computing - Summer 2002
CMPUT Introdution to Computing - Summer 22 %XLOGLQJ&RPSXWHU&LUFXLWV Chpter 4.4 3XUSRVH We hve looked t so fr how to uild logi gtes from trnsistors. Next we will look t how to uild iruits from logi gtes,
More informationA METHOD FOR CHARACTERIZATION OF THREE-PHASE UNBALANCED DIPS FROM RECORDED VOLTAGE WAVESHAPES
A METHOD FOR CHARACTERIZATION OF THREE-PHASE UNBALANCED DIPS FROM RECORDED OLTAGE WAESHAPES M.H.J. Bollen, L.D. Zhng Dept. Eletri Power Engineering Chlmers University of Tehnology, Gothenurg, Sweden Astrt:
More informationDuality in linear interval equations
Aville online t http://ijim.sriu..ir Int. J. Industril Mthemtis Vol. 1, No. 1 (2009) 41-45 Dulity in liner intervl equtions M. Movhedin, S. Slhshour, S. Hji Ghsemi, S. Khezerloo, M. Khezerloo, S. M. Khorsny
More informationCompression Outline :Algorithms in the Real World. Lempel-Ziv Algorithms. LZ77: Sliding Window Lempel-Ziv
Compression Outline 15-853:Algorithms in the Rel World Dt Compression III Introduction: Lossy vs. Lossless, Benchmrks, Informtion Theory: Entropy, etc. Proility Coding: Huffmn + Arithmetic Coding Applictions
More informationDistance Computation between Non-convex Polyhedra at Short Range Based on Discrete Voronoi Regions
Distne Computtion etween Non-onvex Polyhedr t Short Rnge Bsed on Disrete Voronoi Regions Ktsuki Kwhi nd Hiroms Suzuki Deprtment of Preision Mhinery Engineering, The University of Tokyo 7-3-1 Hongo, Bunkyo-ku,
More informationCOMPUTATION AND VISUALIZATION OF REACHABLE DISTRIBUTION NETWORK SUBSTATION VOLTAGE
24 th Interntionl Conferene on Eletriity Distriution Glsgow, 12-15 June 2017 Pper 0615 COMPUTATION AND VISUALIZATION OF REACHABLE DISTRIBUTION NETWORK SUBSTATION VOLTAGE Mihel SANKUR Dniel ARNOLD Lun SCHECTOR
More informationMulti-dimensional Selectivity Estimation Using Compressed Histogram Information*
Multi-dimensionl Seletivity Estimtion Using Compressed Histogrm Informtion* Ju-Hong Lee Deo-Hwn Kim Chin-Wn Chung À Deprtment of Informtion nd Communition Engineering À Deprtment of Computer Siene Kore
More informationDistributed Systems Principles and Paradigms. Chapter 11: Distributed File Systems
Distriuted Systems Priniples nd Prdigms Mrten vn Steen VU Amsterdm, Dept. Computer Siene steen@s.vu.nl Chpter 11: Distriuted File Systems Version: Deemer 10, 2012 2 / 14 Distriuted File Systems Distriuted
More informationSubband coding of image sequences using multiple vector quantizers. Emanuel Martins, Vitor Silva and Luís de Sá
Sund coding of imge sequences using multiple vector quntizers Emnuel Mrtins, Vitor Silv nd Luís de Sá Instituto de Telecomunicções, Deprtmento de Engenhri Electrotécnic Pólo II d Universidde de Coimr,
More informationCOSC 6374 Parallel Computation. Dense Matrix Operations
COSC 6374 Prllel Computtion Dense Mtrix Opertions Edgr Griel Fll Edgr Griel Prllel Computtion Edgr Griel erminology Dense Mtrix: ll elements of the mtrix ontin relevnt vlues ypilly stored s 2-D rry, (e.g.
More informationA Fast Delay Analysis Algorithm for The Hybrid Structured Clock Network
A Fst Dely Anlysis Algorithm for The Hyrid Strutured Clok Network Yi Zou 1, Yii Ci 1,Qing Zhou 1,Xinlong Hong 1, Sheldon X.-D. Tn 2 1 Deprtment of Computer Siene nd Tehnology, Tsinghu University, Beijing,
More informationParadigm 5. Data Structure. Suffix trees. What is a suffix tree? Suffix tree. Simple applications. Simple applications. Algorithms
Prdigm. Dt Struture Known exmples: link tble, hep, Our leture: suffix tree Will involve mortize method tht will be stressed shortly in this ourse Suffix trees Wht is suffix tree? Simple pplitions History
More informationDistributed Systems Principles and Paradigms
Distriuted Systems Priniples nd Prdigms Christoph Dorn Distriuted Systems Group, Vienn University of Tehnology.dorn@infosys.tuwien..t http://www.infosys.tuwien..t/stff/dorn Slides dpted from Mrten vn Steen,
More informationMinimal Memory Abstractions
Miniml Memory Astrtions (As implemented for BioWre Corp ) Nthn Sturtevnt University of Alert GAMES Group Ferury, 7 Tlk Overview Prt I: Building Astrtions Minimizing memory requirements Performnes mesures
More informationAn Efficient 8b/10b Encoder and Decoder Design using Reversible Logic Gates
Interntionl Journl of Eletril Eletronis & Computer Siene Engineering Volume 4, Issue 6 (Deemer, 207) E-ISSN : 2348-2273 P-ISSN : 2454-222 Aville Online t www.ijeese.om An Effiient 8/0 Enoder nd Deoder
More informationIntroduction to Algebra
INTRODUCTORY ALGEBRA Mini-Leture 1.1 Introdution to Alger Evlute lgeri expressions y sustitution. Trnslte phrses to lgeri expressions. 1. Evlute the expressions when =, =, nd = 6. ) d) 5 10. Trnslte eh
More informationTEMPLATE FOR ENTRY in Encyclopedia of Database Systems: GRID FILE. Yannis Manolopoulos
TEMPLATE FOR ENTRY in Enylopedi of Dtse Systems: GRID FILE Apostolos N. Ppdopoulos Ynnis Mnolopoulos Ynnis Theodoridis Vssilis Tsotrs Deprtment of Informtis Aristotle University of Thessloniki Thessloniki,
More informationAn Approach to Filter the Test Data for Killing Multiple Mutants in Different Locations
Interntionl Journl of Computer Theory nd Engineering, Vol. 5, No. 2, April 2013 An Approh to Filter the Test Dt for Killing Multiple Mutnts in Different Lotions Ngendr Prtp Singh, Rishi Mishr, Silesh Tiwri,
More informationCOSC 6374 Parallel Computation. Non-blocking Collective Operations. Edgar Gabriel Fall Overview
COSC 6374 Prllel Computtion Non-loking Colletive Opertions Edgr Griel Fll 2014 Overview Impt of olletive ommunition opertions Impt of ommunition osts on Speedup Crtesin stenil ommunition All-to-ll ommunition
More informationProfile Based Sub-Image Search in Image Databases
Profile Bsed Su-Imge Serh in Imge Dtses Vishwkrm Singh 1, Amuj K. Singh 2 Deprtment of Computer Siene, University of Cliforni, Snt Brr, USA 1 vsingh@s.us.edu, 2 muj@s.us.edu Astrt Su-imge serh with high
More informationTriple/Quadruple Patterning Layout Decomposition via Novel Linear Programming and Iterative Rounding
Triple/Qudruple Ptterning Lyout Deomposition vi Novel Liner Progrmming nd Itertive Rounding Yio Lin, Xioqing Xu, Bei Yu, Ross Bldik nd Dvid Z. Pn ECE Dept., University of Texs t Austin, Austin, TX USA
More informationFASTEST METHOD TO FIND ALTERNATIVE RE-ROUTE
INTERNATIONAL JOURNAL OF RESEARCH IN COMPUTER APPLICATIONS AND ROBOTICS ISSN 2320-7345 FASTEST METHOD TO FIND ALTERNATIVE RE-ROUTE 1 M.JothiLkshmi, M.S., M.Phil. 2 C.Theeendr, M.S., M.Phil. 3 M.K.Pvithr,
More informationBefore We Begin. Introduction to Spatial Domain Filtering. Introduction to Digital Image Processing. Overview (1): Administrative Details (1):
Overview (): Before We Begin Administrtive detils Review some questions to consider Winter 2006 Imge Enhncement in the Sptil Domin: Bsics of Sptil Filtering, Smoothing Sptil Filters, Order Sttistics Filters
More informationDistance vector protocol
istne vetor protool Irene Finohi finohi@i.unirom.it Routing Routing protool Gol: etermine goo pth (sequene of routers) thru network from soure to Grph strtion for routing lgorithms: grph noes re routers
More informationComparison between nmos Pass Transistor logic style vs. CMOS Complementary Cells*
Comprison etween nmos Pss Trnsistor logi style vs. CMOS Complementry Cells* Rkesh Mehrotr, Mssoud Pedrm Xunwei Wu Dept. of E.E.-Systems Dept. of Eletroni Eng. University of Southern Cliforni Hngzhou University
More informationSystems I. Logic Design I. Topics Digital logic Logic gates Simple combinational logic circuits
Systems I Logic Design I Topics Digitl logic Logic gtes Simple comintionl logic circuits Simple C sttement.. C = + ; Wht pieces of hrdwre do you think you might need? Storge - for vlues,, C Computtion
More informationThe Network Layer: Routing in the Internet. The Network Layer: Routing & Addressing Outline
CPSC 852 Internetworking The Network Lyer: Routing in the Internet Mihele Weigle Deprtment of Computer Siene Clemson University mweigle@s.lemson.edu http://www.s.lemson.edu/~mweigle/ourses/ps852 1 The
More informationCOSC 6374 Parallel Computation. Communication Performance Modeling (II) Edgar Gabriel Fall Overview. Impact of communication costs on Speedup
COSC 6374 Prllel Computtion Communition Performne Modeling (II) Edgr Griel Fll 2015 Overview Impt of ommunition osts on Speedup Crtesin stenil ommunition All-to-ll ommunition Impt of olletive ommunition
More informationGENG2140 Modelling and Computer Analysis for Engineers
GENG4 Moelling n Computer Anlysis or Engineers Letures 9 & : Gussin qurture Crete y Grn Romn Joles, PhD Shool o Mehnil Engineering, UWA GENG4 Content Deinition o Gussin qurture Computtion o weights n points
More informationFault tree conversion to binary decision diagrams
Loughorough University Institutionl Repository Fult tree onversion to inry deision digrms This item ws sumitted to Loughorough University's Institutionl Repository y the/n uthor. Cittion: ANDREWS, J.D.
More informationL. Yaroslavsky. Fundamentals of Digital Image Processing. Course
L. Yroslvsky. Fundmentls of Digitl Imge Processing. Course 0555.330 Lecture. Imge enhncement.. Imge enhncement s n imge processing tsk. Clssifiction of imge enhncement methods Imge enhncement is processing
More informationMidterm Exam CSC October 2001
Midterm Exm CSC 173 23 Otoer 2001 Diretions This exm hs 8 questions, severl of whih hve suprts. Eh question indites its point vlue. The totl is 100 points. Questions 5() nd 6() re optionl; they re not
More informationParallelization Optimization of System-Level Specification
Prlleliztion Optimiztion of System-Level Speifition Luki i niel. Gjski enter for Emedded omputer Systems University of liforni Irvine, 92697, US {li, gjski} @es.ui.edu strt This pper introdues the prlleliztion
More informationLossy Image Compression Methods. CSEP 590 Data Compression Autumn Barbara. JPEG Standard JPEG. DCT Compression JPEG
ossy Imge Compresson ethods CSEP 59 Dt Compresson Autumn 7 ossy Imge Compresson rnsform Codng DC Compresson Slr quntzton (SQ). Vetor quntzton (). Wvelet Compresson SPIH UWIC (Unversty of Wshngton Imge
More informationCS 241 Week 4 Tutorial Solutions
CS 4 Week 4 Tutoril Solutions Writing n Assemler, Prt & Regulr Lnguges Prt Winter 8 Assemling instrutions utomtilly. slt $d, $s, $t. Solution: $d, $s, nd $t ll fit in -it signed integers sine they re 5-it
More informationChapter 4 Fuzzy Graph and Relation
Chpter 4 Fuzzy Grph nd Reltion Grph nd Fuzzy Grph! Grph n G = (V, E) n V : Set of verties(node or element) n E : Set of edges An edge is pir (x, y) of verties in V.! Fuzzy Grph ~ n ( ~ G = V, E) n V :
More informationCS453 INTRODUCTION TO DATAFLOW ANALYSIS
CS453 INTRODUCTION TO DATAFLOW ANALYSIS CS453 Leture Register llotion using liveness nlysis 1 Introdution to Dt-flow nlysis Lst Time Register llotion for expression trees nd lol nd prm vrs Tody Register
More informationIMAGE QUALITY OPTIMIZATION BASED ON WAVELET FILTER DESIGN AND WAVELET DECOMPOSITION IN JPEG2000. Do Quan and Yo-Sung Ho
IMAGE QUALITY OPTIMIZATIO BASED O WAVELET FILTER DESIG AD WAVELET DECOMPOSITIO I JPEG2000 Do Qun nd Yo-Sung Ho School of Informtion & Mechtronics Gwngju Institute of Science nd Technology (GIST) 26 Cheomdn-gwgiro
More informationCalculus Differentiation
//007 Clulus Differentition Jeffrey Seguritn person in rowot miles from the nerest point on strit shoreline wishes to reh house 6 miles frther down the shore. The person n row t rte of mi/hr nd wlk t rte
More informationCompression of Concentric Mosaic Scenery with Alignment and 3D Wavelet Transform Lin Luo a, Yunnan Wu a, Jin Li b, Ya-Qin Zhang b,
Compression of Conentri Mosi Senery with Alignment n 3D Wvelet Trnsform Lin Luo, Yunnn Wu, Jin Li, Y-Qin Zhng, University of Siene & Tehnology of Chin Hefei, Anhui Provine, 230026, P.R.Chin Mirosoft Reserh
More informationKey words: Fuzzy linear programming, fuzzy triangular, fuzzy trapezoidal, fuzzy number, modified S-curve function, fuzzy simplex method.
Irqi Journl of Sttistil Siene () The Fourth Sientifi Conferene of the College of Computer Siene & Mthemtis pp [-] Trnsformtion Liner Memership Funtion y Using the Modified S- Curve Shorish Omer dull Dr.
More informationString comparison by transposition networks
String omprison y trnsposition networks Alexnder Tiskin (Joint work with Peter Krushe) Deprtment of Computer Siene University of Wrwik http://www.ds.wrwik..uk/~tiskin (inludes n extended version of this
More informationAn Efficient Code Update Scheme for DSP Applications in Mobile Embedded Systems
An Effiient Code Updte Sheme for DSP Applitions in Moile Emedded Systems Weiji Li, Youto Zhng Computer Siene Deprtment,University of Pittsurgh,Pittsurgh, PA 526 {weijili,zhngyt}@s.pitt.edu Astrt DSP proessors
More informationSingle-Layer Trunk Routing Using 45-Degree Lines within Critical Areas for PCB Routing
SASIMI 2010 Proeedings (R3-8) Single-Lyer Trunk Routing Using 45-Degree Lines within Critil Ares for PCB Routing Kyosuke SHINODA Yukihide KOHIRA Atsushi TAKAHASHI Tokyo Institute of Tehnology Dept. of
More informationFinal Exam Review F 06 M 236 Be sure to look over all of your tests, as well as over the activities you did in the activity book
inl xm Review 06 M 236 e sure to loo over ll of your tests, s well s over the tivities you did in the tivity oo 1 1. ind the mesures of the numered ngles nd justify your wor. Line j is prllel to line.
More informationChapter 9. Greedy Technique. Copyright 2007 Pearson Addison-Wesley. All rights reserved.
Chpter 9 Greey Tehnique Copyright 2007 Person Aison-Wesley. All rights reserve. Greey Tehnique Construts solution to n optimiztion prolem piee y piee through sequene of hoies tht re: fesile lolly optiml
More informationAdaptive Pixel Interpolation for Spatial Error Concealment
J Sign Proess Syst (2010) 60:291 303 DOI 10.1007/s11265-009-0367-y Aptive Pixel Interpoltion for Sptil Error Conelment Li Song & Xin M Reeive: 9 Novemer 2008 / Revise: 23 Mrh 2009 /Aepte: 30 Mrh 2009 /Pulishe
More informationCan Pythagoras Swim?
Overview Ativity ID: 8939 Mth Conepts Mterils Students will investigte reltionships etween sides of right tringles to understnd the Pythgoren theorem nd then use it to solve prolems. Students will simplify
More informationApproximate Joins for Data Centric XML
Approximte Joins for Dt Centri XML Nikolus Augsten 1, Mihel Böhlen 1, Curtis Dyreson, Johnn Gmper 1 1 Fulty of Computer Siene, Free University of Bozen-Bolzno Dominiknerpltz 3, Bozen, Itly {ugsten,oehlen,gmper}@inf.uniz.it
More informationInter-domain Routing
COMP 631: NETWORKED & DISTRIBUTED SYSTEMS Inter-domin Routing Jsleen Kur Fll 2016 1 Internet-sle Routing: Approhes DV nd link-stte protools do not sle to glol Internet How to mke routing slle? Exploit
More informationLesson 4.4. Euler Circuits and Paths. Explore This
Lesson 4.4 Euler Ciruits nd Pths Now tht you re fmilir with some of the onepts of grphs nd the wy grphs onvey onnetions nd reltionships, it s time to egin exploring how they n e used to model mny different
More informationMITSUBISHI ELECTRIC RESEARCH LABORATORIES Cambridge, Massachusetts. Introduction to Matroids and Applications. Srikumar Ramalingam
Cmrige, Msshusetts Introution to Mtrois n Applitions Srikumr Rmlingm MERL mm//yy Liner Alger (,0,0) (0,,0) Liner inepenene in vetors: v, v2,..., For ll non-trivil we hve s v s v n s, s2,..., s n 2v2...
More informationStained Glass Design. Teaching Goals:
Stined Glss Design Time required 45-90 minutes Teching Gols: 1. Students pply grphic methods to design vrious shpes on the plne.. Students pply geometric trnsformtions of grphs of functions in order to
More informationCS 551 Computer Graphics. Hidden Surface Elimination. Z-Buffering. Basic idea: Hidden Surface Removal
CS 55 Computer Grphis Hidden Surfe Removl Hidden Surfe Elimintion Ojet preision lgorithms: determine whih ojets re in front of others Uses the Pinter s lgorithm drw visile surfes from k (frthest) to front
More informationOn the Detection of Step Edges in Algorithms Based on Gradient Vector Analysis
On the Detection of Step Edges in Algorithms Bsed on Grdient Vector Anlysis A. Lrr6, E. Montseny Computer Engineering Dept. Universitt Rovir i Virgili Crreter de Slou sin 43006 Trrgon, Spin Emil: lrre@etse.urv.es
More informationSOFTWARE-BUG LOCALIZATION WITH GRAPH MINING
Chpter 17 SOFTWARE-BUG LOCALIZATION WITH GRAPH MINING Frnk Eihinger Institute for Progrm Strutures nd Dt Orgniztion (IPD) Universit-t Krlsruhe (TH), Germny eihinger@ipd.uk.de Klemens B-ohm Institute for
More informationP(r)dr = probability of generating a random number in the interval dr near r. For this probability idea to make sense we must have
Rndom Numers nd Monte Crlo Methods Rndom Numer Methods The integrtion methods discussed so fr ll re sed upon mking polynomil pproximtions to the integrnd. Another clss of numericl methods relies upon using
More informationA decision support system prototype for fuzzy multiple objective optimization
EUSFLAT - LFA A eision support system prototype for fuzzy multiple ojetive optimiztion Fengjie Wu Jie Lu n Gungqun Zhng Fulty of Informtion Tehnology University of Tehnology Syney Austrli E-mil: {fengjiewjieluzhngg}@it.uts.eu.u
More informationEnterprise Digital Signage Create a New Sign
Enterprise Digitl Signge Crete New Sign Intended Audiene: Content dministrtors of Enterprise Digitl Signge inluding stff with remote ess to sign.pitt.edu nd the Content Mnger softwre pplition for their
More informationIncremental Design Debugging in a Logic Synthesis Environment
Inrementl Design Deugging in Logi Synthesis Environment Andres Veneris Jing Brndon Liu University of Toronto Freesle Semiondutors Dept ECE nd CS High Performne Tools Group Toronto, ON M5S 3G4 Austin, TX
More informationQuadrilateral and Tetrahedral Mesh Stripification Using 2-Factor Partitioning of the Dual Graph
The Visul omputer mnusript No. (will e inserted y the editor) Plo Diz-Gutierrez M. Gopi Qudrilterl nd Tetrhedrl Mesh Stripifition Using 2-Ftor Prtitioning of the Dul Grph strt In order to find 2-ftor of
More informationSpectral Analysis of MCDF Operations in Image Processing
Spectrl Anlysis of MCDF Opertions in Imge Processing ZHIQIANG MA 1,2 WANWU GUO 3 1 School of Computer Science, Northest Norml University Chngchun, Jilin, Chin 2 Deprtment of Computer Science, JilinUniversity
More informationLecture 11: Interactive Rendering Chapters 7 in Advanced GI
Leture 11: Intertive endering Chpters 7 in Advned GI Questions? HW 1 Fll 2004 Kvit Bl Computer Siene Cornell University Intertive Softwre endering Intertive User-driven, not pre-sripted nimtion At lest
More information10.5 Graphing Quadratic Functions
0.5 Grphing Qudrtic Functions Now tht we cn solve qudrtic equtions, we wnt to lern how to grph the function ssocited with the qudrtic eqution. We cll this the qudrtic function. Grphs of Qudrtic Functions
More informationDigital Signal Processing: A Hardware-Based Approach
Digitl Signl Processing: A Hrdwre-Bsed Approch Roert Esposito Electricl nd Computer Engineering Temple University troduction Teching Digitl Signl Processing (DSP) hs included the utilition of simultion
More informationContainers: Queue and List
Continers: Queue n List Queue A ontiner in whih insertion is one t one en (the til) n eletion is one t the other en (the he). Also lle FIFO (First-In, First-Out) Jori Cortell n Jori Petit Deprtment of
More informationAnalysis of Fundus Fluorescein Angiogram Based on the Hessian Matrix of Directional Curvelet Sub bands and Distance Regularized Level Set Evolution
Originl Artile www.jmss.mui..ir Anlysis of Fundus Fluoresein Angiogrm Bsed on the Hessin Mtrix of Diretionl Curvelet Su nds nd Distne Regulrized Level Set Evolution Asieh Soltnipour 1, Seed Sdri 1,, Hossein
More informationLecture 12 : Topological Spaces
Leture 12 : Topologil Spes 1 Topologil Spes Topology generlizes notion of distne nd loseness et. Definition 1.1. A topology on set X is olletion T of susets of X hving the following properties. 1. nd X
More informationShared Memory Architectures. Programming and Synchronization. Today s Outline. Page 1. Message passing review Cosmic Cube discussion
Tody s Outline Arhitetures Progrmming nd Synhroniztion Disuss pper on Cosmi Cube (messge pssing) Messge pssing review Cosmi Cube disussion > Messge pssing mhine Shred memory model > Communition > Synhroniztion
More informationFEEDBACK: The standard error of a regression is not an unbiased estimator for the standard deviation of the error in a multiple regression model.
Introutory Eonometris: A Moern Approh 6th Eition Woolrige Test Bnk Solutions Complete ownlo: https://testbnkre.om/ownlo/introutory-eonometris-moern-pproh-6th-eition-jeffreym-woolrige-test-bnk/ Solutions
More informationCOMP108 Algorithmic Foundations
Grph Theory Prudene Wong http://www.s.liv..uk/~pwong/tehing/omp108/201617 How to Mesure 4L? 3L 5L 3L ontiner & 5L ontiner (without mrk) infinite supply of wter You n pour wter from one ontiner to nother
More informationLecture 13: Graphs I: Breadth First Search
Leture 13 Grphs I: BFS 6.006 Fll 2011 Leture 13: Grphs I: Bredth First Serh Leture Overview Applitions of Grph Serh Grph Representtions Bredth-First Serh Rell: Grph G = (V, E) V = set of verties (ritrry
More informationResearch Article Determining Sensor Locations in Wireless Sensor Networks
Interntionl Journl of Distriuted Sensor Networks Volume 2015, Artile ID 914625, 6 pges http://dx.doi.org/10.1155/2015/914625 Reserh Artile Determining Sensor Lotions in Wireless Sensor Networks Zimo Li
More informationWidth and Bounding Box of Imprecise Points
Width nd Bounding Box of Impreise Points Vhideh Keikh Mrten Löffler Ali Mohdes Zhed Rhmti Astrt In this pper we study the following prolem: we re given set L = {l 1,..., l n } of prllel line segments,
More informationProblem Final Exam Set 2 Solutions
CSE 5 5 Algoritms nd nd Progrms Prolem Finl Exm Set Solutions Jontn Turner Exm - //05 0/8/0. (5 points) Suppose you re implementing grp lgoritm tt uses ep s one of its primry dt strutures. Te lgoritm does
More informationAlgorithm Design (5) Text Search
Algorithm Design (5) Text Serch Tkshi Chikym School of Engineering The University of Tokyo Text Serch Find sustring tht mtches the given key string in text dt of lrge mount Key string: chr x[m] Text Dt:
More informationLETKF compared to 4DVAR for assimilation of surface pressure observations in IFS
LETKF compred to 4DVAR for ssimiltion of surfce pressure oservtions in IFS Pu Escrià, Mssimo Bonvit, Mts Hmrud, Lrs Isksen nd Pul Poli Interntionl Conference on Ensemle Methods in Geophysicl Sciences Toulouse,
More informationA Fast Imaging Algorithm for Near Field SAR
Journl of Computing nd Electronic Informtion Mngement ISSN: 2413-1660 A Fst Imging Algorithm for Ner Field SAR Guoping Chen, Lin Zhng, * College of Optoelectronic Engineering, Chongqing University of Posts
More informationStereo Video Transmission Using LDPC Code
I. J. Communition, Network nd Sytem Siene, 08, 3, 7-283 Pulihed Online Augut 08 in SiRe (http://www.sirp.org/journl/ijn/). Stereo Video Trnmiion Uing LDPC Code Rui GUO, Lixin WANG, Xioxi JIANG Communition
More informationA New Method for Solving Intuitionistic Fuzzy. Transportation Problem
pplied Mtemtil Sienes, Vol 7,, no 8, 57-65 HKR Ltd, wwwm-ikriom New Metod for Solving ntuitionisti Fuzzy Trnsporttion Prolem Ngoor Gni PG & Reser Deprtment of Mtemtis Jml Momed College uto Tiruirpplli-6,
More informationEfficient K-NN Search in Polyphonic Music Databases Using a Lower Bounding Mechanism
Efficient K-NN Serch in Polyphonic Music Dtses Using Lower Bounding Mechnism Ning-Hn Liu Deprtment of Computer Science Ntionl Tsing Hu University Hsinchu,Tiwn 300, R.O.C 886-3-575679 nhliou@yhoo.com.tw
More informationOUTPUT DELIVERY SYSTEM
Differences in ODS formtting for HTML with Proc Print nd Proc Report Lur L. M. Thornton, USDA-ARS, Animl Improvement Progrms Lortory, Beltsville, MD ABSTRACT While Proc Print is terrific tool for dt checking
More informationGENERATING ORTHOIMAGES FOR CLOSE-RANGE OBJECTS BY AUTOMATICALLY DETECTING BREAKLINES
GENEATING OTHOIMAGES FO CLOSE-ANGE OBJECTS BY AUTOMATICALLY DETECTING BEAKLINES Efstrtios Stylinidis 1, Lzros Sechidis 1, Petros Ptis 1, Spiros Sptls 2 Aristotle University of Thessloniki 1 Deprtment of
More information4.3 Balanced Trees. let us assume that we can manipulate them conveniently and see how they can be put together to form trees.
428 T FOU 4.3 Blned Trees T BT GOIT IN T VIOU setion work well for wide vriety of pplitions, ut they hve poor worst-se performne. s we hve noted, files lredy in order, files in reverse order, files with
More informationA Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards
A Tutology Checker loosely relted to Stålmrck s Algorithm y Mrtin Richrds mr@cl.cm.c.uk http://www.cl.cm.c.uk/users/mr/ University Computer Lortory New Museum Site Pemroke Street Cmridge, CB2 3QG Mrtin
More informationDesign Space Exploration for Massively Parallel Processor Arrays
In Proeedings of the Sixth Interntionl Conferene on Prllel Computing Tehnologies (PCT-2001), Novosiirsk, Russi, Septemer 3-7, 2001. Volume 2127 of Leture Notes in Computer Siene (LNCS), pp. 51-65, Springer-Verlg,
More informationCooperative Routing in Multi-Source Multi-Destination Multi-hop Wireless Networks
oopertive Routing in Multi-Soure Multi-estintion Multi-hop Wireless Networks Jin Zhng Qin Zhng eprtment of omputer Siene n ngineering Hong Kong University of Siene n Tehnology, HongKong {zjzj, qinzh}@se.ust.hk
More informationAsymmetric Visual Hierarchy Comparison with Nested Icicle Plots
symmetri Visul Hierrhy Comprison with Nested Iile Plots Fin ek 1, Frnz-Josef Wiszniewsky 2, Mihel urh 1, Stephn Diehl 2, nd Dniel Weiskopf 1 1 VISUS, University of Stuttgrt, Germny 2 University of Trier,
More informationColour-texture analysis of paintings using ICA filter banks
Colour-texture nlysis of pintings using ICA filter nks Nnne vn Noord Nnne@tilurguniversity.edu Tilurg University, Wrndeln 2, 5037 AB Tilurg, The Netherlnds Eri Postm E.O.Postm@tilurguniversity.edu Tilurg
More informationCS553 Lecture Introduction to Data-flow Analysis 1
! Ide Introdution to Dt-flow nlysis!lst Time! Implementing Mrk nd Sweep GC!Tody! Control flow grphs! Liveness nlysis! Register llotion CS553 Leture Introdution to Dt-flow Anlysis 1 Dt-flow Anlysis! Dt-flow
More information