6167 search results - page 1061 / 1234 » Can Refinement be Automated |
JBI
2002
13 years 10 months ago
2002
Document search is generally based on individual terms in the document. However, for collections within limited domains it is possible to provide more powerful access tools. This ...
IJMMS
1998
13 years 10 months ago
1998
The knowledge-engineering literature contains a number of approaches for constructing or selecting problem solvers. Some of these approaches are based on indexing and selecting a ...
CORR
1999
Springer
13 years 10 months ago
1999
Springer
The mortality related to cervical cancer can be substantially reduced through early detection and treatment. However, current detection techniques, such as Pap smear and colposcop...
JSA
1998
13 years 10 months ago
1998
In this paper, we present a network conscious approach to designing distributed real-time systems. Given a task graph design of the system, the end-to-end constraints on the input...
NGC
1998
Springer
13 years 10 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...