Sciweavers

43 search results - page 2 / 9
» Evaluation and Derivation of Process Plans in Turning
Sort
View
ICRA
2008
IEEE
152views Robotics» more  ICRA 2008»
14 years 21 days ago
Stabilization algorithm for a high speed car-like robot achieving steering maneuver
— This paper deals with design and implementation of a stabilization algorithm for a car like robot performing high speed turns. The control of such a kind of system is rather di...
Eric Lucet, Christophe Grand, Damien Sallé,...
WSC
2008
13 years 8 months ago
A multi threaded and resolution approach to simulated futures evaluation
As part of the DARPA Deep Green efforts, SAIC developed a multi-threaded and resolution approach to constructing and evaluating simulated futures to address the SimPath component....
David R. Pratt, Robert W. Franceschini, Robert B. ...
FMICS
2006
Springer
13 years 10 months ago
Evaluating Quality of Service for Service Level Agreements
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
Allan Clark, Stephen Gilmore
JAR
1998
134views more  JAR 1998»
13 years 6 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge
IJRR
2006
115views more  IJRR 2006»
13 years 6 months ago
Knotting/Unknotting Manipulation of Deformable Linear Objects
Here, we propose a planning method for knotting/unknotting of deformable linear objects. First, we propose a topological description of the state of a linear object. Second, trans...
Hidefumi Wakamatsu, Eiji Arai, Shinichi Hirai