311 search results - page 22 / 63 » Object Invariants in Dynamic Contexts |
LISP
2008
13 years 8 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
ECSCW
1997
13 years 9 months ago
1997
: Cooperative processes are strongly influenced by their context. Individual and group experience, work practices, and the organisational setting are variable factors that help sha...
VR
2008
IEEE
14 years 2 months ago
2008
IEEE
Access control is an important aspect of shared virtual environments. Resource access may not only depend on prior authorization, but also on context of usage such as distance or ...
ISMAR
2006
IEEE
14 years 2 months ago
2006
IEEE
One of the key requirements of augmented reality systems is a robust real-time camera pose estimation. In this paper we present a robust approach, which does neither depend on ofï...
CVPR
2003
IEEE
14 years 10 months ago
2003
IEEE
It is now common practice in machine vision to define the variability in an object's appearance in a factored manner, as a combination of shape and texture transformations. I...