923 search results - page 156 / 185 » Proving the value of formal methods |
170
click to vote
IJCAI
2007
15 years 7 months ago
2007
We explore an application to the game of Go of a reinforcement learning approach based on a linear evaluation function and large numbers of binary features. This strategy has prov...
144
click to vote
IJBC
2007
15 years 6 months ago
2007
A Chaitin Omega number is the halting probability of a universal prefix-free Turing machine. Every Omega number is simultaneously computably enumerable (the limit of a computable...
217
click to vote
TKDE
2008
15 years 6 months ago
2008
Event detection is a crucial task for wireless sensor network applications, especially environment monitoring. Existing approaches for event detection are mainly based on some pred...
158
click to vote
TNN
2008
15 years 6 months ago
2008
In this paper, stability and bifurcation of a general recurrent neural network with multiple time delays is considered, where all the variables of the network can be regarded as bi...
176
click to vote
TNN
2011
15 years 1 months ago
2011
—Reservoir computing (RC) refers to a new class of state-space models with a fixed state transition structure (the “reservoir”) and an adaptable readout form the state space...