6978 search results - page 1062 / 1396 » On Proofs in System P |
155
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
We report a study to determine the impact of four types of disturbances on the failure intensity of a software product undergoing system test. Hardware failures, discovery of a cr...
214
click to vote
SSIAI
2002
IEEE
15 years 11 months ago
2002
IEEE
We present results quantifying the exploitability of compressed remote sensing imagery. The performance of various feature extraction and classification tasks is measured on hype...
172
Voted
WISE
2002
Springer
15 years 11 months ago
2002
Springer
The emergence of Application Service Providers (ASP) hosting Internet-based data mining services is being seen as a viable alternative for organisations that value their knowledge...
175
click to vote
ICANN
2009
Springer
15 years 11 months ago
2009
Springer
We present a neural system that recognizes faces under strong variations in pose and illumination. The generalization is learnt completely on the basis of examples of a subset of p...
157
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
We describe a model-based filtering application that generates candidate case-to-case distinguishing citations. We developed the system to aid editors in identifying indirect rela...