geometric transformations

Size: px
Start display at page:

Download "geometric transformations"

Transcription

1 geomeric ranformaion comuer grahic ranform 28 fabio ellacini linear algebra review marice noaion baic oeraion mari-vecor mulilicaion comuer grahic ranform 28 fabio ellacini 2

2 marice noaion for marice and vecor ue column form for vecor m m 2 m ij m 2 m 22 v v2 [ ] v [ v v ] T 2 comuer grahic ranform 28 fabio ellacini 3 mari oeraion addiion T N [ ij ] [ mij nij ] calar mulil T [ ij ] [ mij ] comuer grahic ranform 28 fabio ellacini 4

3 mari oeraion mari-mari mulil row-column mulilicaion no commuaive aociaive T N [ ij ] m k m m 2 m m 2 22 ik n n n kj 2 n n 2 22 comuer grahic ranform 28 fabio ellacini 5 mari oeraion mari-vecor mulil row-column mulilicaion u v [ ui ] m k u m u2 m 2 m m 2 22 v v 2 ik v k comuer grahic ranform 28 fabio ellacini 6

4 ecial marice ideni I for i j [ i ] ij for i j I I I zero O [ o ij ] O O comuer grahic ranform 28 fabio ellacini 7 mari oeraion ranoe fli along he diagonal T T [ ij ] [ m ji ] invere will no comue elicil in hi coure T T I comuer grahic ranform 28 fabio ellacini 8

5 mari oeraion oroerie lineari of mulilicaion A B A B A B A B aociaivi of mulilicaion A BC AB C ranoe and invere of mari mulil AB AB T B B T A T A comuer grahic ranform 28 fabio ellacini 9 geomeric ranformaion funcion ha ma oin o oin X differen ranformaion have rericion on he form of X we will look a linear, affine and rojecion comuer grahic ranform 28 fabio ellacini

6 2D ranformaion comuer grahic ranform 28 fabio ellacini ranlaion imle form invere T T T comuer grahic ranform 28 fabio ellacini 2

7 linear ranformaion fundamenal roer X q X X q can be rereened in mari form X oher roerie ma origin o origin ma line o line arallel line remain arallel lengh raio are reerved cloed under comoiion comuer grahic ranform 28 fabio ellacini 3 uniform cale S S S/ comuer grahic ranform 28 fabio ellacini 4

8 comuer grahic ranform 28 fabio ellacini 5 non-uniform cale S,/ / S S comuer grahic ranform 28 fabio ellacini 6 roaion co in in co co in in co R R R

9 comuer grahic ranform 28 fabio ellacini 7 hear Sh comuer grahic ranform 28 fabio ellacini 8 reflecion Rl o Rl Rl...

10 combining ranlaion and linear ranform rereen linear ogeher wih ranlaion rigid bod ranformaion are a ube of hi X, goal: unified forma for all ranformaion comuer grahic ranform 28 fabio ellacini 9 homogeneou coordinae rereen oin wih addiional coordinae w e i o for oin w comuer grahic ranform 28 fabio ellacini 2

11 comuer grahic ranform 28 fabio ellacini 2 homogeneou coordinae rereen ranlaion wih a 33 mari add one row and column o linear ranform T m m m m m m m m comuer grahic ranform 28 fabio ellacini 22 affine ranformaion combining linear and ranlaion in one mari roerie doe no ma origin o origin ma line o line arallel line remain arallel lengh raio are reerved cloed under comoiion X

12 affine ranformaion ranlaion cale roaion R T S co in in co comuer grahic ranform 28 fabio ellacini 23 comoiing ranformaion aling one ranformaion afer anoher ereed b funcion comoiion X 2 X X 2 o X for he ranform reened before, comued b mari mulilicaion X 2 o X X 2 X 2 2 comuer grahic ranform 28 fabio ellacini 24

13 comuer grahic ranform 28 fabio ellacini 25 comoiing ranformaion ranlaion linear ranformaion affine ranformaion 2 2 I I I comuer grahic ranform 28 fabio ellacini 26 comoiing ranformaion comoiion i no commuaive roae, hen ranlae ranlae, hen roae

14 comoiing ranformaion comoiion i no commuaive roae, hen ranlae ranlae, hen roae comuer grahic ranform 28 fabio ellacini 27 comoiing ranformaion comoiion i no commuaive roae, hen ranlae ranlae, hen roae comuer grahic ranform 28 fabio ellacini 28

15 comle ranformaion ofen rereened a combinaion of imler one inuiive geomeric inerreaion roaion around arbirar ai ranlae o ai cener roae ranlae back R a, Ta R T a comuer grahic ranform 28 fabio ellacini 29 roaion around arbirar ai comuer grahic ranform 28 fabio ellacini 3

16 roaion around arbirar ai comuer grahic ranform 28 fabio ellacini 3 roaion around arbirar ai comuer grahic ranform 28 fabio ellacini 32

17 comuer grahic ranform 28 fabio ellacini 33 roaion around arbirar ai comuer grahic ranform 28 fabio ellacini 34 ranforming oin and vecor oin and vecor are differen eniie vecor: encode direcion difference of oin oin: encode oiion origin lu a vecor oin and vecor ranform differenl we have hown how oin ranform revioul vecor iml ignore he ranlaion q q q v q v X X X X

18 comuer grahic ranform 28 fabio ellacini 35 ranforming oin and vecor ue homogeneou coordinae wih w everhing i conien bu wha i ha w anwa? v v comuer grahic ranform 28 fabio ellacini 36 homogeneou coordinae oin will become ueful laer on vecor w w w,, v v v v

19 comuer grahic ranform 28 fabio ellacini 37 coordinae em review oin are rereened wr a coordinae em careian coordinae in he canonical coord. em canonical coordinae em o o,,,, o comuer grahic ranform 28 fabio ellacini 38 coordinae em review wrie a oin in a new coordinae em can be rereened a an affine mari mulil, o o o o o

20 comuer grahic ranform 28 fabio ellacini 39 coordinae em review an affine ranform i a change of coord. em anoher inerreaion for combinaion of ranform wha i he mari I hould ue o change coord? ju inver reviou definiion i.e. inver combinaion of ranlaion and orhonormal o o comuer grahic ranform 28 fabio ellacini 4 3D ranformaion

