3082 search results - page 394 / 617 » its 2004 |
173
click to vote
CSL
2004
Springer
16 years 6 days ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
190
Voted
DALT
2004
Springer
16 years 6 days ago
2004
Springer
In 1992, Moss and Parikh studied a bimodal logic of knowledge and effort called Topologic. In this current paper, Topologic is extended to the case of many agents who are assumed...
149
click to vote
DAWAK
2004
Springer
16 years 6 days ago
2004
Springer
All methods of association rule mining require the frequent sets of items, that occur together sufficiently often to be the basis of potentially interesting rules, to be first com...
212
Voted
DAWAK
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper, we propose a novel mining task: mining frequent superset from the database of itemsets that is useful in bioinformatics, e-learning systems, jobshop schedu...
164
click to vote
DEON
2004
Springer
16 years 6 days ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...