Sciweavers

187 search results - page 38 / 38
» Usability evaluation considered harmful (some of the time)
Sort
View
FMSD
2010
118views more  FMSD 2010»
13 years 3 months ago
On simulation-based probabilistic model checking of mixed-analog circuits
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
Edmund M. Clarke, Alexandre Donzé, Axel Leg...
ICRA
2010
IEEE
143views Robotics» more  ICRA 2010»
13 years 3 months ago
On the influence of ship motion prediction accuracy on motion planning and control of robotic manipulators on seaborne platforms
Robotic manipulators on non-inertial platforms, such as ships, have to endure large inertial forces due to the non-inertial motion of the platform. When the non-inertial platform&#...
Pål Johan From, Jan Tommy Gravdahl, Pieter A...