2661 search results - page 285 / 533 » Model Checking Performability Properties |
106
Voted
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— Inspired by the universal laws governing different kinds of complex networks, we propose a scale-free highlyclustered echo state network (SHESN). Different from echo state netw...
100
click to vote
EVOW
1999
Springer
15 years 5 months ago
1999
Springer
The traditional paradigm for digital filter design is based on the concept of a linear difference equation with the output response being a weighted sum of signal samples with usua...
101
Voted
ICANN
2010
Springer
15 years 1 months ago
2010
Springer
We propose a model of the hippocampus aimed at learning the timed association between subsequent sensory events. The properties of the neural network allow it to learn and predict ...
114
Voted
ICONIP
2009
14 years 10 months ago
2009
It is generally assumed in the traditional formulation of supervised learning that only the outputs data are uncertain. However, this assumption might be too strong for some learni...
120
Voted
SAT
2005
Springer
15 years 6 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...