2137 search results - page 229 / 428 » Proving Abstract Non-interference |
111
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract-- We introduce a distributed estimation algorithm for use by a collection of stochastically interacting agents. Each agent has both a discrete value and an estimate of the...
100
Voted
CIE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract We prove, using a non-standard complexity assumption, that any language in NP has a 1-round (that is, the verifier sends a message to the prover, and the prover sends a me...
135
Voted
CSR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We study the group-valued and semigroup-valued conservation laws in cellular automata (CA). We provide examples to distinguish between semigroup-valued, group-valued and ...
140
click to vote
ICA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper introduces gradient based method for robust assessment of the sparse pulse sources, such as motor unit innervation pulse trains in the filed of electromyograp...
128
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we present a revision strategy of revising a conditional probabilistic logic program (PLP) when new information is received (which is in the form of probab...