21 comuer grahic ranform 28 fabio ellacini 4 2D o 3D ranformaion ado homogeneou formulaion in 3d oin have 4 coordinae ue 44 marice for ranformaion mo conce generalize ver eail roaion much more comle comuer grahic ranform 28 fabio ellacini 42 affine ranformaion z T ranlaion cale z S

22 comuer grahic ranform 28 fabio ellacini 43 affine ranformaion co in in co z R roaion around z comuer grahic ranform 28 fabio ellacini 44 affine ranformaion co in in co R roaion around co in in co R roaion around

23 roaion around arbirar ai in 2d, roaion are around a oin change coordinae frame ranlaion roae around he origin change coordinae frame back imle geomeric conrucion in 3d, he are around an ai change coordinae frame align z wih ai roae around z ai change coordinae frame back comle geomeric conrucion R a, Ta R T a R a, Fa R F a comuer grahic ranform 28 fabio ellacini 45 roaion around arbirar ai ue a change of coordinae em define new coordinae em wih z arallel o ai and origin on he ai build ranform mari a een revioul F z o comuer grahic ranform 28 fabio ellacini 46

24 conruc 3d frame from vecor given wo non-arallel vecor a and b i.e. a lane e, arallel o a, b a / a z b; z z / z z given he vecor a e z arallel o a, chooe arbirar, coninue a above comuer grahic ranform 28 fabio ellacini 47 rereening roaion 3 roaion around major ai remember o chooe order imle bu ha quirk when combining roaion will ue hi for imlici ai and angle combinaion of roaion can be rereened hi wa wih more formalim become elegan and conien quaernion comuer grahic ranform 28 fabio ellacini 48

25 ranforming normal oin and vecor work angen, i.e. difference of oin, work oo normal work differenl defined a orhogonal o he ranformed urface i.e. orhogonal o all angen comuer grahic ranform 28 fabio ellacini 49 ranforming normal b definiion afer ranform for all, we have which give T n n T Xn T T Xn T T T n normal are ranformed b he invere ranoe comuer grahic ranform 28 fabio ellacini 5

26 ranformaion hierarchie ofen need o ranform an objec wr anoher e.g. he comuer on he able when he able move, he comuer move naurall build a hierarch of ranformaion o ranform he able, al i ranform o ranform he comuer, al he able and he comuer ranform comuer grahic ranform 28 fabio ellacini 5 ranformaion hierarchie rereened a a ree daa rucure ranformaion node objec node - leave walk he ree when drawing ver convenien rereenaion for objec all objec can be defined in heir imle form e.g. ever here can be rereened b a ranformaion alied o he uni here comuer grahic ranform 28 fabio ellacini 52

27 ranformaion hierarchie roo ranform ranform here riangle ranform here riangle here comuer grahic ranform 28 fabio ellacini 53 imlemening ranformaion hierarchie ranformaion funcion for each node ge he aren mari mulil he aren and curren marice a he combined mari when calling children ack of ranform uh/o when walking down/u ued b grahic librarie OenGL more fleible generalized mechanim for all aribue comuer grahic ranform 28 fabio ellacini 54

28 raracing and ranformaion ranform he objec imle for riangle ince he ranform o riangle bu mo objec require comle inerecion e here do no ranform o here, bu ellioid ranform he ra much more elegan work on an urface allow for much imler inerecion e onl worr abou uni here, all oher are ranformed comuer grahic ranform 28 fabio ellacini 55 raracing and ranformaion ranforming ra ranform origin/direcion a oin/vecor noe ha direcion i no normalized now i.e. ra arameer i no he diance inerec a ranformed objec ranform he ra b mari invere inerec urface ranform hi oin and normal b mari comuer grahic ranform 28 fabio ellacini 56

CS 428: Fall Introduction to. Geometric Transformations (continued) Andrew Nealen, Rutgers, /20/2010 1

CS 428: Fall Introduction to. Geometric Transformations (continued) Andrew Nealen, Rutgers, /20/2010 1 CS 428: Fall 2 Inroducion o Compuer Graphic Geomeric Tranformaion (coninued) Andrew Nealen, Ruger, 2 9/2/2 Tranlaion Tranlaion are affine ranformaion The linear par i he ideni mari The 44 mari for he ranlaion

More information

Systems & Biomedical Engineering Department. Transformation

Systems & Biomedical Engineering Department. Transformation Sem & Biomedical Engineering Deparmen SBE 36B: Compuer Sem III Compuer Graphic Tranformaion Dr. Aman Eldeib Spring 28 Tranformaion Tranformaion i a fundamenal corner one of compuer graphic and i a cenral

More information

CENG 477 Introduction to Computer Graphics. Modeling Transformations

CENG 477 Introduction to Computer Graphics. Modeling Transformations CENG 477 Inroducion o Compuer Graphics Modeling Transformaions Modeling Transformaions Model coordinaes o World coordinaes: Model coordinaes: All shapes wih heir local coordinaes and sies. world World

More information

parametric spline curves

parametric spline curves arameric sline curves comuer grahics arameric curves 9 fabio ellacini curves used in many conexs fons animaion ahs shae modeling differen reresenaion imlici curves arameric curves mosly used comuer grahics

More information

M y. Image Warping. Targil 7 : Image Warping. Image Warping. 2D Geometric Transformations. image filtering: change range of image g(x) = T(f(x))

M y. Image Warping. Targil 7 : Image Warping. Image Warping. 2D Geometric Transformations. image filtering: change range of image g(x) = T(f(x)) Hebrew Universi Image Processing - 6 Image Warping Hebrew Universi Image Processing - 6 argil 7 : Image Warping D Geomeric ransormaions hp://www.jere-marin.com Man slides rom Seve Seiz and Aleei Eros Image

More information

Introduction to Data-Driven Animation: Programming with Motion Capture Jehee Lee

Introduction to Data-Driven Animation: Programming with Motion Capture Jehee Lee Inroducion o Daa-Driven Animaion: Programming wih Moion Caure Jehee Lee Seoul Naional Universiy Daa-Driven Animaion wih Moion Caure Programming wih Moion Caure Why is i difficul? Encomass a lo of heerogeneous

More information

4.1 3D GEOMETRIC TRANSFORMATIONS

4.1 3D GEOMETRIC TRANSFORMATIONS MODULE IV MCA - 3 COMPUTER GRAPHICS ADMN 29- Dep. of Compuer Science And Applicaions, SJCET, Palai 94 4. 3D GEOMETRIC TRANSFORMATIONS Mehods for geomeric ransformaions and objec modeling in hree dimensions

More information

Geometry Transformation

