185 search results - page 26 / 37 » its 1992 |
ZUM
1992
Springer
15 years 1 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
ESORICS
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
113
click to vote
EDBT
1992
ACM
15 years 1 months ago
1992
ACM
The DBGraph storage model, designed for main memory DBMS, ensures both data storage compactness and efficient processing for all database operations. By representing the entire da...
FOCS
1992
IEEE
15 years 1 months ago
1992
IEEE
We consider a variant of the traditional task of explicitly reconstructing algebraic functions from black box representations. In the traditional setting for such problems, one is ...
ICML
1994
IEEE
15 years 1 months ago
1994
IEEE
Compositional Q-Learning (CQ-L) (Singh 1992) is a modular approach to learning to performcomposite tasks made up of several elemental tasks by reinforcement learning. Skills acqui...