Sciweavers

2604 search results - page 287 / 521
» Human Errors and System Requirements
Sort
View
ICML
1989
IEEE
14 years 1 months ago
Constructive Induction by Analogy
The available concept-learners only partially fulfill the needs imposed by the learning apprentice generation of learners. We present a novel approach to interactive concept-learni...
Luc De Raedt, Maurice Bruynooghe
WCNC
2010
IEEE
14 years 1 months ago
Performance of a Cooperative Network Using Rate Adaptation and Cooperative Combining
—The performance of a cooperative network with Cooperative Maximal Ratio Combining (C-MRC) is analyzed. To this end, we propose a heuristic approximation to the total received SN...
Prasanna Kalansuriya, Madushanka Soysa, Chintha Te...
FLOPS
2008
Springer
13 years 11 months ago
On-Demand Refinement of Dependent Types
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
Hiroshi Unno, Naoki Kobayashi
ACL
2007
13 years 10 months ago
Sparse Information Extraction: Unsupervised Language Models to the Rescue
Even in a massive corpus such as the Web, a substantial fraction of extractions appear infrequently. This paper shows how to assess the correctness of sparse extractions by utiliz...
Doug Downey, Stefan Schoenmackers, Oren Etzioni
IJIT
2004
13 years 10 months ago
Software Test Data Generation using Ant Colony Optimization
State-based testing is frequently used in software testing. Test data generation is one of the key issues in software testing. A properly generated test suite may not only locate t...
Huaizhong Li, Chiou Peng Lam