Sciweavers

227 search results - page 8 / 46
» A new look at state-space models for neural data
Sort
View
IJNS
2010
106views more  IJNS 2010»
13 years 7 months ago
Cascade Process Modeling with Mechanism-Based Hierarchical Neural Networks
Abstract: Cascade process, such as wastewater treatment plant, includes many nonlinear subsystems and many variables. When the number of sub-systems is big, the input-output relati...
Qiumei Cong, Wen Yu, Tianyou Chai
IJCNN
2006
IEEE
14 years 3 months ago
Reducing Uncertainties in Neural Network Jacobians and Improving Accuracy of Neural Network Emulations with NN Ensemble Approach
—A new application of the NN ensemble technique to improve the accuracy and stability of the calculation of NN emulation Jacobians is presented. The term “emulation” is defin...
Vladimir M. Krasnopolsky
ICDE
2007
IEEE
173views Database» more  ICDE 2007»
14 years 10 months ago
Top-k Query Processing in Uncertain Databases
Top-k processing in uncertain databases is semantically and computationally different from traditional top-k processing. The interplay between score and uncertainty makes traditio...
Mohamed A. Soliman, Ihab F. Ilyas, Kevin Chen-Chua...
ICANN
2003
Springer
14 years 2 months ago
The Spike Response Model: A Framework to Predict Neuronal Spike Trains
We propose a simple method to map a generic threshold model, namely the Spike Response Model, to artificial data of neuronal activity using a minimal amount of a priori informatio...
Renaud Jolivet, Timothy J. Lewis, Wulfram Gerstner
FMCAD
1998
Springer
14 years 1 months ago
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
Sergey Berezin, Armin Biere, Edmund M. Clarke, Yun...