Sciweavers

14 search results - page 1 / 3

» sfm 2007

15

SFM
2007
Springer

134views Formal Methods» more SFM 2007»

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

13 years 11 months ago

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

Download www.sti.uniurb.it

C. Murray Woodside

claim paper

Read More »

10

SFM
2007
Springer

68views Formal Methods» more SFM 2007»

Fluid Models in Performance Analysis

13 years 11 months ago

Fluid Models in Performance Analysis

Download www.sti.uniurb.it

Marco Gribaudo, Miklós Telek

claim paper

Read More »

9

SFM
2007
Springer

68views Formal Methods» more SFM 2007»

Stochastic Model Checking

13 years 11 months ago

Stochastic Model Checking

Download www.cs.uni-paderborn.de

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

8

SFM
2007
Springer

97views Formal Methods» more SFM 2007»

Stochastic Process Algebras

13 years 11 months ago

Stochastic Process Algebras

Download www.dcs.ed.ac.uk

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

claim paper

Read More »

10

MVA
2002

119views Computer Vision» more MVA 2002»

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

13 years 4 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 »