Sciweavers

1818 search results - page 59 / 364
» Operant conditioning
Sort
View
SIAMSC
2008
151views more  SIAMSC 2008»
13 years 8 months ago
Accurate Floating-Point Summation Part I: Faithful Rounding
Given a vector of floating-point numbers with exact sum s, we present an algorithm for calculating a faithful rounding of s, i.e. the result is one of the immediate floating-point ...
Siegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
14 years 1 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...
JAT
2007
56views more  JAT 2007»
13 years 8 months ago
Quasi-interpolation in the Fourier algebra
We derive new convergence results for the Schoenberg operator and more general quasi-interpolation operators. In particular, we prove that natural conditions on the generator func...
Hans Georg Feichtinger, Norbert Kaiblinger
ICASSP
2010
IEEE
13 years 9 months ago
A nullspace analysis of the nuclear norm heuristic for rank minimization
The problem of minimizing the rank of a matrix subject to linear equality constraints arises in applications in machine learning, dimensionality reduction, and control theory, and...
Krishnamurthy Dvijotham, Maryam Fazel
ISCAS
2007
IEEE
131views Hardware» more  ISCAS 2007»
14 years 3 months ago
2-MITE Product-of-Power-Law Networks
— A 2-MITE is a multiple-input translinear element with two input gates. In this paper, different properties of networks of 2-MITEs are derived, especially in the case of product...
Shyam Subramanian, David V. Anderson