Geometry Transformation Geomer Transformaion Januar 26 Prof. Gar Wang Dep. of Mechanical and Manufacuring Engineering Universi of Manioba Wh geomer ransformaion? Beer undersanding of he design Communicaion wih cusomers Generaing

More information

Ray Tracing II. Improving Raytracing Speed. Improving Computational Complexity. Raytracing Computational Complexity

Ray Tracing II. Improving Raytracing Speed. Improving Computational Complexity. Raytracing Computational Complexity Ra Tracing II Iproving Raracing Speed Copuer Graphics Ra Tracing II 2005 Fabio Pellacini 1 Copuer Graphics Ra Tracing II 2005 Fabio Pellacini 2 Raracing Copuaional Coplei ra-scene inersecion is epensive

More information

Overview. 9 - Game World: textures, skyboxes, etc. Texture Mapping. Texture Space. Vertex Texture Coordinates. Texture Mapping. Game World Backgrounds

Overview. 9 - Game World: textures, skyboxes, etc. Texture Mapping. Texture Space. Vertex Texture Coordinates. Texture Mapping. Game World Backgrounds CSc 165 Compuer Game Archiecure Overview Texure Mapping 9 - Game World: exure, kyboxe, ec. Game World Background SkyBoxe & SkyDome World Bound and Viibiliy Render Sae 2 Texure Mapping Texure Space Baic

More information

Projective geometry- 2D

Projective geometry- 2D Projecive geomer- D Acknowledgemens Marc Pollefes: for allowing e use of is ecellen slides on is opic p://www.cs.unc.edu/~marc/mvg/ Ricard Harle and Andrew Zisserman, "Muliple View Geomer in Compuer Vision"

More information

Projection & Interaction

Projection & Interaction Projecion & Ineracion Algebra of projecion Canonical viewing volume rackball inerface ransform Hierarchies Preview of Assignmen #2 Lecure 8 Comp 236 Spring 25 Projecions Our lives are grealy simplified

More information

EECS 487: Interactive Computer Graphics

EECS 487: Interactive Computer Graphics EECS 487: Ineracive Compuer Graphics Lecure 7: B-splines curves Raional Bézier and NURBS Cubic Splines A represenaion of cubic spline consiss of: four conrol poins (why four?) hese are compleely user specified

More information

Image warping Li Zhang CS559

Image warping Li Zhang CS559 Wha is an image Image arping Li Zhang S559 We can hink of an image as a funcion, f: R 2 R: f(, ) gives he inensi a posiion (, ) defined over a recangle, ih a finie range: f: [a,b][c,d] [,] f Slides solen

More information

Sam knows that his MP3 player has 40% of its battery life left and that the battery charges by an additional 12 percentage points every 15 minutes.

Sam knows that his MP3 player has 40% of its battery life left and that the battery charges by an additional 12 percentage points every 15 minutes. 8.F Baery Charging Task Sam wans o ake his MP3 player and his video game player on a car rip. An hour before hey plan o leave, he realized ha he forgo o charge he baeries las nigh. A ha poin, he plugged

More information

Spline Curves. Color Interpolation. Normal Interpolation. Last Time? Today. glshademodel (GL_SMOOTH); Adjacency Data Structures. Mesh Simplification

Spline Curves. Color Interpolation. Normal Interpolation. Last Time? Today. glshademodel (GL_SMOOTH); Adjacency Data Structures. Mesh Simplification Las Time? Adjacency Daa Srucures Spline Curves Geomeric & opologic informaion Dynamic allocaion Efficiency of access Mesh Simplificaion edge collapse/verex spli geomorphs progressive ransmission view-dependen

More information

Flow graph/networks MAX FLOW APPLICATIONS. Flow constraints. Max flow problem 4/26/12

Flow graph/networks MAX FLOW APPLICATIONS. Flow constraints. Max flow problem 4/26/12 4// low graph/nework MX LOW PPLIION 30, pring 0 avid Kauchak low nework direced, weighed graph (V, ) poiive edge weigh indicaing he capaciy (generally, aume ineger) conain a ingle ource V wih no incoming

More information

Today. Curves & Surfaces. Can We Disguise the Facets? Limitations of Polygonal Meshes. Better, but not always good enough

Today. Curves & Surfaces. Can We Disguise the Facets? Limitations of Polygonal Meshes. Better, but not always good enough Today Curves & Surfaces Moivaion Limiaions of Polygonal Models Some Modeling Tools & Definiions Curves Surfaces / Paches Subdivision Surfaces Limiaions of Polygonal Meshes Can We Disguise he Faces? Planar

More information

Curves & Surfaces. Last Time? Today. Readings for Today (pick one) Limitations of Polygonal Meshes. Today. Adjacency Data Structures

Curves & Surfaces. Last Time? Today. Readings for Today (pick one) Limitations of Polygonal Meshes. Today. Adjacency Data Structures Las Time? Adjacency Daa Srucures Geomeric & opologic informaion Dynamic allocaion Efficiency of access Curves & Surfaces Mesh Simplificaion edge collapse/verex spli geomorphs progressive ransmission view-dependen

More information

AML710 CAD LECTURE 11 SPACE CURVES. Space Curves Intrinsic properties Synthetic curves

AML710 CAD LECTURE 11 SPACE CURVES. Space Curves Intrinsic properties Synthetic curves AML7 CAD LECTURE Space Curves Inrinsic properies Synheic curves A curve which may pass hrough any region of hreedimensional space, as conrased o a plane curve which mus lie on a single plane. Space curves

More information

Overview. 8 - Game World: textures, skyboxes, etc. Texture Mapping. Texture Space. Creating Textures. Vertex Texture Coordinates.

Overview. 8 - Game World: textures, skyboxes, etc. Texture Mapping. Texture Space. Creating Textures. Vertex Texture Coordinates. CSc 165 Compuer Game Archiecure Overview Texure Mapping 8 - Game World: exure, kyboxe, ec. Game World Background SkyBoxe & SkyDome World Bound and Viibiliy Render Sae 2 Texure Mapping Texure Space Baic

More information

Image warping/morphing

Image warping/morphing Image arping/morphing Image arping Digial Visual Effecs Yung-Yu Chuang ih slides b Richard Szeliski, Seve Seiz, Tom Funkhouser and leei Efros Image formaion Sampling and quanizaion B Wha is an image We

More information

A Generalized and Analytical Method to Solve Inverse Kinematics of Serial and Parallel Mechanisms Using Finite Screw Theory

