1159 search results - page 201 / 232 » Decision rules and decision markets |
HICSS
2000
IEEE
15 years 2 months ago
2000
IEEE
People are able to determine whether or not a given document is interesting just by glancing through it. However, when asked to make explicit the rules upon which such a decision ...
67
Voted
CL
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
DBPL
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
101
Voted
HIPC
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. Recent times have seen an explosive growth in the availability of various kinds of data. It has resulted in an unprecedented opportunity to develop automated data-driven ...
SP
1997
IEEE
15 years 1 months ago
1997
IEEE
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...