Sciweavers

9 search results - page 1 / 2

» sfm 2005

9

SFM
2005
Springer

88views Formal Methods» more SFM 2005»

Mobile Distributed Programming in X-Klaim

13 years 10 months ago

Mobile Distributed Programming in X-Klaim

Download www.sti.uniurb.it

Lorenzo Bettini, Rocco De Nicola

claim paper

Read More »

7

SFM
2005
Springer

78views Formal Methods» more SFM 2005»

Network Swapping

13 years 10 months ago

Network Swapping

Download www.sti.uniurb.it

Emanuele Lattanzi, Andrea Acquaviva, Alessandro Bo...

claim paper

Read More »

8

SFM
2005
Springer

71views Formal Methods» more SFM 2005»

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management

13 years 10 months ago

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management

Download www.sti.uniurb.it

Andrea Acquaviva, Alessandro Aldini, Marco Bernard...

claim paper

Read More »

10

SFM
2005
Springer

97views Formal Methods» more SFM 2005»

Dealing with Node Mobility in Ad Hoc Wireless Network

13 years 10 months ago

Dealing with Node Mobility in Ad Hoc Wireless Network

Download www.iis.sinica.edu.tw

Mario Gerla, Ling-Jyh Chen, Yeng-Zhong Lee, Biao Z...

claim paper

Read More »

16

ICRA
2005
IEEE

169views Robotics» more ICRA 2005»

Absolute Stereo SFM without Stereo Correspondence for Vision Based SLAM

13 years 10 months ago

Absolute Stereo SFM without Stereo Correspondence for Vision Based SLAM

Download cheonji.kaist.ac.kr

— This paper presents a vision based SLAM method by using stereo SFM technique. The proposed method is based on the stereo SFM presented in our former paper. The method do not ne...

Jae-Hean Kim, Myung Jin Chung

claim paper

Read More »

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