An Expressive Hybrid Model for the Composition of Cardinal Directions
|
|
- Adrian Snow
- 6 years ago
- Views:
Transcription
1 An Expressive Hyrid Model for the Composition of Crdinl Directions Ah Lin Kor nd Brndon Bennett School of Computing, University of Leeds, Leeds LS2 9JT, UK Astrct In our previous pper (Kor nd Bennett, 2003), we hve shown how the nine tiles in the projection-sed model for crdinl directions cn e prtitioned into sets sed on horizontl nd verticl constrints (clled Horizontl nd Verticl Constrints Model). In order to come up with n expressive hyrid model for direction reltions etween two-dimensionl single-piece regions (without holes), we integrte the well-known RCC-8 model with the ove-mentioned model. From this expressive hyrid model, we derive 8 tomic inry reltions nd 13 fesile s well s jointly exhustive reltions for the x nd y directions respectively. Bsed on these tomic inry reltions, we derive two seprte 8x8 composition tles for oth the expressive nd wek direction reltions. We introduce formul tht cn e used for the computtion of the composition of expressive nd wek direction reltions etween whole or prt regions. Lstly, we lso show how the expressive hyrid model cn e used to mke severl existentil inferences tht re not possile for existing models. Introduction Ppdis nd Theorodis (1994) descrie topologicl nd direction reltions etween regions using their minimum ounding rectngles (MBRs). However, the lnguge used is not expressive enough to descrie the direction reltions. Additionlly, the MBR technique yields erroneous outcome when the involving regions re not rectngulr in shpe (Goyl nd Egenhofer, 2000). In order to come up with more expressive lnguge for direction reltions, we shll comine mereologicl, topologicl, nd crdinl directions reltions. Typiclly, composition tles re used to infer sptil reltions etween ojects. However, existing composition tles for crdinl reltions(escrig nd Toledo, 1998; Skidopoulos nd Kourkis, 2000) re wek nd not expressive enough. Consequently, these tles cnnot mke some existentil inferences tht will e shown t the lter prt of this pper. Here, we shll show how we come up with n expressive hyrid model for direction reltions. Bsed on this model, we derive two 8x8 composition tles for expressive s well s wek direction reltions. In this pper, we shll descrie the inry reltions in the expressive hyrid model for direction reltions, nd define whole nd prt reltions. This is followed y introducing formul which could e used to compute oth expressive nd wek direction reltions for whole nd prt regions. Finlly, we shll demonstrte how the model could e used to mke severl types of existentil inferences. Horizontl nd Verticl Constrints Model In the projection-sed model for crdinl directions (Frnk, 1992), the plne of n ritrry single-piece region, is prtitioned into nine tiles, North-West, NW(); North, N(); North-Est, NE(); South-West, SW(); South, S(); South-Est, SE(); West, W(); Neutrl Zone, O(); Est, E(). In our previous pper (Kor nd Bennett, 2003), we hve shown how to prtition the nine tiles into sets sed on horizontl nd verticl constrints clled the Horizontl nd Verticl Constrints Model. However, in this pper, we shll renme the sets for esy comprehension purposes. The following re the definitions of the prtitioned regions: WekNorth() is the region tht covers the tiles NW(), N(), nd NE() Horizontl() is the region tht covers the tiles W(), O(), nd E() WekSouth() is the region tht covers the tiles SW(), S(), nd SE() WekWest() is the region tht covers the tiles SW(), W(), nd NW() Verticl() is the region tht covers the tiles S(), O(), nd N() WekEst() is the region tht covers the tiles SE(), E(), nd NE() The set of oundries of the miniml ounding ox for region is could e represented s {X min (), X mx (), Y min (), Y mx ()}. Figure 1 depicts the horizontl nd verticl sets of tiles for. Horizontl set Verticl set Figure 1: Horizontl nd Verticl Sets of Tiles RCC-8 Model The RCC-8 (Rndell et l, 1992) model consists of 8 tomic inry reltions: PO(,), TPP(,), NTPP(,),
2 EQ(,), NTPPi(,), TPPi(,), EC(,), nd DC(,) which shll e defined lter in this pper. Expressive Hyrid Model In order to come up with more expressive model for the composition of crdinl directions, we integrte the RCC- 8 nd the Horizontl nd Verticl Constrints Model. We shll consider two-dimensionl single-piece regions without hole. We shll consider the x nd y dimensions seprtely. Definitions If there is referent region, nd nother ritrry region, the possile tomic inry reltions etween them cn e defined s follows: WekNorth(,) - WekNorth() Horizontl(,) - Horizontl() WekSouth(,) - WekSouth() WekEst(,) - WekEst() Verticl(,) - Verticl() WekWest(,) - WekWest() DCy(,) y-dimension of is disconnected from y dimension of EQy(,) y-dimension of is identicl with y dimension of POy(,) y-dimension of prtilly overlps y dimension of ECx(,) y-dimension of is externlly connected to x dimension of TPPy(,) y-dimension of is tngentil proper prt of y dimension of NTPPy(,) y-dimension of is nontngentil proper prt of y dimension of TPPiy(,) y-dimension of is tngentil proper prt of y dimension of NTPPiy(,) y-dimension of is nontngentil proper prt of y dimension of Atomic Binry Reltions of the Hyrid Model In this section, we shll demonstrte how we come up with ll possile inry direction reltions for the hyrid model. All the possile tomic inry reltions for ech horizontl set re shown in Figure 2. The nottions tht will e used in this section re: RELy(,Z) is ny tomic inry reltion etween nd the horizontlly prtitioned region, Z RELx(,Z) is ny tomic inry reltion etween nd the verticlly prtitioned region, Z Bsed on Tle 1, the totl numer of possile inry reltions for the hyrid model in the y-direction is [(2+4+2) + (2x4) + (2x2) + (4x2) + (2x4x2)] which equls 44 cses. However, due to the single-piece condition, the following rules pply: Rule 1: (WekNorth() WekSouth()) Rule 2: Assume U to e {WekNorth(), Horizontl(), WekSouth()}. If NTPPy(,R) where R U then [[NTPPy(,R) RELy(,S)] [NTPPy(,R) RELy(,S ) RELy(,T where S U - R, T U S. Rule 3: Assume U to e {WekNorth(), WekSouth()}. If [TPPy(,Horizontl()) ECy(,R)] where R U then [TPPy(,Horizontl) ECy(,R) RELy(,S)] where S U - R. Bsed on the rules ove, the totl numer of fesile inry reltions for single-piece regions in the y-direction is ( ) which equls 13 cses. The thirteen fesile nd jointly exhustive inry reltions for the hyrid model re depicted in Figure 3. This mens tht in the hyrid model, the numer of jointly exhustive inry reltions (in oth the x nd y directions) tht hold etween two single-piece regions will e 13x13. This concurs with the 13x13 tomic reltions in the Rectngle Alger Model (Blini et l. 1998). Comined Mereologicl, Topologicl nd Crdinl Direction Reltions In this section, we shll mke two distinctions: whole nd prt crdinl directions, s well s wek nd expressive reltions. We shll rewrite the nottions used in our previous pper (Kor nd Bennett, 2003). P R (,) mens tht only prt of the destintion extended region,, is in tile R(). The direction reltion A R (,) mens tht whole destintion extended region,, is in the tile R(). As n exmple, when is completely in the South-Est tile of, this direction reltion cn e represented s elow: A SE (,) = P N (,) P NE (,) P NW (,) P S (,) P SE (,) P SW (,) P W (,) P E (,) P O (,) The whole nd wek direction reltions re defined in terms of horizontl nd verticl sets. A N (,) WekNorth(,) Verticl(,) A NE (,) WekNorth(,) WekEst(,) A NW (,) WekNorth(,) WekWest(,) A S (,) WekSouth(,) Verticl(,) A SE (,) WekSouth(,) WekEst(,) A SW (,) WekSouth(,) WekWest(,) A E (,) Horizontl(,) Verticl(,) A W (,) Horizontl(,) WekEst(,) A O (,) Horizontlh(,) WekWest(,) The whole nd expressive direction reltions re defined in terms of expressive horizontl nd verticl sets. A generl form of such direction reltion cn e represented s follows: RELy(,H)[A R (,)] RELy(,H) RELx(,V) (1) RELx(,V) where H nd V re horizontlly nd verticlly prtitioned regions for respectively, nd R() H R() V. Composition Tle The composition tles computed for the horizontl nd verticl sets re shown in Tle 1 nd Tle 2. The composition of tomic inry reltions in the expressive model cn e collpsed into wek reltions s shown in the ove-mentioned tles (with shded oxes).
3 Region WekNorth() Atomic inry reltions TPPy(, WekNorth()) ECy(,Horizontl()) NTPPy(, WekNorth()) TPPy(, WekNorth()) ECy(,Horizontl()) NTPPy(, WekNorth()) TPPy(, Horizontl()) ECy(,WekNorth()) Horizontl() TPPy(, Horizontl()) ECy(,WekSouth()) NTPPy(, Horizontl()) EQy(, Horizontl()) TPPy(, Horizontl()) ECy(,WekNorth()) TPPy(, Horizontl()) ECy(,WekSouth()) TPPy(, WekSouth()) ECy(,Horizontl()) NTPPy(, WekSouth()) WekSouth() NTPPy(, Horizontl()) EQy(, Horizontl()) POy(, WekNorthl()) POy(, Horizontll()) DCy(,WekSouth()) POy(, WekNorthl()) POy(, Horizontll()) ECy(,WekSouth()) POy(, WekNorthl()) POy(, WekSouthl()) NTPPiy(,Horizontl()) TPPy(, WekSouth()) ECy(,Horizontl()) NTPPy(, WekSouth()) Figure 2: Possile tomic inry reltions for ech horizontlly prtitioned region Composition of Regions with Prts In our previous pper (Kor nd Bennett, 2003), the method for the computtion of prt regions is not roust enough ecuse it does not hold for ll cses. In order to ddress such prolem, we introduce formul (Eqution 2.). The sis of the formul is to consider the direction reltion etween nd ech individul prt of followed y the direction reltion etween ech individul prt of nd c. Assume tht the region covers one or more thn one tile of region while region c encompsses one or more thn one tile of region. The formul for the composition of wek direction reltions cn e written s follows: P R (,) P R (c,) [P R1,) P R2 (,) P Rk ( k,)] [P R (c,)] Figure 3: Thirteen fesile nd jointly exhustive inry reltions in the y-direction for the hyrid model Firstly, estlish the direction reltion etween ech individul prt of nd c. The ove composition cn e rewritten s follows: : POy(, WekSouth()) POy(, Horizontll()) DCy(,WekNorth()) POy(, WekSouthl()) POy(, Horizontll()) ECy(,WekNorth()),)] [P R11 ) P R12 ) P R1m, 1 [[P R2,)] [P R21 ) P R22 ) P R2m, 2 [[P Rk ( k,)][p Rk1, k ) P Rk2, k ) P Rkm, k (2) where 1 k 9, nd 1 m 9 Consider the composition of direction for ech individul prt of nd c. Eqution (1) ecomes:
4 ,) P R11 )] [P R1,) P R12 )] [P R1,) P R1m, 1 [[P R2,) P R21 )] [P R2,) P R22 )] : [P R2,) P R2m, 2 [[P Rk ( k,) P Rk1, k )] [P Rk ( k,) P Rk2, k )] [P Rk ( k,) P Rkm, k (2.) By pplying distriutive lw we hve the following eqution:,) [P R11 ) P R12 ) P R1m, 1 [[P R2,) [P R21 ) P R22 ) P R2m, 2 : [[P Rk ( k,) [P Rk1, k ) P Rk2, k ) P Rkm, k (2.) Firstly, we shll demonstrte how to pply the formul for the composition of wek direction reltions followed y more expressive direction reltions. Composition of Wek Direction Reltions Type 1: A R (,) A R (c,) Find the composition of A O (,) A SW (c,) Use Eqution 2. with k = 1, nd m = 1. P R1,) P R11 ) P O (,) P SW (c,) [Horizontl(,) Verticl(,)] [WekSouth(c,) WekWest(c,)] [Horizontl(,) WekSouth(c,)] [Verticl(,) WekWest(c,)] The outcome of the composition is: [Horizontl(c,) WekSouth(c,)] [Verticl(c,) WekWest(c,)] This mens tht the region c O()W()S()SW(). Type 2: A R (,) P R (c,) Find the composition of A E (,) [P NW (c,) P N (c,)] Use Eqution 2. with k = 1, nd 1 m 2.,) P R11 )] [P R1,) P R12 [[P E (,) P NW (,c 1 )] [P E (,) P N (,c 2 [[Horizontl(,) WekEst(,)] [WekNorth,) WekWest, [[Horizontl(,) WekEst(,)] [WekNorth,) Verticl,)] [[Horizontl(,) WekNorth,)] [WekEst(,) WekWest, [[Horizontl(,) WekNorth,)] [WekEst(,) Verticl, The outcome of the composition is: [[Horizontl,) WekNorth,)] [WekEst,) Verticl,) WekWest, [[Horizontl,) WekNorth,)] [WekEst, Both c 1 c nd c 2 c, so the ove outcome cn e written s: [[Horizontl(c,) WekNorth(c,)] [WekEst(c,) Horizontl(c,) WekWest(c, This mens tht the region c E()O()W() NE()N()NW(). Type 3: P R (,) A R (c,) Find the composition of [P O,) P N,)] A NE (c,) Estlish the reltionship etween c nd ech individul prt of. In this cse, when A NE (c,), P NE (c ) nd P NE (c ) holds (this is not necessrily true for ll cses). Use Eqution 2. with 1 k 2 nd m = 1.,)] [P R11 [[P R2,)] [P R21 [[P O,)] [P NE (c, [[P N,)] [P NE (c, Therefore, the ove composition cn e rewritten s: [[P O,)] [P NE (c [[P N,)] [P NE (c [[Horizontl,) Verticl,)] [WekNorth(c ) WekEst(c [[WekNorth,) Verticl,)] [WekNorth(c ) WekEst(c )] [[Horizontl,) WekNorth(c )] [Verticl,) WekEst(c [[WekNorth,) WekNorth(c )] [Verticl,) WekEst(c )] The outcome of the composition is: [[Horizontl(c,) WekNorth(c,)] [WekEst(c,) Verticl(c, [[NTPPy(c, WekNorth()] [WekEst(c,) Verticl(c, = [[NTPPy(c, WekNorth()] [WekEst(c,) Verticl(c, This mens tht the Y min (c) of the miniml ounding ox for region c is greter thn Y mx () of the miniml ounding ox for region nd c NE()N().
5 Type 4: P R (,) P R (c,) Find the composition of [P O,) P NE,)] [P O (c,) P W (c,) P SW (c,)] The digrm Figure 4 hs een drwn for this exmple. c Figure 4: An exmple Estlish the direction reltion etween ech individul prt of nd c. Use Eqution 2. with 1 k 2, the vlue of m 1 for 1 is 1 m 1 4. while the vlue m 2 for 2 is 1 m 2 7.,) P R11 )] [P R1,) P R12 )] [P R1,) P R13 )] [P R1,) P R14 (c 4 [[P R2,) P R21 )] [P R2,) P R22 )] [P R2,) P R23, )] [P (,) P (c, )] 2 R2 2 R [P R2,) P R25 (c 5, )] [P (,) P (c, )] 2 R2 2 R [P R2,) P R27 (c 7, 2 [[P O,) P S )] [P O,) P SW )] c [P O,) P W )] [P O,) P O (c 4 [[P NE,) P NE )] [P NE,) P N )] [P NE,) P NW, )] [P (,) P (c, )] 2 NE 2 E 4 2 [P NE,) P O (c 5, )] [P (,) P (c, )] 2 NE 2 W 6 2 [P NE,) P SW (c 7, 2 Apply the distriutive lw s in Eqution 2., nd we will get: [[P NE,) [P S ) P SW ) P W ) P O (c 4 prt(1) [[P O,) [P NE ) P N ) P NW, ) 2 P E (c 4, ) P (c, ) P (c, ) P (c, prt(2) 2 O 5 2 W 6 2 SW 7 2 c In prt(1) of composition, c 1, c 2, c 3, c 4 c. To simplify the composition, we consider the comined horizontl nd verticl sets of ll the prts of c. Thus we hve the following: [WekNorth,) WekEst,)] 2 1 Boundries of miniml ounding ox for region Boundries of miniml ounding ox for region [[Horizontl(c ) WekSouth(c )] [Verticl(c ) WekWest(c [[WekNorth,)][Horizontl(c ) WekSouth(c [[WekEst,)][Verticl(c ) WekWest(c = WekNorth(c, ) Horizontl(c, ) WekSouth(c, )] [WekEst(c,) Verticl(c, ) WekWest(c, )] In prt(2) of composition, c 1, c 2, c 3, c 4, c 5, c 6, c 7 c. The simplified version of the composition is s follows: [Horizontl,) Verticl,)] [[WekNorth(c ) Horizontl(c ) WekSouth(c )] [WekEst(c ) Verticl(c ) WekWest(c [[Horizontl,)][WekNorth(c ) Horizontl(c ) WekSouth(c [[Verticl,)][WekEst(c ) Verticl(c ) WekWest(c = [[WekNorth(c, ) Horizontl(c, ) WekSouth(c, )] [WekEst(c, ) Verticl(c, ) WekWest(c, The finl outcome of the composition is prt(1)prt(2) is equivlent to: [WekNorth(c, ) Horizontl(c, ) WekSouth(c, )] [WekEst(c, ) Verticl(c, ) WekWest(c, )] This mens tht the region c U which is the union of ll the 9 tiles of region. However, sed on Figure 4, region c SW(). Composition of Expressive Direction Reltions We shll use the following nottions to represent the 13 inry y-direction reltions: REL1y(,) NTPPy(,WekNorth()) REL2y(,) TPPy(,WekNorth())ECy(,Horizontl()) REL3y(,)) TPPy(,Horizontl())ECy(,WekNorth()) REL4y(,)) TPPy(,Horizontl())ECy(,WekSouth()) REL5y(,) NTPPy(,Horizontl()) REL6y(,) EQy(,Horizontl()) REL7y(,) NTPPy(,WekSouth()) REL8y(,) TPPy(,WekSouth())ECy(,Horizontl()) REL9y(,) POy(,WekNorth())POy(,Horizontl()) DCy(,WekSouth()) REL10y(,) POy(,WekNorth())POy(,Horizontl()) ECy(,WekSouth()) REL11y(,) POy(,WekNorth())POy(,WekSouth()) NTPPiy(,Horizontl()) REL12y(,) POy(,WekSouth())POy(,Horizontl()) DCy(,WekNorth()) REL13y(,) POy(,WekSouth())POy(,Horizontl()) ECy(,WekNorth()) Similr nottions will e used to represent the 13 inry x-direction reltions (WekNorth is replced y WekEst, Horizontl with Verticl nd WekSouth y WekWest).
6 Exmple 1: Find the composition of the following: [ REL3y(,) [P O (,)] REL3x(1,) REL2y(,) [PN E (,)] REL2x(1,) ] [ REL3y(c,) [A N (c,)] REL3x(c,) ] Estlish the direction reltion etween c nd ech individul prt of. Use Eqution 2., with 1 k 2 nd 1 m 1 2, nd 1 m 2 2.,)] [P R11 ) P R12 [[P R2,)] [P R21 ) P R22 Use Eqution (1), nd the ove composition cn e rewritten in the following expressive form: [[REL3y,)REL3x,[[REL1y )REL3x )] [REL1y )REL2x [[REL2y,)REL2x,[[REL2y )REL4x )] [REL2y )REL8x [REL3y,)[REL1y )REL1y [REL3x,)[REL3x )REL2x [REL2y,)[REL2y )REL2y [REL2x,)[REL4x )REL8x Use Tles 1 nd 2, nd c 1 c nd c 2 c. Thus, the outcome of the composition cn e written s follows: REL1y(c,)[REL2x(c,)REL3x(c,)] REL1y(c,)[REL2x(c,)REL3x(c,) REL6x(c,)REL13x(c,)] = REL1y(c,)[REL2x(c,)REL3x(c,)] The outcome of the composition is: NTPPy(c,WekNorth()) [TPPx(c,WekEst())ECy(c,Horizontl()) TPPx(c,Verticl())ECy(c, Horizontl())] Exmple 2: This exmple is similr to the fourth exmple in the previous section of this pper. Find the composition of [P O,) P NE,)] [P O (c,) P W (c,) P SW (c,)] Estlish the direction reltion etween c nd ech individul prt of. Use Eqution 2., with 1 k 2 nd 1 m 1 4, nd 1 m 2 7. The composition in expressive form will e s follows: For prt 1 [[REL2y,)REL2x, [[REL4y )REL4x )][REL8y )REL4x )] [REL4y )REL8x )][REL8y(c 4 )REL8x(c 4 The regions c 1,c 2,c 3,c 4 c, the ove composition cn e written s follows: [REL2y,)[REL4y(c )REL8y(c ) REL4y(c )REL8y(c [REL2x,)[REL4x(c )REL4x(c ) REL8x(c )REL8x(c = [REL2y(c,)REL3y(c,)REL6y(c,)REL13y(c,)] [REL2x(c,)REL3x(c,)REL6x(c,)REL13x(c,)] (3) For prt 2 [[REL3y,)REL3x, [[REL8y )REL7x )][REL6y )REL8x )] [REL2y )REL8x )][REL2y(c 4 )REL6x(c 4 )] [REL3y(c 5 )REL6x(c 5 )][REL3y(c 6 )REL2x(c 6 )] [REL2y(c 7 )REL2x(c 7 = [REL2y(c,)REL3y(c,)REL5y(c,)REL12y(c,)] [REL2x(c,)REL3x(c,)REL4x(c,)REL5x(c,) REL7x(c,)REL8x(c,)REL12x(c,)] (3) The finl outcome of the composition is the composition of prt 1 (Eqution 3.) prt 2 (Eqution 3.). Apply Rule 3 from the erlier prt of the pper nd we will get the following: [REL2y(c,)REL3y(c,)REL6y(c,)REL13y(c,)] [REL2y(c,)REL3y(c,) REL12y(c,)] [REL2x(c,)REL3x(c,)REL4x(c,) REL8x(c,)REL12x(c,)] [REL2x(c,)REL3x(c,)REL6x(c,)REL13x(c,)] (4) We collpse some of the disjunction of reltions: REL6y(c,)REL13y(c,) = REL13y(c,) REL4x(c,) REL8x(c,)REL12x(c,) = REL12y(c,) REL6x(c,)REL13x(c,) = REL13x(c,) Eqution 4 ecomes: [REL2y(c,)REL3y(c,) REL13y(c,)] [REL2y(c,)REL3y(c,) REL12y(c,)] [REL2x(c,)REL3x(c,)REL12x(c,)] [REL2x(c,)REL3x(c,) REL13x(c,)] (4.) Region c is single-piece. Therefore, Eqution 4. ecomes: [POy(c,WekNorth())POy(c,WekSouth()) NTPPiy(c,Horizontl())] [POx(c,WekEst())POx(c,WekWest()) NTPPix(c,Verticl())] This mens tht the region c U which is the union of ll the 9 tiles of region. As mentioned erlier, sed on Figure 4, region c SW(). Thus, the outcome of the composition for wek reltions (in the previous section) yields the sme result s this composition. However, the computtion for the ltter is more tedious nd complex when involving regions with mny prts.
7 Existentil Inference In this pper, we shll demonstrte how the expressive hyrid crdinl direction model could e used to mke severl existentil inferences which re not possile in existing models.. Exmple 1: Find R(,) such tht c WekNorth() nd c WekNorth() Skidopoulos model (2001) which is not expressive enough, cnnot nswer such query ecuse the composition tle computed is not existentil. To nswer this query, we must first specify the expressive reltion etween nd c. There re two possile reltions: TPPy(c,WekNorth()) or WekNorth(c,). If it is the former then composition is is WekNorth(,)WekNorth(c,) which mens R(,) is WekNorth(,). If it is the ltter, there re severl comintions: WekNorth(,)Horizontl(c,) WekNorth(,)WekSouth(c,) Horizontl(,)WekNorth(c,) WekSouth(,)WekNorth(c,) The first reltion in ech composition listed ove is R(,). Exmple 2: Find R(,) nd S(c,) such tht T(,c) is [TPPy(c,Horizontl()) ECy(c,WekSouth())] Bsed on Tle 1, 9 different compositions will yield the following outcome: TPPy(c,Horizontl())ECy(c,WekSouth())] The set of possile compositions, Q, is: {REL1y(,)REL7y(c,), REL2y(,)REL7y(c,), REL3y(,)REL7y(c,), REL3y(,)REL8y(c,), REL5y(,)REL7y(c,), REL5y(,)REL8y(c,), REL6y(,)REL4y(c,), REL7y(,)REL1y(c,), REL8y(,)REL12(c,)} If U equls 8 x 8 tomic inry direction reltions, then the set of ll possile ordered pirs of R nd S which stisfy the ove query will e U Q. composition of wek or expressive reltions etween whole nd prt regions. We hve lso demonstrted how the composition tle with expressive direction reltions could e used to mke severl difficult existentil inferences. Acknowledgement Mny thnks to Syhmnt Hzrik for his vlule comments. References Blini, P., Condott, J., & del Cerro, L. F. (1998). A Model for Resoning out Bidimensionl Temporl Reltions. Proceedings of the Sixth Interntionl Conference on Knowledge Representtion nd Resoning. Escrig, M.T. nd Toledo, F. (1998). Qulittive Sptil Resoning: Theory nd Prctice: Appliction to Root Nvigtion. IOS Press: Amsterdm. Frnk, A. (1992). Qulittive Sptil Resoning with Crdinl Directions. Journl of Visul Lnguges nd Computing, Vol(3), pp Goyl, R. nd Egenhofer, M. (2000). Consistent Queries over Crdinl Directions cross Different Levels of Detil. 11 th Interntionl Workshop on Dtse nd Expert Systems Applictions, Greenwich, UK. Kor, A.L. & Bennett, B. (2003). Composition for Crdinl Directions y Decomposing Horizontl nd Verticl Constrints. Proceedings of AAAI 2003 Spring Symposium, Mrch 24-26, Stnford University, Cliforni. Ppdis, D. nd Theodoridis, Y. (1994). Sptil Reltions, Minimum Bounding Rectngles, nd Sptil Dt Structures. University of Cliforni, Technicl Report KDBSLAB-TR Rndell, D., Cui, Z. & Cohn, A.G. (1992). A Sptil Logic sed on Regions nd Connection. Proceedings of the Third Interntionl Conference on Knowledge Representtion nd Resoning. Skidopoulos, S. & Kourkis, M. (2001). Composing Crdinl Direction Reltions. Proceedings of SSTD-01, Redondo Bech, CA, USA, July Exmple 3: Find R(,) nd S(c,) such tht T(,c) is POy(c,WekSouth())POy(c,Horizontl()) ECy(c,WekNorth()) Bsed on Tle 1, we hve 4 pirs of R nd S which stisfy T. They re: REL1y(,)REL7y(c,),REL2y(,) REL8y(c,), REL7y(,)REL1y(c,), REL7y(,)REL2y(c,). Conclusion In this pper, we hve shown how topologicl nd direction reltions cn e integrted to produce more expressive hyrid model for crdinl directions. The composition tle derived from this model could e used to infer oth wek nd expressive direction reltions etween regions. We hve lso introduced nd demonstrted how to use formul to compute the
8 WekNort(,) Horizontl(,) WekNorth(c,) Horizontl(c,) WekSouth(c,) NTPPy(c,WekNorth()) TPPy(c,WekNorth()) ECy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekNorth()) TPPy(c,Horizontl()) ECy(c,WekSouth()) NTPPy(c,Horizontl()) EQy(c,Horizontl()) NTPPy(c,WekSouth()) TPPy(c,WekSouth()) ECy(c,Horizontl()) NTPPy(,WekNorth()) NTPPy(c,WekNorth()) NTPPy(c,WekNorth()) NTPPy(c,WekNorth()) NTPPy(c,WekNorth()) NTPPy(c,WekNorth()) NTPPy(c,WekNorth()) U 13 reltions NTPPy(c,WekNorth()) TPPy(c,WekNorth()) ECy(c,Horizontl()) POy(c,WekNorth()) POy(,Horizontl()) DCy(c,WekSouth()) POy(c,WekNorth()) POy(,Horizontl()) ECy(c,WekSouth()) POy(c,WekNorth()) POy(,WekSouth()) NTPPiy(c,Horizontl()) TPPy(,WekNorth()) ECy(,Horizontl()) NTPPy(c,WekNorth()) NTPPy(c,WekNorth()) NTPPy(c,WekNorth()) TPPy(c,WekNorth()) ECy(c,Horizontl()) NTPPy(c,WekNorth()) TPPy(c,WekNorth()) ECy(c,Horizontl()) NTPPy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekSouth()) TPPy(c,WekSouth()) ECy(c,Horizontl()) NTPPy(c,WekSouth()) POy(c,WekSouth()) POy(,Horizontl()) DCy(c,WekNorth()) TPPy(c,Horizontl()) ECy(c,WekNorth()) EQy(c,Horizontl()) POy(c,WekSouth()) POy(,Horizontl()) ECy(c,WekNorth()) WekNorth(,) NTPPy(c,WekNorth()) WekNorth(c,) WekNorth(c,), Horizontl(c,) WekSouth(c,), TPPy(,Horizontl()) NTPPy(c,Horizontl()) NTPPy(c,Horizontl()) ECy(,WekNorth()) NTPPy(c,WekNorth()) TPPy(c,WekNorth()) ECy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekNorth()) NTPPy(c,Horizontl()) NTPPy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekNorth()) TPPy(c,Horizontl()) ECy(c,WekSouth()) TPPy(c,WekSouth()) ECy(c,Horizontl()) NTPPy(c,WekSouth()) POy(c,WekSouth()) & POy(,Horizontl()) & DCy(c,WekNorth()) TPPy(c,Horizontl()) ECy(c,WekSouth()) POy(c,WekSouth()) POy(,Horizontl()) DCy(c,WekNorth()) TPPy(,Horizontl()) ECy(,WekSouth()) NTPPy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekNorth()) TPPy(c,WekNorth()) ECy(c,Horizontl()) NTPPy(c,WekNorth()) POy(c,WekNorth()) POy(,Horizontl()) DCy(c,WekSouth()) NTPPy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekNorth()) POy(c,WekNorth()) POy(,Horizontl()) DCy(c,WekSouth()) NTPPy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekNorth()) NTPPy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekNorth()) NTPPy(c,WekSouth()) TPPy(c,WekSouth()) ECy(c,Horizontl())
9 WekNorth(c,) Horizontl(c,) WekSouth(c,) NTPPy(c,WekNorth()) TPPy(c,WekNorth()) ECy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekNorth()) TPPy(c,Horizontl()) ECy(c,WekSouth()) NTPPy(c,Horizontl()) EQy(c,Horizontl()) NTPPy(c,WekSouth()) TPPy(c,WekSouth()) ECy(c,Horizontl()) Horizontl(,) NTPPy(,Horizontl()) NTPPy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekNorth()) TPPy(c,WekNorth()) ECy(c,Horizontl()) NTPPy(c,WekNorth()) POy(c,WekNorth()) POy(,Horizontl()) DCy(c,WekSouth()) NTPPy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekNorth()) POy(c,WekNorth()) POy(,Horizontl()) DCy(c,WekSouth()) NTPPy(c,Horizontl()) NTPPy(c,Horizontl()) NTPPy(c,Horizontl()) NTPPy(c,Horizontl()) NTPPy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekSouth()) TPPy(c,WekSouth()) ECy(c,Horizontl()) NTPPy(c,WekSouth()) POy(c,WekSouth()) POy(,Horizontl()) DCy(c,WekNorth()) NTPPy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekSouth()) POy(c,WekSouth()) POy(,Horizontl()) DCy(c,WekNorth()) EQy(,Horizontl()) NTPPy(c,WekNorth()) TPPy(c,WekNorth()) ECy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekNorth()) TPPy(c,Horizontl()) ECy(c,WekSouth()) NTPPy(c,Horizontl()) EQy(c,Horizontl()) NTPPy(c,WekSouth()) TPPy(c,WekSouth()) ECy(c,Horizontl()) WekSouth(,) Horizontl(,) WekNorth(c,), Horizontl(c,) Horizontl(c,) Horizontl(c,) WekSouth(c,) NTPPy(,WekSouth()) U 13 reltions NTPPy(c,WekSouth()) NTPPy(c,WekSouth()) NTPPy(c,WekSouth()) NTPPy(c,WekSouth()) NTPPy(c,WekSouth()) NTPPy(c,WekSouth()) NTPPy(c,WekSouth()) TPPy(c,WekSouth()) ECy(c,Horizontl()) POy(c,WekSouth()) POy(,Horizontl()) DCy(c,WekNorth()) POy(c,WekSouth()) POy(,Horizontl()) ECy(c,WekNorth()) POy(c,WekSouth()) POy(,WekNorth()) NTPPiy(c,Horizontl()) TPPy(,WekSouth()) & ECy(,Horizontl()) NTPPy(c,Horizontl()) TPPy(c,Horizontl()) ECy(c,WekNorth()) TPPy(c,WekNorth()) ECy(c,Horizontl()) NTPPy(c,WekNorth()) POy(c,WekNorth()) POy(,Horizontl()) DCy(c,WekSouth()) TPPy(c,Horizontl()) ECy(c,WekSouth()) EQy(c,Horizontl()) POy(c,WekNorth()) POy(,Horizontl()) ECy(c,WekSouth()) TPPy(c,WekSouth()) ECy(c,Horizontl()) NTPPy(c,WekSouth()) NTPPy(c,WekSouth()) TPPy(c,WekSouth()) ECy(c,Horizontl()) NTPPy(c,WekSouth()) NTPPy(c,WekSouth()) WekNorth(c,), Horizontl(c,) WekSouth(c,), WekSouth(c,), NTPPy(c,WekSouth()) Note: The shded oxes re for wek composition of reltions Tle 1: Composition of inry reltions in the y-direction for the hyrid model
10 WekEst(,) Verticl(,) WekEst(c,) Verticl(c,) WekWest(c,) NTPPx(c,WekEst()) TPPx(c,WekEst()) ECx(c,Verticl()) TPPx(c,Verticl()) ECx(c,WekEst()) TPPx(c,Verticl()) ECx(c,WekWest()) NTPPx(c,Verticl()) EQx(c,Verticl()) NTPPx(c,WekWest()) TPPx(c,WekWest()) ECx(c,Verticl()) NTPPx(,WekEst()) NTPPx(c,WekEst()) NTPPx(c,WekEst()) NTPPx(c,WekEst()) NTPPx(c,WekEst()) NTPPx(c,WekEst()) NTPPx(c,WekEst()) U 13 reltions NTPPx(c,WekEst()) TPPx(c,WekEst()) ECx(c,Verticl()) POx(c,WekEst()) POx(,Verticl()) DCy(c,WekWest()) POx(c,WekEst()) POx(,Verticl()) ECx(c,WekWest()) POx(c,WekEst()) POx(,WekWest()) NTPPix(c,Verticl()) TPPx(,WekEst()) ECx(,Verticl()) NTPPx(c,WekEst()) NTPPx(c,WekEst()) NTPPx(c,WekEst()) TPPx(c,WekEst()) ECx(c,Verticl()) NTPPx(c,WekEst()) TPPx(c,WekEst()) ECx(c,Verticl()) NTPPx(c,Verticl()) TPPx(c,Verticl()) ECx(c,WekWest()) TPPx(c,WekWest()) ECx(c,Verticl()) NTPPx(c,WekWest()) POx(c,WekWest()) POx(,Verticl()) DCy(c,WekEst()) TPPx(c,Verticl()) ECx(c,WekEst()) EQx(c,Verticl()) POx(c,WekWest()) POx(,Verticl()) ECx(c,WekEst()) WekEst(,) NTPPx(c,WekEst()) WekEst(c,) WekEst(c,) Verticl(c,) WekWest(c,) TPPx(,Verticl()) NTPPx(c,Verticl()) NTPPx(c,Verticl()) ECx(,WekEst()) NTPPx(c,WekEst()) TPPx(c,WekEst()) ECx(c,Verticl()) TPPx(c,Verticl()) ECx(c,WekEst()) NTPPx(c,Verticl()) NTPPx(c,Verticl()) TPPx(c,Verticl()) ECx(c,WekEst()) TPPx(c,Verticl()) ECx(c,WekWest()) TPPx(c,WekWest()) ECx(c,Verticl()) NTPPx(c,WekWest()) POx(c,WekWest()) POx(,Verticl()) DCy(c,WekEst()) TPPx(c,Verticl()) ECx(c,WekWest()) POx(c,WekWest()) POx(,Verticl()) DCy(c,WekEst()) TPPx(,Verticl()) ECx(,WekWest()) NTPPx(c,Verticl()) TPPx(c,Verticl()) ECx(c,WekEst()) TPPx(c,WekEst()) ECx(c,Verticl()) NTPPx(c,WekEst()) POx(c,WekEst()) POx(,Verticl()) DCy(c,WekWest()) NTPPx(c,Verticl()) TPPx(c,Verticl()) ECx(c,WekEst()) POx(c,WekEst()) POx(,Verticl()) DCy(c,WekWest()) NTPPx(c,Verticl()) TPPx(c,Verticl()) ECx(c,WekEst()) NTPPx(c,Verticl()) TPPx(c,Verticl()) ECx(c,WekEst()) NTPPx(c,WekWest()) TPPx(c,WekWest()) ECx(c,Verticl())
11 WekEst(c,) Verticl(c,) WekWest(c,) NTPPx(c,WekEst()) TPPx(c,WekEst()) TPPx(c,Verticl()) TPPx(c,Verticl()) NTPPx(c,Verticl()) EQx(c,Verticl()) NTPPx(c,WekWest()) TPPx(c,WekWest()) ECx(c,Verticl()) ECx(c,WekEst()) ECx(c,WekWest()) ECx(c,Verticl()) Verticl(,) NTPPx(,Verticl()) NTPPx(c,Verticl()) TPPx(c,Verticl()) ECx(c,WekEst()) TPPx(c,WekEst()) ECx(c,Verticl()) NTPPx(c,WekEst()) POx(c,WekEst()) POx(,Verticl()) DCy(c,WekWest()) NTPPx(c,Verticl()) TPPx(c,Verticl()) ECx(c,WekEst()) POx(c,WekEst()) POx(,Verticl()) DCy(c,WekWest()) NTPPx(c,Verticl()) NTPPx(c,Verticl()) NTPPx(c,Verticl()) NTPPx(c,Verticl()) NTPPx(c,Verticl()) TPPx(c,Verticl()) ECx(c,WekWest()) TPPx(c,WekWest()) ECx(c,Verticl()) NTPPx(c,WekWest()) POx(c,WekWest()) POx(,Verticl()) DCy(c,WekEst()) NTPPx(c,Verticl()) TPPx(c,Verticl()) ECx(c,WekWest()) POx(c,WekWest()) POx(,Verticl()) DCy(c,WekEst()) EQx(,Verticl()) NTPPx(c,WekEst()) TPPx(c,WekEst()) ECx(c,Verticl()) TPPx(c,Verticl()) ECx(c,WekEst()) TPPx(c,Verticl()) ECx(c,WekWest()) NTPPx(c,Verticl()) EQx(c,Verticl()) NTPPx(c,WekWest()) TPPx(c,WekWest()) ECx(c,Verticl()) WekWest(,) Verticl(,) WekEst(c,) Verticl(c,) Verticl(c,) Verticl(c,) WekWest(c,) NTPPx(,WekWest()) U 13 reltions NTPPx(c,WekWest()) NTPPx(c,WekWest()) NTPPx(c,WekWest()) NTPPx(c,WekWest()) NTPPx(c,WekWest()) NTPPx(c,WekWest()) NTPPx(c,WekWest()) TPPx(c,WekWest()) ECx(c,Verticl()) POx(c,WekWest()) POx(,Verticl()) DCy(c,WekEst()) POx(c,WekWest()) POx(,Verticl()) ECx(c,WekEst()) POx(c,WekWest()) POx(,WekEst()) NTPPix(c,Verticl()) TPPx(,WekWest()) & ECx(,Verticl()) NTPPx(c,Verticl()) TPPx(c,Verticl()) ECx(c,WekEst()) TPPx(c,WekEst()) ECx(c,Verticl()) NTPPx(c,WekEst()) POx(c,WekEst()) POx(,Verticl()) DCy(c,WekWest()) TPPx(c,Verticl()) ECx(c,WekWest()) EQx(c,Verticl()) POx(c,WekEst()) POx(,Verticl()) ECx(c,WekWest()) TPPx(c,WekWest()) ECx(c,Verticl()) NTPPx(c,WekWest()) NTPPx(c,WekWest()) TPPx(c,WekWest()) ECx(c,Verticl()) NTPPx(c,WekWest()) NTPPx(c,WekWest()) WekWest(,) WekEst(c,) Verticl(c,) WekWest(c,) WekWest(c,) NTPPx(c,WekWest()) Note: The shded oxes re for wek composition of reltions Tle 2: Composition of inry reltions in the x-direction for the hyrid model
If you are at the university, either physically or via the VPN, you can download the chapters of this book as PDFs.
Lecture 5 Wlks, Trils, Pths nd Connectedness Reding: Some of the mteril in this lecture comes from Section 1.2 of Dieter Jungnickel (2008), Grphs, Networks nd Algorithms, 3rd edition, which is ville online
More informationCOMP 423 lecture 11 Jan. 28, 2008
COMP 423 lecture 11 Jn. 28, 2008 Up to now, we hve looked t how some symols in n lphet occur more frequently thn others nd how we cn sve its y using code such tht the codewords for more frequently occuring
More informationA dual of the rectangle-segmentation problem for binary matrices
A dul of the rectngle-segmenttion prolem for inry mtrices Thoms Klinowski Astrct We consider the prolem to decompose inry mtrix into smll numer of inry mtrices whose -entries form rectngle. We show tht
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 information8.2 Areas in the Plane
39 Chpter 8 Applictions of Definite Integrls 8. Ares in the Plne Wht ou will lern out... Are Between Curves Are Enclosed Intersecting Curves Boundries with Chnging Functions Integrting with Respect to
More informationMTH 146 Conics Supplement
105- Review of Conics MTH 146 Conics Supplement In this section we review conics If ou ne more detils thn re present in the notes, r through section 105 of the ook Definition: A prol is the set of points
More information2 Computing all Intersections of a Set of Segments Line Segment Intersection
15-451/651: Design & Anlysis of Algorithms Novemer 14, 2016 Lecture #21 Sweep-Line nd Segment Intersection lst chnged: Novemer 8, 2017 1 Preliminries The sweep-line prdigm is very powerful lgorithmic design
More information1.1. Interval Notation and Set Notation Essential Question When is it convenient to use set-builder notation to represent a set of numbers?
1.1 TEXAS ESSENTIAL KNOWLEDGE AND SKILLS Prepring for 2A.6.K, 2A.7.I Intervl Nottion nd Set Nottion Essentil Question When is it convenient to use set-uilder nottion to represent set of numers? A collection
More informationLily Yen and Mogens Hansen
SKOLID / SKOLID No. 8 Lily Yen nd Mogens Hnsen Skolid hs joined Mthemticl Myhem which is eing reformtted s stnd-lone mthemtics journl for high school students. Solutions to prolems tht ppered in the lst
More informationFig.25: the Role of LEX
The Lnguge for Specifying Lexicl Anlyzer We shll now study how to uild lexicl nlyzer from specifiction of tokens in the form of list of regulr expressions The discussion centers round the design of n existing
More informationHyperbolas. Definition of Hyperbola
CHAT Pre-Clculus Hyperols The third type of conic is clled hyperol. For n ellipse, the sum of the distnces from the foci nd point on the ellipse is fixed numer. For hyperol, the difference of the distnces
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 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 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 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 informationDefinition of Regular Expression
Definition of Regulr Expression After the definition of the string nd lnguges, we re redy to descrie regulr expressions, the nottion we shll use to define the clss of lnguges known s regulr sets. Recll
More information6.3 Volumes. Just as area is always positive, so is volume and our attitudes towards finding it.
6.3 Volumes Just s re is lwys positive, so is volume nd our ttitudes towrds finding it. Let s review how to find the volume of regulr geometric prism, tht is, 3-dimensionl oject with two regulr fces seprted
More informationSection 10.4 Hyperbolas
66 Section 10.4 Hyperbols Objective : Definition of hyperbol & hyperbols centered t (0, 0). The third type of conic we will study is the hyperbol. It is defined in the sme mnner tht we defined the prbol
More informationLecture 10 Evolutionary Computation: Evolution strategies and genetic programming
Lecture 10 Evolutionry Computtion: Evolution strtegies nd genetic progrmming Evolution strtegies Genetic progrmming Summry Negnevitsky, Person Eduction, 2011 1 Evolution Strtegies Another pproch to simulting
More informationChapter44. Polygons and solids. Contents: A Polygons B Triangles C Quadrilaterals D Solids E Constructing solids
Chpter44 Polygons nd solids Contents: A Polygons B Tringles C Qudrilterls D Solids E Constructing solids 74 POLYGONS AND SOLIDS (Chpter 4) Opening prolem Things to think out: c Wht different shpes cn you
More informationTries. Yufei Tao KAIST. April 9, Y. Tao, April 9, 2013 Tries
Tries Yufei To KAIST April 9, 2013 Y. To, April 9, 2013 Tries In this lecture, we will discuss the following exct mtching prolem on strings. Prolem Let S e set of strings, ech of which hs unique integer
More information4-1 NAME DATE PERIOD. Study Guide. Parallel Lines and Planes P Q, O Q. Sample answers: A J, A F, and D E
4-1 NAME DATE PERIOD Pges 142 147 Prllel Lines nd Plnes When plnes do not intersect, they re sid to e prllel. Also, when lines in the sme plne do not intersect, they re prllel. But when lines re not in
More informationF. R. K. Chung y. University ofpennsylvania. Philadelphia, Pennsylvania R. L. Graham. AT&T Labs - Research. March 2,1997.
Forced convex n-gons in the plne F. R. K. Chung y University ofpennsylvni Phildelphi, Pennsylvni 19104 R. L. Grhm AT&T Ls - Reserch Murry Hill, New Jersey 07974 Mrch 2,1997 Astrct In seminl pper from 1935,
More informationHere is an example where angles with a common arm and vertex overlap. Name all the obtuse angles adjacent to
djcent tht do not overlp shre n rm from the sme vertex point re clled djcent ngles. me the djcent cute ngles in this digrm rm is shred y + + me vertex point for + + + is djcent to + djcent simply mens
More informationINTRODUCTION TO SIMPLICIAL COMPLEXES
INTRODUCTION TO SIMPLICIAL COMPLEXES CASEY KELLEHER AND ALESSANDRA PANTANO 0.1. Introduction. In this ctivity set we re going to introduce notion from Algebric Topology clled simplicil homology. The min
More informationEXPONENTIAL & POWER GRAPHS
Eponentil & Power Grphs EXPONENTIAL & POWER GRAPHS www.mthletics.com.u Eponentil EXPONENTIAL & Power & Grphs POWER GRAPHS These re grphs which result from equtions tht re not liner or qudrtic. The eponentil
More informationShape Representation and Indexing Based on Region Connection Calculus and Oriented Matroid Theory
Shpe Representtion nd Indexing Bsed on Region Connection Clculus nd Oriented Mtroid Theory Ernesto Stffetti 1, Antoni Gru 2, Frncesc Serrtos 3, nd Alerto Snfeliu 1 1 Institute of Industril Rootics (CSIC-UPC)
More informationIf f(x, y) is a surface that lies above r(t), we can think about the area between the surface and the curve.
Line Integrls The ide of line integrl is very similr to tht of single integrls. If the function f(x) is bove the x-xis on the intervl [, b], then the integrl of f(x) over [, b] is the re under f over the
More informationGraphing Conic Sections
Grphing Conic Sections Definition of Circle Set of ll points in plne tht re n equl distnce, clled the rdius, from fixed point in tht plne, clled the center. Grphing Circle (x h) 2 + (y k) 2 = r 2 where
More informationThe Fundamental Theorem of Calculus
MATH 6 The Fundmentl Theorem of Clculus The Fundmentl Theorem of Clculus (FTC) gives method of finding the signed re etween the grph of f nd the x-xis on the intervl [, ]. The theorem is: FTC: If f is
More informationCOLOUR IMAGE MATCHING FOR DTM GENERATION AND HOUSE EXTRACTION
Hee Ju Prk OLOUR IMAGE MATHING FOR DTM GENERATION AND HOUSE EXTRATION Hee Ju PARK, Petr ZINMMERMANN * Swiss Federl Institute of Technology, Zuric Switzerlnd Institute for Geodesy nd Photogrmmetry heeju@ns.shingu-c.c.kr
More informationUnit 5 Vocabulary. A function is a special relationship where each input has a single output.
MODULE 3 Terms Definition Picture/Exmple/Nottion 1 Function Nottion Function nottion is n efficient nd effective wy to write functions of ll types. This nottion llows you to identify the input vlue with
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 informationMath 35 Review Sheet, Spring 2014
Mth 35 Review heet, pring 2014 For the finl exm, do ny 12 of the 15 questions in 3 hours. They re worth 8 points ech, mking 96, with 4 more points for netness! Put ll your work nd nswers in the provided
More information6.2 Volumes of Revolution: The Disk Method
mth ppliction: volumes by disks: volume prt ii 6 6 Volumes of Revolution: The Disk Method One of the simplest pplictions of integrtion (Theorem 6) nd the ccumultion process is to determine so-clled volumes
More informationAgilent Mass Hunter Software
Agilent Mss Hunter Softwre Quick Strt Guide Use this guide to get strted with the Mss Hunter softwre. Wht is Mss Hunter Softwre? Mss Hunter is n integrl prt of Agilent TOF softwre (version A.02.00). Mss
More informationMathematics Background
For more roust techer experience, plese visit Techer Plce t mthdshord.com/cmp3 Mthemtics Bckground Extending Understnding of Two-Dimensionl Geometry In Grde 6, re nd perimeter were introduced to develop
More informationsuch that the S i cover S, or equivalently S
MATH 55 Triple Integrls Fll 16 1. Definition Given solid in spce, prtition of consists of finite set of solis = { 1,, n } such tht the i cover, or equivlently n i. Furthermore, for ech i, intersects i
More information1. SEQUENCES INVOLVING EXPONENTIAL GROWTH (GEOMETRIC SEQUENCES)
Numbers nd Opertions, Algebr, nd Functions 45. SEQUENCES INVOLVING EXPONENTIAL GROWTH (GEOMETRIC SEQUENCES) In sequence of terms involving eponentil growth, which the testing service lso clls geometric
More informationApplications of the Definite Integral ( Areas and Volumes)
Mth1242 Project II Nme: Applictions of the Definite Integrl ( Ares nd Volumes) In this project, we explore some pplictions of the definite integrl. We use integrls to find the re etween the grphs of two
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 informationa(e, x) = x. Diagrammatically, this is encoded as the following commutative diagrams / X
4. Mon, Sept. 30 Lst time, we defined the quotient topology coming from continuous surjection q : X! Y. Recll tht q is quotient mp (nd Y hs the quotient topology) if V Y is open precisely when q (V ) X
More informationPresentation Martin Randers
Presenttion Mrtin Rnders Outline Introduction Algorithms Implementtion nd experiments Memory consumption Summry Introduction Introduction Evolution of species cn e modelled in trees Trees consist of nodes
More informationArea & Volume. Chapter 6.1 & 6.2 September 25, y = 1! x 2. Back to Area:
Bck to Are: Are & Volume Chpter 6. & 6. Septemer 5, 6 We cn clculte the re etween the x-xis nd continuous function f on the intervl [,] using the definite integrl:! f x = lim$ f x * i )%x n i= Where fx
More informationCS311H: Discrete Mathematics. Graph Theory IV. A Non-planar Graph. Regions of a Planar Graph. Euler s Formula. Instructor: Işıl Dillig
CS311H: Discrete Mthemtics Grph Theory IV Instructor: Işıl Dillig Instructor: Işıl Dillig, CS311H: Discrete Mthemtics Grph Theory IV 1/25 A Non-plnr Grph Regions of Plnr Grph The plnr representtion of
More informationApproximation of Two-Dimensional Rectangle Packing
pproximtion of Two-imensionl Rectngle Pcking Pinhong hen, Yn hen, Mudit Goel, Freddy Mng S70 Project Report, Spring 1999. My 18, 1999 1 Introduction 1-d in pcking nd -d in pcking re clssic NP-complete
More informationΕΠΛ323 - Θεωρία και Πρακτική Μεταγλωττιστών
ΕΠΛ323 - Θωρία και Πρακτική Μταγλωττιστών Lecture 3 Lexicl Anlysis Elis Athnsopoulos elisthn@cs.ucy.c.cy Recognition of Tokens if expressions nd reltionl opertors if è if then è then else è else relop
More informationWhat are suffix trees?
Suffix Trees 1 Wht re suffix trees? Allow lgorithm designers to store very lrge mount of informtion out strings while still keeping within liner spce Allow users to serch for new strings in the originl
More informationII. THE ALGORITHM. A. Depth Map Processing
Lerning Plnr Geometric Scene Context Using Stereo Vision Pul G. Bumstrck, Bryn D. Brudevold, nd Pul D. Reynolds {pbumstrck,brynb,pulr2}@stnford.edu CS229 Finl Project Report December 15, 2006 Abstrct A
More informationNaming 3D objects. 1 Name the 3D objects labelled in these models. Use the word bank to help you.
Nming 3D ojects 1 Nme the 3D ojects lelled in these models. Use the word nk to help you. Word nk cue prism sphere cone cylinder pyrmid D A C F A B C D cone cylinder cue cylinder E B E prism F cue G G pyrmid
More informationThe Math Learning Center PO Box 12929, Salem, Oregon Math Learning Center
Resource Overview Quntile Mesure: Skill or Concept: 80Q Multiply two frctions or frction nd whole numer. (QT N ) Excerpted from: The Mth Lerning Center PO Box 99, Slem, Oregon 9709 099 www.mthlerningcenter.org
More informationClass-XI Mathematics Conic Sections Chapter-11 Chapter Notes Key Concepts
Clss-XI Mthemtics Conic Sections Chpter-11 Chpter Notes Key Concepts 1. Let be fixed verticl line nd m be nother line intersecting it t fixed point V nd inclined to it t nd ngle On rotting the line m round
More informationHypergraph Representation of Diagrams in Diagram Editors
Hypergrph Representtion of Digrms in Digrm Editors Mrk Mins Lehrstuhl für Progrmmiersprchen Universität Erlngen-Nürnerg Mrtensstr. 3, 91058 Erlngen, Germny emil: mins@informtik.uni-erlngen.de Astrct When
More informationRegistering as an HPE Reseller
Registering s n HPE Reseller Quick Reference Guide for new Prtners Mrch 2019 Registering s new Reseller prtner There re four min steps to register on the Prtner Redy Portl s new Reseller prtner: Appliction
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 informationAlgebra II Notes Unit Ten: Conic Sections
Sllus Ojective: 0. The student will sketch the grph of conic section with centers either t or not t the origin. (PARABOLAS) Review: The Midpoint Formul The midpoint M of the line segment connecting the
More informationSlides for Data Mining by I. H. Witten and E. Frank
Slides for Dt Mining y I. H. Witten nd E. Frnk Simplicity first Simple lgorithms often work very well! There re mny kinds of simple structure, eg: One ttriute does ll the work All ttriutes contriute eqully
More informationUNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS INFORMATICS 1 COMPUTATION & LOGIC INSTRUCTIONS TO CANDIDATES
UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS INFORMATICS COMPUTATION & LOGIC Sturdy st April 7 : to : INSTRUCTIONS TO CANDIDATES This is tke-home exercise. It will not
More informationbox Boxes and Arrows 3 true 7.59 'X' An object is drawn as a box that contains its data members, for example:
Boxes nd Arrows There re two kinds of vriles in Jv: those tht store primitive vlues nd those tht store references. Primitive vlues re vlues of type long, int, short, chr, yte, oolen, doule, nd flot. References
More informationSummer Review Packet For Algebra 2 CP/Honors
Summer Review Pcket For Alger CP/Honors Nme Current Course Mth Techer Introduction Alger uilds on topics studied from oth Alger nd Geometr. Certin topics re sufficientl involved tht the cll for some review
More informationObject and image indexing based on region connection calculus and oriented matroid theory
Discrete Applied Mthemtics 147 (2005) 345 361 www.elsevier.com/locte/dm Oject nd imge indexing sed on region connection clculus nd oriented mtroid theory Ernesto Stffetti, Antoni Gru, Frncesc Serrtos c,
More informationGeometrical tile design for complex neighborhoods
COMPUTATIONAL NEUROSCIENCE ORIGINAL RESEARCH ARTICLE pulished: 23 Novemer 2009 doi: 103389/neuro100202009 Geometricl tile design for complex neighorhoods Eugen Czeizler* nd Lil Kri Deprtment of Computer
More informationON THE DEHN COMPLEX OF VIRTUAL LINKS
ON THE DEHN COMPLEX OF VIRTUAL LINKS RACHEL BYRD, JENS HARLANDER Astrct. A virtul link comes with vriety of link complements. This rticle is concerned with the Dehn spce, pseudo mnifold with oundry, nd
More informationSection 9.2 Hyperbolas
Section 9. Hperols 597 Section 9. Hperols In the lst section, we lerned tht plnets hve pproimtel ellipticl orits round the sun. When n oject like comet is moving quickl, it is le to escpe the grvittionl
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 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 informationPythagoras theorem and trigonometry (2)
HPTR 10 Pythgors theorem nd trigonometry (2) 31 HPTR Liner equtions In hpter 19, Pythgors theorem nd trigonometry were used to find the lengths of sides nd the sizes of ngles in right-ngled tringles. These
More informationLists in Lisp and Scheme
Lists in Lisp nd Scheme Lists in Lisp nd Scheme Lists re Lisp s fundmentl dt structures, ut there re others Arrys, chrcters, strings, etc. Common Lisp hs moved on from eing merely LISt Processor However,
More informationcalled the vertex. The line through the focus perpendicular to the directrix is called the axis of the parabola.
Review of conic sections Conic sections re grphs of the form REVIEW OF CONIC SECTIONS prols ellipses hperols P(, ) F(, p) O p =_p REVIEW OF CONIC SECTIONS In this section we give geometric definitions
More informationLR Parsing, Part 2. Constructing Parse Tables. Need to Automatically Construct LR Parse Tables: Action and GOTO Table
TDDD55 Compilers nd Interpreters TDDB44 Compiler Construction LR Prsing, Prt 2 Constructing Prse Tles Prse tle construction Grmmr conflict hndling Ctegories of LR Grmmrs nd Prsers Peter Fritzson, Christoph
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 informationVideo-rate Image Segmentation by means of Region Splitting and Merging
Video-rte Imge Segmenttion y mens of Region Splitting nd Merging Knur Anej, Florence Lguzet, Lionel Lcssgne, Alin Merigot Institute for Fundmentl Electronics, University of Pris South Orsy, Frnce knur.nej@gmil.com,
More informationSimplifying Algebra. Simplifying Algebra. Curriculum Ready.
Simplifying Alger Curriculum Redy www.mthletics.com This ooklet is ll out turning complex prolems into something simple. You will e le to do something like this! ( 9- # + 4 ' ) ' ( 9- + 7-) ' ' Give this
More informationa < a+ x < a+2 x < < a+n x = b, n A i n f(x i ) x. i=1 i=1
Mth 33 Volume Stewrt 5.2 Geometry of integrls. In this section, we will lern how to compute volumes using integrls defined by slice nlysis. First, we recll from Clculus I how to compute res. Given the
More informationCSCE 531, Spring 2017, Midterm Exam Answer Key
CCE 531, pring 2017, Midterm Exm Answer Key 1. (15 points) Using the method descried in the ook or in clss, convert the following regulr expression into n equivlent (nondeterministic) finite utomton: (
More informationITEC2620 Introduction to Data Structures
ITEC0 Introduction to Dt Structures Lecture 7 Queues, Priority Queues Queues I A queue is First-In, First-Out = FIFO uffer e.g. line-ups People enter from the ck of the line People re served (exit) from
More informationLecture 7: Integration Techniques
Lecture 7: Integrtion Techniques Antiderivtives nd Indefinite Integrls. In differentil clculus, we were interested in the derivtive of given rel-vlued function, whether it ws lgeric, eponentil or logrithmic.
More informationCS321 Languages and Compiler Design I. Winter 2012 Lecture 5
CS321 Lnguges nd Compiler Design I Winter 2012 Lecture 5 1 FINITE AUTOMATA A non-deterministic finite utomton (NFA) consists of: An input lphet Σ, e.g. Σ =,. A set of sttes S, e.g. S = {1, 3, 5, 7, 11,
More informationThe notation y = f(x) gives a way to denote specific values of a function. The value of f at a can be written as f( a ), read f of a.
Chpter Prerequisites for Clculus. Functions nd Grphs Wht ou will lern out... Functions Domins nd Rnges Viewing nd Interpreting Grphs Even Functions nd Odd Functions Smmetr Functions Defined in Pieces Asolute
More informationDate: 9.1. Conics: Parabolas
Dte: 9. Conics: Prols Preclculus H. Notes: Unit 9 Conics Conic Sections: curves tht re formed y the intersection of plne nd doulenpped cone Syllus Ojectives:. The student will grph reltions or functions,
More information1 Drawing 3D Objects in Adobe Illustrator
Drwing 3D Objects in Adobe Illustrtor 1 1 Drwing 3D Objects in Adobe Illustrtor This Tutoril will show you how to drw simple objects with three-dimensionl ppernce. At first we will drw rrows indicting
More informationSection 5.3 : Finding Area Between Curves
MATH 9 Section 5. : Finding Are Between Curves Importnt: In this section we will lern just how to set up the integrls to find re etween curves. The finl nswer for ech emple in this hndout is given for
More informationOrthogonal line segment intersection
Computtionl Geometry [csci 3250] Line segment intersection The prolem (wht) Computtionl Geometry [csci 3250] Orthogonl line segment intersection Applictions (why) Algorithms (how) A specil cse: Orthogonl
More informationCS143 Handout 07 Summer 2011 June 24 th, 2011 Written Set 1: Lexical Analysis
CS143 Hndout 07 Summer 2011 June 24 th, 2011 Written Set 1: Lexicl Anlysis In this first written ssignment, you'll get the chnce to ply round with the vrious constructions tht come up when doing lexicl
More information9.1 apply the distance and midpoint formulas
9.1 pply the distnce nd midpoint formuls DISTANCE FORMULA MIDPOINT FORMULA To find the midpoint between two points x, y nd x y 1 1,, we Exmple 1: Find the distnce between the two points. Then, find the
More informationCompilers Spring 2013 PRACTICE Midterm Exam
Compilers Spring 2013 PRACTICE Midterm Exm This is full length prctice midterm exm. If you wnt to tke it t exm pce, give yourself 7 minutes to tke the entire test. Just like the rel exm, ech question hs
More informationGeorge Boole. IT 3123 Hardware and Software Concepts. Switching Algebra. Boolean Functions. Boolean Functions. Truth Tables
George Boole IT 3123 Hrdwre nd Softwre Concepts My 28 Digitl Logic The Little Mn Computer 1815 1864 British mthemticin nd philosopher Mny contriutions to mthemtics. Boolen lger: n lger over finite sets
More informationOrder these angles from smallest to largest by wri ng 1 to 4 under each one. Put a check next to the right angle.
Lines nd ngles Connect ech set of lines to the correct nme: prllel perpendiculr Order these ngles from smllest to lrgest y wri ng to 4 under ech one. Put check next to the right ngle. Complete this tle
More informationUnit #9 : Definite Integral Properties, Fundamental Theorem of Calculus
Unit #9 : Definite Integrl Properties, Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl
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 informationMATH 25 CLASS 5 NOTES, SEP
MATH 25 CLASS 5 NOTES, SEP 30 2011 Contents 1. A brief diversion: reltively prime numbers 1 2. Lest common multiples 3 3. Finding ll solutions to x + by = c 4 Quick links to definitions/theorems Euclid
More informationImproper Integrals. October 4, 2017
Improper Integrls October 4, 7 Introduction We hve seen how to clculte definite integrl when the it is rel number. However, there re times when we re interested to compute the integrl sy for emple 3. Here
More informationDr. D.M. Akbar Hussain
Dr. D.M. Akr Hussin Lexicl Anlysis. Bsic Ide: Red the source code nd generte tokens, it is similr wht humns will do to red in; just tking on the input nd reking it down in pieces. Ech token is sequence
More informationRegistering as a HPE Reseller. Quick Reference Guide for new Partners in Asia Pacific
Registering s HPE Reseller Quick Reference Guide for new Prtners in Asi Pcific Registering s new Reseller prtner There re five min steps to e new Reseller prtner. Crete your Appliction Copyright 2017 Hewlett
More information6.3 Definite Integrals and Antiderivatives
Section 6. Definite Integrls nd Antiderivtives 8 6. Definite Integrls nd Antiderivtives Wht ou will lern out... Properties of Definite Integrls Averge Vlue of Function Men Vlue Theorem for Definite Integrls
More informationToday. CS 188: Artificial Intelligence Fall Recap: Search. Example: Pancake Problem. Example: Pancake Problem. General Tree Search.
CS 88: Artificil Intelligence Fll 00 Lecture : A* Serch 9//00 A* Serch rph Serch Tody Heuristic Design Dn Klein UC Berkeley Multiple slides from Sturt Russell or Andrew Moore Recp: Serch Exmple: Pncke
More informationSERIES. Patterns and Algebra OUT. Name
D Techer Student Book IN OUT 8 Nme Series D Contents Topic Section Ptterns Answers nd (pp. functions ) identifying ptterns nd nd functions_ creting ptterns_ skip equtions counting nd equivlence completing
More informationAngle properties of lines and polygons
chievement Stndrd 91031 pply geometric resoning in solving problems Copy correctly Up to 3% of workbook Copying or scnning from ES workbooks is subject to the NZ Copyright ct which limits copying to 3%
More informationTopological Queries on Graph-structured XML Data: Models and Implementations
Topologicl Queries on Grph-structured XML Dt: Models nd Implementtions Hongzhi Wng, Jinzhong Li, nd Jizhou Luo Astrct In mny pplictions, dt is in grph structure, which cn e nturlly represented s grph-structured
More informationQuiz2 45mins. Personal Number: Problem 1. (20pts) Here is an Table of Perl Regular Ex
Long Quiz2 45mins Nme: Personl Numer: Prolem. (20pts) Here is n Tle of Perl Regulr Ex Chrcter Description. single chrcter \s whitespce chrcter (spce, t, newline) \S non-whitespce chrcter \d digit (0-9)
More information