Search Sciweavers | Sciweavers

1087 search results - page 2 / 218

» Achieving Distributed Control through Model Checking

click to vote

ICRA
2002
IEEE

126views Robotics» more ICRA 2002»

Achieving High Precision Laparoscopic Manipulation through Adaptive Force Control

13 years 10 months ago

Download www.irisa.fr

Abstract—In this paper, we present a new solution to laparoscopic manipulation based on forcefeedback control. This method allows us to both explicitely control the forces applie...

Alexandre Krupa, Guillaume Morel, Michel de Mathel...

claim paper

Read More »

click to vote

HASE
2008
IEEE

146views Control Systems» more HASE 2008»

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions

13 years 6 months ago

Download www.eecs.berkeley.edu

Sumit Kumar Jha, Susmit Jha

posted by susmitjha

Read More »

click to vote

I3E
2010

129views Business» more I3E 2010»

Achieving Meaning Understanding in E-Marketplace through Document Sense Disambiguation

13 years 3 months ago

Download www.sftw.umac.mo

E-marketplace has a very important requirement of achieving mutual meaning understanding between sellers and buyers. To meet this requirement, this paper has proposed a novel SD-DS...

Jingzhi Guo, Guangyi Xiao

claim paper

Read More »

click to vote

IFM
2010
Springer

190views Formal Methods» more IFM 2010»

On Model Checking Techniques for Randomized Distributed Systems

13 years 3 months ago

Download hal.archives-ouvertes.fr

Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...

Christel Baier

claim paper

Read More »

click to vote

FORTE
2007

127views Formal Methods» more FORTE 2007»

Testing Distributed Systems Through Symbolic Model Checking

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers