489 search results - page 13 / 98 » Guiding Spin Simulation |
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
WSCG
2001
13 years 9 months ago
2001
This paper demonstrates that techniques in flexible body dynamics can yield surprising results when applied to rigid bodies. The discussion presents a technique for constructing r...
SGAI
2005
Springer
14 years 1 months ago
2005
Springer
Objects of interest are represented in the brain simultaneously in different frames of reference. Knowing the positions of one’s head and eyes, for example, one can compute the...
CVPR
2011
IEEE
13 years 2 months ago
2011
IEEE
In this paper, we propose a novel method to reduce the magnitude of 4D CT artifacts by stitching two images with a data-driven regularization constrain, which helps preserve the l...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper addresses the use of robotic tissue manipulation in medical needle insertion procedures to improve targeting accuracy and to help avoid damaging sensitive tissues. T...