A Generalized and Analytical Method to Solve Inverse Kinematics of Serial and Parallel Mechanisms Using Finite Screw Theory A Generalized Analyical Mehod o Solve Invere Kinemaic of Serial Parallel Mechanim Uing Finie Screw heory. Sun 1 S. F. Yang 1. Huang 1 J. S. Dai 3 1 Key Laboraory of Mechanim heory Equipmen Deign of Miniry

More information

Gauss-Jordan Algorithm

Gauss-Jordan Algorithm Gauss-Jordan Algorihm The Gauss-Jordan algorihm is a sep by sep procedure for solving a sysem of linear equaions which may conain any number of variables and any number of equaions. The algorihm is carried

More information

Schedule. Curves & Surfaces. Questions? Last Time: Today. Limitations of Polygonal Meshes. Acceleration Data Structures.

Schedule. Curves & Surfaces. Questions? Last Time: Today. Limitations of Polygonal Meshes. Acceleration Data Structures. Schedule Curves & Surfaces Sunday Ocober 5 h, * 3-5 PM *, Room TBA: Review Session for Quiz 1 Exra Office Hours on Monday (NE43 Graphics Lab) Tuesday Ocober 7 h : Quiz 1: In class 1 hand-wrien 8.5x11 shee

More information

4. Minimax and planning problems

4. Minimax and planning problems CS/ECE/ISyE 524 Inroducion o Opimizaion Spring 2017 18 4. Minima and planning problems ˆ Opimizing piecewise linear funcions ˆ Minima problems ˆ Eample: Chebyshev cener ˆ Muli-period planning problems

More information

RULES OF DIFFERENTIATION LESSON PLAN. C2 Topic Overview CALCULUS

RULES OF DIFFERENTIATION LESSON PLAN. C2 Topic Overview CALCULUS CALCULUS C Topic Overview C RULES OF DIFFERENTIATION In pracice we o no carry ou iffereniaion from fir principle (a ecribe in Topic C Inroucion o Differeniaion). Inea we ue a e of rule ha allow u o obain

More information

the marginal product. Using the rule for differentiating a power function,

the marginal product. Using the rule for differentiating a power function, 3 Augu 07 Chaper 3 Derivaive ha economi ue 3 Rule for differeniaion The chain rule Economi ofen work wih funcion of variable ha are hemelve funcion of oher variable For example, conider a monopoly elling

More information

GENERALISATION OF SPHERE POLARITY TO CONTOUR LINE DETERMINATION AND SHADING OF SURFACES OF REVOLUTION UDC : :519.

GENERALISATION OF SPHERE POLARITY TO CONTOUR LINE DETERMINATION AND SHADING OF SURFACES OF REVOLUTION UDC : :519. FATA UNIVERSITATIS Serie: Archiecure and ivil Engineering Vol. N o 999. 3-40 GENERALISATION OF SPHERE POLARIT TO ONTOUR LINE DETERMINATION AND SHADING OF SURFAES OF REVOLUTION UD 54.44:54.8.:59.688045

More information

DEFINITION OF THE LAPLACE TRANSFORM

DEFINITION OF THE LAPLACE TRANSFORM 74 CHAPER 7 HE LAPLACE RANSFORM 7 DEFINIION OF HE LAPLACE RANSFORM REVIEW MAERIAL Improper inegral wih infinie limi of inegraio Inegraion y par and parial fracion decompoiion INRODUCION In elemenary calculu

More information

Last Time: Curves & Surfaces. Today. Questions? Limitations of Polygonal Meshes. Can We Disguise the Facets?

Last Time: Curves & Surfaces. Today. Questions? Limitations of Polygonal Meshes. Can We Disguise the Facets? Las Time: Curves & Surfaces Expeced value and variance Mone-Carlo in graphics Imporance sampling Sraified sampling Pah Tracing Irradiance Cache Phoon Mapping Quesions? Today Moivaion Limiaions of Polygonal

More information

Ray Casting. Outline. Outline in Code

Ray Casting. Outline. Outline in Code Foundaions of ompuer Graphics Online Lecure 10: Ray Tracing 2 Nus and ols amera Ray asing Ravi Ramamoorhi Ouline amera Ray asing (choose ray direcions) Ray-objec inersecions Ray-racing ransformed objecs

More information

Definition and examples of time series

Definition and examples of time series Definiion and examples of ime series A ime series is a sequence of daa poins being recorded a specific imes. Formally, le,,p be a probabiliy space, and T an index se. A real valued sochasic process is

More information

A Principled Approach to. MILP Modeling. Columbia University, August Carnegie Mellon University. Workshop on MIP. John Hooker.

A Principled Approach to. MILP Modeling. Columbia University, August Carnegie Mellon University. Workshop on MIP. John Hooker. Slide A Principled Approach o MILP Modeling John Hooer Carnegie Mellon Universiy Worshop on MIP Columbia Universiy, Augus 008 Proposal MILP modeling is an ar, bu i need no be unprincipled. Slide Proposal

More information

Texture Mapping. Texture Mapping. Map textures to surfaces. Trompe L Oeil ( Deceive the Eye ) Texture map. The texture

Texture Mapping. Texture Mapping. Map textures to surfaces. Trompe L Oeil ( Deceive the Eye ) Texture map. The texture CSCI 48 Compuer Graphic Lecure Texure Mapping A way of adding urface deail Texure Mapping February 5, 22 Jernej Barbic Univeriy of Souhern California Texure Mapping + Shading Filering and Mipmap Non-color

More information

The Laplace Transform

The Laplace Transform 7 he Laplace ranform 7 Definiion of he Laplace ranform 7 Invere ranform and ranform of Derivaive 7 Invere ranform 7 ranform of Derivaive 73 Operaional Properie I 73 ranlaion on he -Axi 73 ranlaion on he

More information

Digital Geometry Processing Differential Geometry

Digital Geometry Processing Differential Geometry Digial Geomery Processing Differenial Geomery Moivaion Undersand he srucure of he surface Differenial Geomery Properies: smoohness, curviness, imporan direcions How o modify he surface o change hese properies

More information

The Planar Slope Number of Planar Partial 3-Trees of Bounded Degree

The Planar Slope Number of Planar Partial 3-Trees of Bounded Degree The Planar Slope Number of Planar Parial 3-Tree of Bounded Degree Ví Jelínek 1,2,EvaJelínková 1, Jan Kraochvíl 1,3, Bernard Lidický 1, Marek Teař 1,andTomáš Vykočil 1,3 1 Deparmen of Applied Mahemaic,

