2686 search results - page 279 / 538 » Using a neural network in the software testing process |
171
click to vote
SDL
2007
15 years 5 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
152
click to vote
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
Large margin classifiers have demonstrated their advantages in many visual learning tasks, and have attracted much attention in vision and image processing communities. In this pa...
155
click to vote
RV
2007
Springer
15 years 10 months ago
2007
Springer
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...
141
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: In recent years, mammalian protein-protein interaction network databases have been developed. The interactions in these databases are either extracted manually from lo...
129
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Due to their role of receptors or transporters, membrane proteins play a key role in many important biological functions. In our work we used Grammatical Inference (GI...