2282 search results - page 268 / 457 » Active property checking |
132
click to vote
NPL
2000
15 years 4 months ago
2000
This paper presents a novel self-creating neural network scheme which employs two resource counters to record network learning activity. The proposed scheme not only achieves the b...
159
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
We present an energy based automatic image segmentation algorithm that uses a novel active contour scheme, called the stochastic active contour scheme (STACS). The algorithm overc...
140
click to vote
SAFECOMP
2007
Springer
15 years 11 months ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
145
Voted
DASFAA
2005
IEEE
15 years 10 months ago
2005
IEEE
In moving object databases, existing disk-based indexes are unable to keep up with the high update rate while providing speedy retrieval at the same time. However, efficient manage...
120
Voted
ICARIS
2005
Springer
15 years 10 months ago
2005
Springer
We have proposed a metaphor “DAnger Susceptible daTa codON” (DASTON) in data subject to processing by Danger Theory (DT) based Artificial Immune System (DAIS). The DASTONs are ...