Currently most systems capable of performing intelligent camera control use cinematographic idioms or a constraint satisfaction mechanism to determine a sequence of camera configu...
—In this paper we are concerned with allowing the operator of a haptic display to interact with virtual systems having significant inertial dynamics and realistic constraints. We...
Eric L. Faulring, Kevin M. Lynch, J. Edward Colgat...
Recently, a number of methods for 3-D modeling from images have been developed. However, the accuracy of a reconstructed model depends on camera positions and postures with which t...
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...