1578 search results - page 106 / 316 » Induction of Stable Models |
174
click to vote
TCS
2011
15 years 1 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
147
click to vote
IJCNN
2006
IEEE
16 years 10 days ago
2006
IEEE
— The tristability that a class of two-dimensional neuron models may exhibit is investigated in this paper. One proposition and three corollaries on saddles, which play an import...
165
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Abstract—This paper presents a multiparameter momentmatching based model order reduction technique for parameterized interconnect networks via a novel two-directional Arnoldi pro...
142
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
- The accuracy of interconnect delay estimations can be improved by the method presented in this paper in which the first two moments are obtained with ABCD matrix and a stable mod...
134
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
- This paper studies the linear dynamic errors-in-variables problem in the frequency domain. First the identifiability is shown under relaxed conditions. Next a frequency domain Ga...