2757 search results - page 381 / 552 » On separating systems |
142
click to vote
JSS
2002
15 years 4 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
146
click to vote
NN
1998
Springer
15 years 4 months ago
1998
Springer
For complex database prediction problems such as medical diagnosis, the ARTMAP-IC neural network adds distributed prediction and category instance counting to the basic fuzzy ARTM...
143
click to vote
PAMI
1998
1998
A Probabilistic Approach to the Coupled Reconstruction and Restoration of Underwater Acoustic Images
15 years 4 months ago
—This paper describes a probabilistic technique for the coupled reconstruction and restoration of underwater acoustic images. The technique is founded on the physics of the image...
142
click to vote
VLDB
2002
ACM
15 years 4 months ago
2002
ACM
Recent work on querying data streams has focused on systems where newly arriving data is processed and continuously streamed to the user in real-time. In many emerging application...
125
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...