687 search results - page 57 / 138 » Integrated Shape and Pose Modelling |
CAV
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
CERA
2002
13 years 8 months ago
2002
: A shape design sensitivity analysis and optimization procedure is proposed using a meshfree method. A CAD tool connection is established to facilitate the seamless integration of...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
— Model based object tracking has earned significant importance in areas such as augmented reality, surveillance, visual servoing, robotic object manipulation and grasping. Alth...
ICVS
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we propose a method that generates grasping actions for novel objects based on visual input from a stereo camera. We are integrating two methods that are advantageou...
ISCAS
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper presents an analogue integrated circuit implementation of a cortical neuron model. The VLSI chip prototype has been implemented in a 0.35 µm CMOS technology. The si...