4345 search results - page 75 / 869 » Temporal Constraint Networks |
ICONIP
2004
13 years 11 months ago
2004
Abstract. This paper examines the generalization capability in learning multiple temporal patterns by the recurrent neural network with parametric bias (RNNPB). Our simulation expe...
NECO
2010
13 years 4 months ago
2010
Temporal derivatives are computed by a wide variety of neural circuits, but the problem of performing this computation accurately has received little theoretical study. Here we sy...
APIN
2005
13 years 10 months ago
2005
In this paper, we discuss the degeneration of relevance of uncertain temporal information and propose an analytical upper bound for the relevance time of information in a restrict...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
ECCB
2008
IEEE
13 years 10 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...