1788 search results - page 233 / 358 » Model Theory for Process Algebra |
142
click to vote
CCS
2007
ACM
15 years 10 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 ...
275
click to vote
Book
"The Discrete Fourier Transform (DFT) can be understood as a numerical approximation to the Fourier transform. However, the DFT has its own exact Fourier theory, which is the ...
135
click to vote
GW
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...
124
click to vote
AH
2004
Springer
15 years 9 months ago
2004
Springer
This article introduces an approach to adaptive wayfinding support for lifelong learners based on self-organisation theory. It describes an architecture which supports the recordin...
EUSFLAT
2007
15 years 5 months ago
2007
Some manipulations with vague quantities consist in an aggregation of vague amounts where the resulting aggregated quantity (in our case a sum of vague summands) is expected to be...