1855 search results - page 81 / 371 » System Consequence |
101
Voted
ESANN
2000
15 years 4 months ago
2000
In modelling the development of the oculomotor control system using neural networks, it is important to determine the appropriate cost function on which to train the models. Whilst...
113
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We propose an algorithm that tests membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The...
123
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that ...
129
click to vote
ENTCS
2006
15 years 3 months ago
2006
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...
135
click to vote
JAT
2006
15 years 3 months ago
2006
We prove an extrapolation theorem for the nonlinear m-term approximation with respect to a system of functions satisfying very mild conditions. This theorem allows us to prove end...