More information

Shortest Path Algorithms. Lecture I: Shortest Path Algorithms. Example. Graphs and Matrices. Setting: Dr Kieran T. Herley.

Shortest Path Algorithms. Lecture I: Shortest Path Algorithms. Example. Graphs and Matrices. Setting: Dr Kieran T. Herley. Shores Pah Algorihms Background Seing: Lecure I: Shores Pah Algorihms Dr Kieran T. Herle Deparmen of Compuer Science Universi College Cork Ocober 201 direced graph, real edge weighs Le he lengh of a pah

More information

Principles of MRI EE225E / BIO265. Lecture 10. Instructor: Miki Lustig UC Berkeley, EECS. M. Lustig, EECS UC Berkeley

Principles of MRI EE225E / BIO265. Lecture 10. Instructor: Miki Lustig UC Berkeley, EECS. M. Lustig, EECS UC Berkeley Principles of MRI Lecure 0 EE225E / BIO265 Insrucor: Miki Lusig UC Berkeley, EECS Bloch Eq. For Recepion No B() : 2 4 Ṁ x Ṁ y Ṁ z 3 5 = 2 6 4 T 2 ~ G ~r 0 ~G ~r T 2 0 0 0 T 3 2 7 5 4 M x M y M z 3 5 +

More information

EP2200 Queueing theory and teletraffic systems

EP2200 Queueing theory and teletraffic systems EP2200 Queueing heory and eleraffic sysems Vikoria Fodor Laboraory of Communicaion Neworks School of Elecrical Engineering Lecure 1 If you wan o model neworks Or a comple daa flow A queue's he key o help

More information

A new method for 3-dimensional roadway design using visualization techniques

A new method for 3-dimensional roadway design using visualization techniques Urban Transor XIII: Urban Transor and he Environmen in he 2s Cenury 23 A new mehod for 3-dimensional roadway design using visualizaion echniques G. Karri & M. K. Jha Dearmen of Civil Engineering, Morgan

More information

STEREO PLANE MATCHING TECHNIQUE

STEREO PLANE MATCHING TECHNIQUE STEREO PLANE MATCHING TECHNIQUE Commission III KEY WORDS: Sereo Maching, Surface Modeling, Projecive Transformaion, Homography ABSTRACT: This paper presens a new ype of sereo maching algorihm called Sereo

More information

COMP26120: Algorithms and Imperative Programming

COMP26120: Algorithms and Imperative Programming COMP26120 ecure C3 1/48 COMP26120: Algorihms and Imperaive Programming ecure C3: C - Recursive Daa Srucures Pee Jinks School of Compuer Science, Universiy of Mancheser Auumn 2011 COMP26120 ecure C3 2/48

More information

NEWTON S SECOND LAW OF MOTION

NEWTON S SECOND LAW OF MOTION Course and Secion Dae Names NEWTON S SECOND LAW OF MOTION The acceleraion of an objec is defined as he rae of change of elociy. If he elociy changes by an amoun in a ime, hen he aerage acceleraion during

More information

Maximum Flows: Polynomial Algorithms

Maximum Flows: Polynomial Algorithms Maximum Flow: Polynomial Algorihm Algorihm Augmening pah Algorihm - Labeling Algorihm - Capaciy Scaling Algorihm - Shore Augmening Pah Algorihm Preflow-Puh Algorihm - FIFO Preflow-Puh Algorihm - Highe

More information

Quantitative macro models feature an infinite number of periods A more realistic (?) view of time

Quantitative macro models feature an infinite number of periods A more realistic (?) view of time INFINIE-HORIZON CONSUMPION-SAVINGS MODEL SEPEMBER, Inroducion BASICS Quaniaive macro models feaure an infinie number of periods A more realisic (?) view of ime Infinie number of periods A meaphor for many

More information

Overview. From Point Visibility. From Point Visibility. From Region Visibility. Ray Space Factorization. Daniel Cohen-Or Tel-Aviv University

Overview. From Point Visibility. From Point Visibility. From Region Visibility. Ray Space Factorization. Daniel Cohen-Or Tel-Aviv University From-Region Viibiliy and Ray Space Facorizaion Overview Daniel Cohen-Or Tel-Aviv Univeriy Shor inroducion o he problem Dual Space & Parameer/Ray Space Ray pace facorizaion (SIGGRAPH 0) From Poin Viibiliy

More information

Interactive Graphical Systems HT2005

Interactive Graphical Systems HT2005 Ineracive Graphical Ssems HT25 Lesson 2 : Graphics Primer Sefan Seipel Sefan Seipel, Deparmen of Informaion Technolog, Uppsala Universi Ke issues of his lecure Represenaions of 3D models Repeiion of basic

More information

Introduction to Computer Graphics 10. Curves and Surfaces

Introduction to Computer Graphics 10. Curves and Surfaces Inroduion o Comuer Grahis. Curves and Surfaes I-Chen Lin, Assisan Professor Naional Chiao Tung Univ, Taiwan Tebook: E.Angel, Ineraive Comuer Grahis, 5 h Ed., Addison Wesley Ref: Hearn and aker, Comuer

More information

Non-uniform Subdivision for B-splines of Arbitrary Degree

Non-uniform Subdivision for B-splines of Arbitrary Degree Non-niform Sbdivision for B-slines of Arbirary Degree S. Schaefer, R. Goldman We resen an efficien algorihm for sbdividing non-niform B-slines of arbirary degree in a manner similar o he Lane-Riesenfeld

More information

3.2 Use Parallel Lines and

3.2 Use Parallel Lines and 3. Use Parallel Lines and Transversals Goal Use angles formed by arallel lines and ransversals. Your Noes POSTULATE CORRESPONDING ANGLES POSTULATE If wo arallel lines are cu by a ransversal, hen he airs

More information

Point Cloud Representation of 3D Shape for Laser- Plasma Scanning 3D Display

Point Cloud Representation of 3D Shape for Laser- Plasma Scanning 3D Display Poin Cloud Represenaion of 3D Shape for Laser- Plasma Scanning 3D Displa Hiroo Ishikawa and Hideo Saio Keio Universi E-mail {hiroo, saio}@ozawa.ics.keio.ac.jp Absrac- In his paper, a mehod of represening

More information

