Sciweavers

2801 search results - page 188 / 561
» On the Adequateness of the Connection Method
Sort
View
IJCNN
2006
IEEE
16 years 16 days ago
Learning using Dynamical Regime Identification and Synchronization
—This study proposes to generalize Hebbian learning by identifying and synchronizing the dynamical regimes of individual nodes in a recurrent network. The connection weights are ...
Nicolas Brodu
FM
2003
Springer
139views Formal Methods» more  FM 2003»
15 years 11 months ago
Combining Real-Time Model-Checking and Fault Tree Analysis
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
Andreas Schäfer
ICCAD
1999
IEEE
77views Hardware» more  ICCAD 1999»
15 years 10 months ago
Virtual screening: a step towards a sparse partial inductance matrix
We extend the partial inductance concept by replacing the magnetic interaction between open filaments i and j by that between filament j and a (finite) closed loop, formed by conn...
A. J. Dammers, N. P. van der Meijs
EURODAC
1995
IEEE
100views VHDL» more  EURODAC 1995»
15 years 10 months ago
A unified approach to the extraction of realistic multiple bridging and break faults
The presented fault model uniquely describes all structural changes in the transistor net list that can be caused by spot defects, including faults that connect more than two nets...
Gerald Spiegel, Albrecht P. Stroele
COMBINATORICS
2006
119views more  COMBINATORICS 2006»
15 years 6 months ago
Relaxations of Ore's Condition on Cycles
A simple, undirected 2-connected graph G of order n belongs to class O(n,), 0, if 2 = n - . It is well known (Ore's theorem) that G is hamiltonian if = 0, in which case the 2...
Ahmed Ainouche