2137 search results - page 232 / 428 » Proving Abstract Non-interference |
140
Voted
COMMA
2006
15 years 5 months ago
2006
The hitherto most abstract, and hence general, argumentation system, is the one described by Dung in a paper from 1995. This framework does not allow for joint attacks on arguments...
125
Voted
DMIN
2006
15 years 5 months ago
2006
Abstract-- In this paper we consider d-dimensional spatiotemporal data (d 1) and ways to approximate and index it. We focus on indexing such data for similarity matching using orth...
119
Voted
FAST
2004
15 years 5 months ago
2004
We describe a technique called lookaside caching that combines the strengths of distributed file systems and portable storage devices, while negating their weaknesses. In spite of...
143
Voted
ESANN
2006
15 years 5 months ago
2006
Abstract. This article underlines the learning and discrimination capabilities of a model of associative memory based on artificial networks of spiking neurons. Inspired from neuro...
113
Voted
ESANN
2006
15 years 5 months ago
2006
Abstract. We consider regression models involving multilayer perceptrons (MLP) with one hidden layer and a Gaussian noise. The estimation of the parameters of the MLP can be done b...