Outline. EECS Components and Design Techniques for Digital Systems. Lec 06 Using FSMs Review: Typical Controller: state

Outline. EECS Components and Design Techniques for Digital Systems. Lec 06 Using FSMs Review: Typical Controller: state Ouline EECS 5 - Componens and Design Techniques for Digial Sysems Lec 6 Using FSMs 9-3-7 Review FSMs Mapping o FPGAs Typical uses of FSMs Synchronous Seq. Circuis safe composiion Timing FSMs in verilog

More information

Coded Caching with Multiple File Requests

Coded Caching with Multiple File Requests Coded Caching wih Muliple File Requess Yi-Peng Wei Sennur Ulukus Deparmen of Elecrical and Compuer Engineering Universiy of Maryland College Park, MD 20742 ypwei@umd.edu ulukus@umd.edu Absrac We sudy a

More information

Implementing Ray Casting in Tetrahedral Meshes with Programmable Graphics Hardware (Technical Report)

Implementing Ray Casting in Tetrahedral Meshes with Programmable Graphics Hardware (Technical Report) Implemening Ray Casing in Terahedral Meshes wih Programmable Graphics Hardware (Technical Repor) Marin Kraus, Thomas Erl March 28, 2002 1 Inroducion Alhough cell-projecion, e.g., [3, 2], and resampling,

More information

Computer Graphics. Bing-Yu Chen National Taiwan University The University of Tokyo

Computer Graphics. Bing-Yu Chen National Taiwan University The University of Tokyo Computer Graphic Bing-Yu Chen National Taiwan Univerit The Univerit of Toko Geometrical Tranformation Mathematical reliminarie 2D Tranformation Homogeneou Coorinate & Matri Repreentation 3D Tranformation

More information

4 Error Control. 4.1 Issues with Reliable Protocols

