Sciweavers

2137 search results - page 231 / 428
» Experiments in Predicting Biodegradability
Sort
View
DDECS
2009
IEEE
128views Hardware» more  DDECS 2009»
14 years 5 months ago
A fast untestability proof for SAT-based ATPG
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
Daniel Tille, Rolf Drechsler
ICRA
2009
IEEE
122views Robotics» more  ICRA 2009»
14 years 5 months ago
Torsional kinematic model for concentric tube robots
— A recent approach to steerable needle design is based on combining pre-curved tubes concentrically. By rotating and extending the tubes with respect to each other, the position...
Pierre E. Dupont, Jesse Lock, Evan Butler
IROS
2009
IEEE
192views Robotics» more  IROS 2009»
14 years 5 months ago
Kinodynamic motion planning for mobile robots using splines
— This paper presents an approach to time-optimal kinodynamic motion planning for a mobile robot. A global path planner is used to generate collision-free straight-line paths fro...
Boris Lau, Christoph Sprunk, Wolfram Burgard
IROS
2009
IEEE
127views Robotics» more  IROS 2009»
14 years 5 months ago
Experimental characterization of radio signal propagation in indoor environments with application to estimation and control
— We study radio signal propagation in indoor environments using low-power devices leveraging the Zigbee and Bluetooth specifications. We present results from experiments where ...
Jonathan Fink, Nathan Michael, Aleksandr Kushleyev...
IROS
2009
IEEE
160views Robotics» more  IROS 2009»
14 years 5 months ago
A minimum jerk predictor for teleoperation with variable time delay
— In this paper we describe a method for bridging internet time delays in a teleoperation scenario. In the scenario, the sizes of the time delays is not only stochastic, but it i...
Claes Christian Smith, Henrik I. Christensen