89222 search results - page 34 / 17845 » Which |
PST
2004
13 years 10 months ago
2004
In this paper we present a new approach to stateful intrusion detection. It is based on a temporal logic which has the capability to express temporary properties, which are propert...
APAL
2005
13 years 8 months ago
2005
We investigate operators which take a set X to a set relatively computably enumerable in and above X by studying which such sets X can be so mapped into the Turing degree of K. We...
RSA
1998
13 years 8 months ago
1998
: For a pair of integers 1F␥-r, the ␥-chromatic number of an r-uniform Ž .hypergraph Hs V, E is the minimal k, for which there exists a partition of V into subsets < <T ...
AAAI
2007
13 years 11 months ago
2007
An Unobservable MDP (UMDP) is a POMDP in which there are no observations. An Only-Costly-Observable MDP (OCOMDP) is a POMDP which extends an UMDP by allowing a particular costly a...
PAKM
2000
13 years 10 months ago
2000
The This paper presents our work to define an Extended Enterprise Memory which is an explicit representation of knowledge for cooperative activity. This work is relevant from coop...