1060 search results - page 174 / 212 » Mechanized semantics |
ADBIS
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. In this paper we describe a transaction management system designed to face the inherent characteristics of mobile environments. Mobile clients cache subsets of the databa...
ASIACRYPT
2000
Springer
15 years 2 months ago
2000
Springer
This paper introduces three new probabilistic encryption schemes using elliptic curves over rings. The cryptosystems are based on three specific trapdoor mechanisms allowing the r...
ECCV
2010
Springer
15 years 2 months ago
2010
Springer
To learn the preferential visual attention given by humans to specific image content, we present NUSEF- an eye fixation database compiled from a pool of 758 images and 75 subjects....
100
click to vote
CIKM
2000
Springer
15 years 2 months ago
2000
Springer
This paper discusses a new type of semi-supervised document clustering that uses partial supervision to partition a large set of documents. Most clustering methods organizes docum...
SIGMOD
1999
ACM
15 years 2 months ago
1999
ACM
In this paper we present a mechanism for translating constraint queries, i.e., Boolean expressions of constraints, across heterogeneous information sources. Integrating such syste...