Sciweavers

14 search results - page 1 / 3

» sfm 2007

26

SFM
2007
Springer

134views Formal Methods» more SFM 2007»

From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms

14 years 1 months ago

From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms

Download www.sti.uniurb.it

C. Murray Woodside

claim paper

Read More »

20

SFM
2007
Springer

68views Formal Methods» more SFM 2007»

Fluid Models in Performance Analysis

14 years 1 months ago

Fluid Models in Performance Analysis

Download www.sti.uniurb.it

Marco Gribaudo, Miklós Telek

claim paper

Read More »

15

SFM
2007
Springer

68views Formal Methods» more SFM 2007»

Stochastic Model Checking

14 years 1 months ago

Stochastic Model Checking

Download www.cs.uni-paderborn.de

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

22

SFM
2007
Springer

97views Formal Methods» more SFM 2007»

Stochastic Process Algebras

14 years 1 months ago

Stochastic Process Algebras

Download www.dcs.ed.ac.uk

Allan Clark, Stephen Gilmore, Jane Hillston, Mirco...

claim paper

Read More »

20

MVA
2002

119views Computer Vision» more MVA 2002»

A Cooperative Method of SFM and Stereo for Motion and Depth Extraction

13 years 7 months ago

A Cooperative Method of SFM and Stereo for Motion and Depth Extraction

Download cheonji.kaist.ac.kr

Stereo is a useful technique for obtaining depth information from images. However, it is required that the baseline length between two cameras should be large to increase depth pr...

Jae-Hean Kim, Myung Jin Chung

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »