780 search results - page 38 / 156 » Reasoning about sets using redescription mining |
134
click to vote
SIGMOD
1999
ACM
15 years 8 months ago
1999
ACM
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
179
click to vote
KAIS
2000
15 years 3 months ago
2000
Abstract. In this paper we present an index structure, called MetricMap, that takes a set of objects and a distance metric and then maps those objects to a k-dimensional space in s...
173
click to vote
TACAS
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
150
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Semantic Business Process Management (SBPM) has been proposed as an extension of BPM with Semantic Web and Semantic Web Services (SWS) technologies in order to increase and enhance...
102
click to vote
FINTAL
2006
15 years 7 months ago
2006
We present Ord i Dag, a new service that displays today's most important keywords. These are extracted fully automatically from Norwegian online newspapers. Describing the com...