Sciweavers

1174 search results - page 2 / 235
» Derivation of Characteristic Formulae
Sort
View
CORR
2009
Springer
79views Education» more  CORR 2009»
13 years 3 months ago
Characteristic Formulae for Fixed-Point Semantics: A General Framework
Luca Aceto, Anna Ingólfsdóttir, Josh...
CORR
2010
Springer
153views Education» more  CORR 2010»
13 years 5 months ago
Characterising Probabilistic Processes Logically
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...
Yuxin Deng, Rob J. van Glabbeek
IJCNN
2000
IEEE
13 years 9 months ago
On Derivation of MLP Backpropagation from the Kelley-Bryson Optimal-Control Gradient Formula and Its Application
The well-known backpropagation (BP) derivative computation process for multilayer perceptrons (MLP) learning can be viewed as a simplified version of the Kelley-Bryson gradient f...
Eiji Mizutani, Stuart E. Dreyfus, Kenichi Nishio