357 search results - page 37 / 72 » Computing Reachable States for Nonlinear Biological Models |
123
click to vote
ECCV
2000
Springer
16 years 6 months ago
2000
Springer
We describe a method for computing the likelihood that a completion joining two contour fragments passes through any given position and orientation in the image plane, that is, a m...
129
click to vote
IJON
2007
15 years 4 months ago
2007
This paper introduces a new model of a spiking neuron with active dendrites and dynamic synapses (ADDS). The neuron employs the dynamics of the synapses and the active properties ...
128
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
138
click to vote
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
False matching due to errors in feature extraction and changes in illumination between frames may occur in feature tracking in image sequences. False matching leads to outliers in...
196
Voted
CAV
1999
Springer
15 years 8 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...