537 search results - page 69 / 108 » A Theory of Inferred Causation |
CCS
2007
ACM
15 years 6 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
101
click to vote
SEFM
2006
IEEE
15 years 5 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
SPATIALCOGNITION
1998
Springer
15 years 4 months ago
1998
Springer
This chapter gives an overview of our ongoing experimental research in the MeMoSpace project, concerning the cognitive processes underlying human spatial reasoning. Our theoretical...
108
click to vote
IJON
2007
14 years 11 months ago
2007
Unlike the conventional neural network theories and implementations, Huang et al. [Universal approximation using incremental constructive feedforward networks with random hidden n...
LOGCOM
2000
14 years 11 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...