2137 search results - page 134 / 428 » Proving Abstract Non-interference |
101
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. We analyze the relations of the van den Elzen-Talman algorithm, the Lemke-Howson algorithm and the global Newton method introduced by Govindan and Wilson. It is known tha...
118
Voted
DLT
2007
15 years 4 months ago
2007
Abstract. We study the dynamics of cellular automata, and more specifically their transitivity and expansivity, when the set of configurations is endowed with a shift-invariant (p...
139
click to vote
DLT
2007
15 years 4 months ago
2007
Abstract. We investigate the state complexity of union and intersection for finite languages. Note that the problem of obtaining the tight bounds for both operations was open. We ...
130
click to vote
ICONIP
2008
15 years 4 months ago
2008
Abstract. While injecting fault during training has long been demonstrated as an effective method to improve fault tolerance of a neural network, not much theoretical work has been...
117
click to vote
ESANN
2004
15 years 4 months ago
2004
Abstract. This paper proposes a new sliding mode controller using neural networks. Multilayer neural networks with the error back-propagation learning algorithm are used to compens...