5863 search results - page 850 / 1173 » On Model-Checking of P Systems |
165
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We present control methods for an autonomous four-rotor helicopter, called a quadrotor, using visual feedback as the primary sensor. The vision system uses a ground camera to esti...
169
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—A methodology for estimating the force distribution that occurs along a needle shaft during insertion is described. To validate the approach, an experimental system for ...
150
click to vote
IEEEMSP
2002
IEEE
15 years 11 months ago
2002
IEEE
It has been shown that an agent located at the junction of wired and wireless links can help streaming media systems identify where packet losses occur and therefore maintain prop...
218
Voted
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present the design and implementation of a Pluggable Fault Tolerant CORBA Infrastructure that provides fault tolerance for CORBA applications by utilizing the plu...
150
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
We report a study to determine the impact of four types of disturbances on the failure intensity of a software product undergoing system test. Hardware failures, discovery of a cr...