7326 search results - page 33 / 1466 » Methods for modalities 3 |
137
Voted
POPL
2010
ACM
16 years 18 hour ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
125
Voted
MMMACNS
2005
Springer
15 years 8 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
105
Voted
IC3K
2009
15 years 12 days ago
2009
115
Voted
MLQ
2002
15 years 2 months ago
2002
A modal logic is called invariant if for all automorphisms of NExt K, () = . An invariant logic is therefore uniquely determined by its surrounding in the lattice. It will be est...
130
Voted
VR
2002
IEEE
15 years 7 months ago
2002
IEEE
We have developed a method for recognizing and tracking known three-dimensional objects in scene images captured from a user’s viewpoint. The method uses multiple color histogra...