7929 search results - page 1220 / 1586 » Applications experience in Jade |
208
click to vote
IJAIT
2006
15 years 7 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
185
click to vote
IR
2008
15 years 7 months ago
2008
An experimental comparison of a large number of different image descriptors for content-based image retrieval is presented. Many of the papers describing new techniques and descri...
211
click to vote
ISCI
2008
15 years 7 months ago
2008
The use of frequent itemsets has been limited by the high computational cost as well as the large number of resulting itemsets. In many real-world scenarios, however, it is often ...
222
click to vote
ISCI
2008
15 years 7 months ago
2008
In this paper we propose a new probability update rule and sampling procedure for population-based incremental learning. These proposed methods are based on the concept of opposit...
196
click to vote
IJON
2006
15 years 7 months ago
2006
We present an application of Independent Component Analysis (ICA) to the discrimination of mental tasks for EEG-based Brain Computer Interface systems. ICA is most commonly used w...