5451 search results - page 756 / 1091 » Typed Operational Semantics |
163
click to vote
EDBT
2006
ACM
15 years 8 months ago
2006
ACM
Random sampling is a well-known technique for approximate processing of large datasets. We introduce a set of algorithms for incremental maintenance of large random samples on seco...
174
click to vote
BIOID
2008
15 years 8 months ago
2008
Abstract. In this contribution, the vulnerabilities of iris-based recognition systems to direct attacks are studied. A database of fake iris images has been created from real iris ...
183
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...
182
click to vote
INFOSCALE
2007
ACM
15 years 8 months ago
2007
ACM
A flexible mandatory access control policy (MAC) for XML databases is presented in this paper. The label type and label access policy can be defined according to the requirements ...
154
click to vote
LREC
2008
15 years 7 months ago
2008
The DAM-LR project aims at virtually integrating various European language resource archives that allow users to navigate and operate in a single unified domain of language resour...