303 search results - page 21 / 61 » Unifying Theories of Confidentiality |
IJAMC
2008
13 years 10 months ago
2008
: Access management for learning communities requires a unified theory, sustaining the implementation of instructional policies, for `social networks'. The management method w...
JSC
2008
13 years 10 months ago
2008
Abstract. Flat theory with sequence variables and flexible arity symbols has infinitary matching and unification type. Decidability of general unification is shown and a unificatio...
TIP
2008
13 years 9 months ago
2008
This correspondence presents a video tracking framework using control-based observer design. It unifies several kernel-based approaches into a consistent theoretical framework by m...
LICS
2000
IEEE
14 years 2 months ago
2000
IEEE
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...
ICCV
2001
IEEE
14 years 11 months ago
2001
IEEE
A theory of stereo image formation is presented that enables a complete classification of all possible stereo views, including non-perspective varieties. Towards this end, the not...