11588 search results - page 136 / 2318 » Will They Like This |
DBPL
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present a simple Data Mining Logic (DML) that can express common data mining tasks, like “Find Boolean association rules” or “Find inclusion dependencies.” At ...
NSF
2001
Springer
14 years 2 months ago
2001
Springer
As prices of basic enabling equipment like smart cell phones, hand holds, wireless modems, and GPS devices continue to drop rapidly, International Data Corp (IDC) predicts that the...
CSL
2000
Springer
14 years 2 months ago
2000
Springer
In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be r...
CSL
2000
Springer
14 years 2 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
CSFW
1999
IEEE
14 years 2 months ago
1999
IEEE
The term "intransitive noninterference" refers to the information flow properties required of systems like downgraders, in which it may be legitimate for information to ...