5435 search results - page 4 / 1087 » Informed Detection Revisited |
ESORICS
2004
Springer
13 years 11 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...
SIGIR
2003
ACM
14 years 18 days ago
2003
ACM
TCS
2008
13 years 7 months ago
2008
In this paper a new notion of continuous information system is introduced. It is shown that the information systems of this kind generate exactly the continuous domains. The new i...
ALIFE
2004
13 years 7 months ago
2004
The contribution of the theory of autopoiesis to the definition of life and biological theory affirms biological autonomy as a central notion of scientific and philosophical inquir...
SIGIR
2009
ACM
14 years 1 months ago
2009
ACM
Retrieval with Logical Imaging is derived from belief revision and provides a novel mechanism for estimating the relevance of a document through logical implication (i.e. P(q → ...