4 Error Control. 4.1 Issues with Reliable Protocols 4 Error Conrol Jus abou all communicaion sysems aemp o ensure ha he daa ges o he oher end of he link wihou errors. Since i s impossible o build an error-free physical layer (alhough some shor links can

More information

Optics and Light. Presentation

Optics and Light. Presentation Opics and Ligh Presenaion Opics and Ligh Wha comes o mind when you hear he words opics and ligh? Wha is an opical illusion? Opical illusions can use color, ligh and paerns o creae images ha can be

More information

Outline. CS38 Introduction to Algorithms 5/8/2014. Network flow. Lecture 12 May 8, 2014

Outline. CS38 Introduction to Algorithms 5/8/2014. Network flow. Lecture 12 May 8, 2014 /8/0 Ouline CS8 Inroducion o Algorihm Lecure May 8, 0 Nework flow finihing capaciy-caling analyi Edmond-Karp, blocking-flow implemenaion uni-capaciy imple graph biparie maching edge-dijoin pah aignmen

More information

Streamline Pathline Eulerian Lagrangian

Streamline Pathline Eulerian Lagrangian Sreamline Pahline Eulerian Lagrangian Sagnaion Poin Flow V V V = + = + = + o V xi y j a V V xi y j o Pahline and Sreakline Insananeous Sreamlines Pahlines Sreaklines Maerial Derivaive Acceleraion

More information

Using CANopen Slave Driver

Using CANopen Slave Driver CAN Bus User Manual Using CANopen Slave Driver V1. Table of Conens 1. SDO Communicaion... 1 2. PDO Communicaion... 1 3. TPDO Reading and RPDO Wriing... 2 4. RPDO Reading... 3 5. CANopen Communicaion Parameer

More information

Wiley Plus. Assignment 1 is online:

Wiley Plus. Assignment 1 is online: Wile Plus Assignmen 1 is online: 6 problems from chapers and 3 1D and D Kinemaics Due Monda Ocober 5 Before 11 pm! Chaper II: Kinemaics In One Dimension Displacemen Speed and Veloci Acceleraion Equaions

More information

Rou$ng. Rou$ng: Mapping Link to Path. Data and Control Planes. Rou$ng vs. Forwarding. Rou$ng Protocols. What Does the Protocol Compute?

Rou$ng. Rou$ng: Mapping Link to Path. Data and Control Planes. Rou$ng vs. Forwarding. Rou$ng Protocols. What Does the Protocol Compute? Ro$ng: Mapping Link o Pah Ro$ng Jennifer Reford COS : Comper Nework Lecre: MW 0-0:0am in Archiecre N0 hgp://www.c.princeon.ed/core/archie/pr/co/ link eion pah name addre Daa and Conrol Plane daa plane

More information

Announcements For The Logic of Boolean Connectives Truth Tables, Tautologies & Logical Truths. Outline. Introduction Truth Functions

Announcements For The Logic of Boolean Connectives Truth Tables, Tautologies & Logical Truths. Outline. Introduction Truth Functions Announcemens For 02.05.09 The Logic o Boolean Connecives Truh Tables, Tauologies & Logical Truhs 1 HW3 is due nex Tuesday William Sarr 02.05.09 William Sarr The Logic o Boolean Connecives (Phil 201.02)

More information

In Proceedings of CVPR '96. Structure and Motion of Curved 3D Objects from. using these methods [12].

In Proceedings of CVPR '96. Structure and Motion of Curved 3D Objects from. using these methods [12]. In Proceedings of CVPR '96 Srucure and Moion of Curved 3D Objecs from Monocular Silhouees B Vijayakumar David J Kriegman Dep of Elecrical Engineering Yale Universiy New Haven, CT 652-8267 Jean Ponce Compuer

More information

Tracking Persons and Vehicles in Outdoor Image Sequences Using Temporal Spatio-Velocity Transform *

Tracking Persons and Vehicles in Outdoor Image Sequences Using Temporal Spatio-Velocity Transform * Tracking Persons and Vehicles in Oudoor Image Sequences Using Temoral Saio-Veloci Transform * Koichi Sao and J. K. Aggarwal Dearmen of Elecrical and Comuer Engineering The Universi of Teas a Ausin Ausin,

More information

Section 2. Mirrors and Prism Systems

Section 2. Mirrors and Prism Systems Secion 2 Mirrors and Prism Sysems 2-1 Plane Mirrors Plane mirrors are used o: Produce a deviaion Fold he opical pah Change he image pariy Each ray from he objec poin obeys he law of reflecion a he mirror

More information

Effects needed for Realism. Ray Tracing. Ray Tracing: History. Outline. Foundations of Computer Graphics (Fall 2012)

Effects needed for Realism. Ray Tracing. Ray Tracing: History. Outline. Foundations of Computer Graphics (Fall 2012) Foundaions of ompuer Graphics (Fall 2012) S 184, Lecure 16: Ray Tracing hp://ins.eecs.berkeley.edu/~cs184 Effecs needed for Realism (Sof) Shadows Reflecions (Mirrors and Glossy) Transparency (Waer, Glass)

More information

FLOW VISUALIZATION USING MOVING TEXTURES * Nelson Max Lawrence Livermore National Laboratory Livermore, California

FLOW VISUALIZATION USING MOVING TEXTURES * Nelson Max Lawrence Livermore National Laboratory Livermore, California FLOW VISUALIZATION USING MOVING TEXTURES * Nelson Max Lawrence Livermore Naional Laboraor Livermore, California Barr Becker Lawrence Livermore Naional Laboraor Livermore, California SUMMARY We presen a

More information

Mobile Robots Mapping

Mobile Robots Mapping Mobile Robos Mapping 1 Roboics is Easy conrol behavior percepion modelling domain model environmen model informaion exracion raw daa planning ask cogniion reasoning pah planning navigaion pah execuion

More information

MARSS Reference Sheet

MARSS Reference Sheet MARSS Reference Shee The defaul MARSS model (form="marxss") is wrien as follows: x = B x 1 + u + C c + w where w MVN( Q ) y = Z x + a + D d + v where v MVN( R ) x 1 MVN(π Λ) or x MVN(π Λ) c and d are inpus

More information

Scattering at an Interface: Normal Incidence

Scattering at an Interface: Normal Incidence Course Insrucor Dr. Raymond C. Rumpf Office: A 337 Phone: (915) 747 6958 Mail: rcrumpf@uep.edu 4347 Applied lecromagneics Topic 3f Scaering a an Inerface: Normal Incidence Scaering These Normal noes Incidence

More information

Determining the 2d transformation that brings one image into alignment (registers it) with another. And

Determining the 2d transformation that brings one image into alignment (registers it) with another. And Last two lectures: Representing an image as a weighted combination of other images. Toda: A different kind of coordinate sstem change. Solving the biggest problem in using eigenfaces? Toda Recognition

More information

Jorge Salvador Marques, Stereo Reconstruction

Jorge Salvador Marques, Stereo Reconstruction Jorge Slvdor Mrques, Sereo Reconsrucion roblem Gol: reconsruc he D she of objecs in he scene from or more imges. Jorge Slvdor Mrques, Jorge Slvdor Mrques, secil cse f f f f b model reconsrucion, b - fb,

More information

ME 406 Assignment #1 Solutions

ME 406 Assignment #1 Solutions Assignmen#1Sol.nb 1 ME 406 Assignmen #1 Soluions PROBLEM 1 We define he funcion for Mahemaica. In[1]:= f@_d := Ep@D - 4 Sin@D (a) We use Plo o consruc he plo. In[2]:= Plo@f@D, 8, -5, 5

More information

On Romeo and Juliet Problems: Minimizing Distance-to-Sight

On Romeo and Juliet Problems: Minimizing Distance-to-Sight On Romeo and Julie Problem: Minimizing Diance-o-Sigh Hee-Kap Ahn 1, Eunjin Oh 2, Lena Schlipf 3, Fabian Sehn 4, and Darren Srah 5 1 Deparmen of Compuer Science and Engineering, POSTECH, Souh Korea heekap@poech.ac.kr

More information

MATH Differential Equations September 15, 2008 Project 1, Fall 2008 Due: September 24, 2008

MATH Differential Equations September 15, 2008 Project 1, Fall 2008 Due: September 24, 2008 MATH 5 - Differenial Equaions Sepember 15, 8 Projec 1, Fall 8 Due: Sepember 4, 8 Lab 1.3 - Logisics Populaion Models wih Harvesing For his projec we consider lab 1.3 of Differenial Equaions pages 146 o

More information

CS 152 Computer Architecture and Engineering. Lecture 7 - Memory Hierarchy-II

CS 152 Computer Architecture and Engineering. Lecture 7 - Memory Hierarchy-II CS 152 Compuer Archiecure and Engineering Lecure 7 - Memory Hierarchy-II Krse Asanovic Elecrical Engineering and Compuer Sciences Universiy of California a Berkeley hp://www.eecs.berkeley.edu/~krse hp://ins.eecs.berkeley.edu/~cs152

More information

(x, y) (ρ, θ) ρ θ. Polar Coordinates. Cartesian Coordinates

(x, y) (ρ, θ) ρ θ. Polar Coordinates. Cartesian Coordinates Coordinate Sstems Point Representation in two dimensions Cartesian Coordinates: (; ) Polar Coordinates: (; ) (, ) ρ θ (ρ, θ) Cartesian Coordinates Polar Coordinates p = CPS1, 9: Computer Graphics D Geometric

More information

Computer Graphics. Transformation

Computer Graphics. Transformation (SBE 36) Dr. Aman Eldeib Spring 2 SBE 36 i a fundamental corner tone of computer graphic and i a central to OpenGL a well a mot other graphic tem.(2d and 3D ) Given an object, tranformation i to change

More information

Traditional Rendering (Ray Tracing and Radiosity)

Traditional Rendering (Ray Tracing and Radiosity) Tradiional Rendering (Ray Tracing and Radiosiy) CS 517 Fall 2002 Compuer Science Cornell Universiy Bidirecional Reflecance (BRDF) λ direcional diffuse specular θ uniform diffuse τ σ BRDF Bidirecional Reflecance

More information

PSO AND GA BASED NEIGHBOR EMEDDING SUPER RESOLUTION

PSO AND GA BASED NEIGHBOR EMEDDING SUPER RESOLUTION THE PUBLISHING HOUSE PROCEEDINGS OF THE ROMANIAN ACADEMY, Serie A, OF THE ROMANIAN ACADEMY Volume 16, Number 1/2015,. 95 102 PSO AND GA BASED NEIGHBOR EMEDDING SUPER RESOLUTION Saeid FAZLI 1, Maryam TAHMASEBI

More information

COSC 3213: Computer Networks I Chapter 6 Handout # 7

COSC 3213: Computer Networks I Chapter 6 Handout # 7 COSC 3213: Compuer Neworks I Chaper 6 Handou # 7 Insrucor: Dr. Marvin Mandelbaum Deparmen of Compuer Science York Universiy F05 Secion A Medium Access Conrol (MAC) Topics: 1. Muliple Access Communicaions:

More information

MOTION DETECTORS GRAPH MATCHING LAB PRE-LAB QUESTIONS

MOTION DETECTORS GRAPH MATCHING LAB PRE-LAB QUESTIONS NME: TE: LOK: MOTION ETETORS GRPH MTHING L PRE-L QUESTIONS 1. Read he insrucions, and answer he following quesions. Make sure you resae he quesion so I don hae o read he quesion o undersand he answer..

More information

STRING DESCRIPTIONS OF DATA FOR DISPLAY*

STRING DESCRIPTIONS OF DATA FOR DISPLAY* SLAC-PUB-383 January 1968 STRING DESCRIPTIONS OF DATA FOR DISPLAY* J. E. George and W. F. Miller Compuer Science Deparmen and Sanford Linear Acceleraor Cener Sanford Universiy Sanford, California Absrac

More information

Virtual Recovery of Excavated Archaeological Finds

Virtual Recovery of Excavated Archaeological Finds Virual Recovery of Excavaed Archaeological Finds Jiang Yu ZHENG, Zhong Li ZHANG*, Norihiro ABE Kyushu Insiue of Technology, Iizuka, Fukuoka 820, Japan *Museum of he Terra-Coa Warrlors and Horses, Lin Tong,

More information

CAMERA CALIBRATION BY REGISTRATION STEREO RECONSTRUCTION TO 3D MODEL

CAMERA CALIBRATION BY REGISTRATION STEREO RECONSTRUCTION TO 3D MODEL CAMERA CALIBRATION BY REGISTRATION STEREO RECONSTRUCTION TO 3D MODEL Klečka Jan Docoral Degree Programme (1), FEEC BUT E-mail: xkleck01@sud.feec.vubr.cz Supervised by: Horák Karel E-mail: horak@feec.vubr.cz

More information

Assignment 2. Due Monday Feb. 12, 10:00pm.

Assignment 2. Due Monday Feb. 12, 10:00pm. Faculy of rs and Science Universiy of Torono CSC 358 - Inroducion o Compuer Neworks, Winer 218, LEC11 ssignmen 2 Due Monday Feb. 12, 1:pm. 1 Quesion 1 (2 Poins): Go-ack n RQ In his quesion, we review how

More information

Motor Control. 5. Control. Motor Control. Motor Control

Motor Control. 5. Control. Motor Control. Motor Control 5. Conrol In his chaper we will do: Feedback Conrol On/Off Conroller PID Conroller Moor Conrol Why use conrol a all? Correc or wrong? Supplying a cerain volage / pulsewidh will make he moor spin a a cerain

More information

Image Content Representation

Image Content Representation Image Conen Represenaion Represenaion for curves and shapes regions relaionships beween regions E.G.M. Perakis Image Represenaion & Recogniion 1 Reliable Represenaion Uniqueness: mus uniquely specify an

More information

Engineering Mathematics 2018

Engineering Mathematics 2018 Engineering Mahemaics 08 SUBJET NAME : Mahemaics II SUBJET ODE : MA65 MATERIAL NAME : Par A quesions REGULATION : R03 UPDATED ON : November 06 TEXTBOOK FOR REFERENE To buy he book visi : Sri Hariganesh

More information

Motion Level-of-Detail: A Simplification Method on Crowd Scene

Motion Level-of-Detail: A Simplification Method on Crowd Scene Moion Level-of-Deail: A Simplificaion Mehod on Crowd Scene Absrac Junghyun Ahn VR lab, EECS, KAIST ChocChoggi@vr.kais.ac.kr hp://vr.kais.ac.kr/~zhaoyue Recen echnological improvemen in characer animaion

More information

Motion along a Line. Describing Motion along a Line

Motion along a Line. Describing Motion along a Line Moion along a Line Describing Moion: Displacemen Velociy Acceleraion Uniformly Acceleraed Moion Free Fall Describing Moion along a Line Wha is he posiion, elociy, and acceleraion of he blue do a each insan

More information

Video Content Description Using Fuzzy Spatio-Temporal Relations

Video Content Description Using Fuzzy Spatio-Temporal Relations Proceedings of he 4s Hawaii Inernaional Conference on Sysem Sciences - 008 Video Conen Descripion Using Fuzzy Spaio-Temporal Relaions rchana M. Rajurkar *, R.C. Joshi and Sananu Chaudhary 3 Dep of Compuer

More information

Structural counter abstraction

Structural counter abstraction Srucural couner abracion Proving fair-erminaion of deph bounded yem Khiij Banal 1 wih Eric Kokinen 1, Thoma Wie 1, Damien Zufferey 2 1 New York Univeriy 2 IST Auria March 18, 2013 TACAS, Rome, Ialy Inroducion

More information

Data Structures and Algorithms

Data Structures and Algorithms Daa Srucures and Algorihms The maerial for his lecure is drawn, in ar, from The Pracice of Programming (Kernighan & Pike) Chaer 2 1 Goals of his Lecure Hel you learn (or refresh your memory) abou: Common

More information

6.8 Shortest Paths. Chapter 6. Dynamic Programming. Shortest Paths: Failed Attempts. Shortest Paths

6.8 Shortest Paths. Chapter 6. Dynamic Programming. Shortest Paths: Failed Attempts. Shortest Paths 1 Chaper.8 Shore Pah Dynamic Programming Slide by Kein Wayne. Copyrigh 5 Pearon-Addion Weley. All righ reered. Shore Pah Shore Pah: Failed Aemp Shore pah problem. Gien a direced graph G = (V, E), wih edge

More information

CMPSC 274: Transac0on Processing Lecture #6: Concurrency Control Protocols

CMPSC 274: Transac0on Processing Lecture #6: Concurrency Control Protocols CMPSC 274: Transac0on Processing Lecure #6: Concurrency Conrol Proocols Divy Agrawal Deparmen of Compuer Science UC Sana Barbara 4.4.1 Timesamp Ordering 4.4.2 Serializa0on Graph Tes0ng 4.4.3 Op0mis0c Proocols

More information

Petri Nets for Object-Oriented Modeling

Petri Nets for Object-Oriented Modeling Peri Nes for Objec-Oriened Modeling Sefan Wi Absrac Ensuring he correcness of concurren rograms is difficul since common aroaches for rogram design do no rovide aroriae mehods This aer gives a brief inroducion

More information