5353 search results - page 723 / 1071 » Modelling Contexts in the Or-BAC Model |
135
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
206
click to vote
ADAPTIVE
2007
Springer
16 years 1 months ago
2007
Springer
This chapter describes how the adaptive web technologies discussed in this book have been applied to news access. First, we provide an overview of different types of adaptivity in ...
198
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
217
click to vote
CCIA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Robust object recognition is one of the most challenging topics in computer vision. In the last years promising results have been obtained using local regions and descrip...
169
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
We show that there is a direct relation between the maximum length of the keys extracted from biometric data and the error rates of the biometric system. The length of the bio-key...