2909 search results - page 74 / 582 » Consistency of the theory of contexts |
179
click to vote
FUZZIEEE
2007
IEEE
16 years 16 days ago
2007
IEEE
— Data mining is most commonly used in attempts to induce association rules from transaction data. Most previous studies focused on binary-valued transaction data. Transaction da...
168
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
142
click to vote
LICS
1992
IEEE
15 years 10 months ago
1992
IEEE
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...
194
click to vote
ENC
2004
IEEE
15 years 10 months ago
2004
IEEE
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
143
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...