20126 search results - page 120 / 4026 » Timed Transition Systems |
140
click to vote
ICANN
2009
Springer
15 years 8 months ago
2009
Springer
Recurrent neural networks serve as black-box models for nonlinear dynamical systems identification and time series prediction. Training of recurrent networks typically minimizes t...
133
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
112
click to vote
ACSD
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
136
Voted
PTS
2003
15 years 4 months ago
2003
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
119
click to vote
ENTCS
2007
15 years 3 months ago
2007
The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a...