857 search results - page 6 / 172 » Interactive Consistency in Quasi-Asynchronous Systems |
MMM
2005
Springer
14 years 2 months ago
2005
Springer
Currently most systems capable of performing intelligent camera control use cinematographic idioms or a constraint satisfaction mechanism to determine a sequence of camera configu...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
—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...
SCIA
2005
Springer
14 years 2 months ago
2005
Springer
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...
CCS
2006
ACM
14 years 10 days ago
2006
ACM
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
FM
1997
Springer
14 years 22 days ago
1997
Springer
: 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...