4201 search results - page 703 / 841 » Our Users have Root! |
164
click to vote
CN
2007
15 years 6 months ago
2007
The need for content access control in hierarchies (CACH) appears naturally in all contexts where a set of users have different access rights to a set of resources. The hierarchy...
180
click to vote
IJCV
2006
15 years 6 months ago
2006
In this paper, we introduce the notion of a programmable imaging system. Such an imaging system provides a human user or a vision system significant control over the radiometric an...
161
click to vote
JIIS
2008
15 years 6 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
154
click to vote
JMM2
2008
15 years 6 months ago
2008
Augmented Reality (AR) is expected to be applied to manuals for assembling or inspecting tasks instead of traditional paper-based ones. Our previous study revealed that when an AR ...
190
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...