11797 search results - page 362 / 2360 » Recent Developments in the Experimental |
187
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Encryption schemes that support computation on encrypted data are useful in constructing efficient and intuitively simple cryptographic protocols. However, the approach was previo...
194
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a formulation of an optimality principle for a new class of concurrent decision systems formed by products of deterministic Markov decision processes ...
207
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we propose a new nonparametric approach to identification of linear time invariant systems using subspace methods. The nonparametric paradigm to prediction of station...
172
click to vote
ADMA
2005
Springer
15 years 8 months ago
2005
Springer
We develop the notion of normalized information distance (NID) [7] into a kernel distance suitable for use with a Support Vector Machine classifier, and demonstrate its use for an...
201
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...