2137 search results - page 135 / 428 » Proving Abstract Non-interference |
132
click to vote
ALENEX
2001
15 years 4 months ago
2001
Abstract. Search engines often employ techniques for determining syntactic similarity of Web pages. Such a tool allows them to avoid returning multiple copies of essentially the sa...
110
click to vote
AIPS
2003
15 years 4 months ago
2003
We develop a hierarchical approach to planning for partially observable Markov decision processes (POMDPs) in which a policy is represented as a hierarchical finite-state control...
106
click to vote
DLOG
2001
15 years 4 months ago
2001
We combine the description logic ALC with the metric logics defined Entities that are conceived of as abstract points in the realm of ALC are given a spatial extension via an `ext...
100
click to vote
EHCI
2001
15 years 4 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
102
click to vote
ESANN
2003
15 years 4 months ago
2003
Abstract. An incremental, nonparametric probability estimation procedure using a variation of the Fuzzy ARTMAP (FAM) neural network is introduced. The resulted network, called Fuzz...