7991 search results - page 71 / 1599 » Using More Reasoning to Improve |
117
click to vote
RE
2005
Springer
15 years 7 months ago
2005
Springer
Defect reports generated for faults found during testing provide a rich source of information regarding problematic phrases used in requirements documents. These reports indicate ...
103
click to vote
AAAI
1993
15 years 2 months ago
1993
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
138
click to vote
DALT
2005
Springer
15 years 7 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
RECOMB
2005
Springer
16 years 1 months ago
2005
Springer
The multiple species de novo gene prediction problem can be stated as follows: given an alignment of genomic sequences from two or more organisms, predict the location and structur...
121
click to vote
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
Sigma, the first single-round group membership (GM) algorithm, was recently introduced and demonstrated to operate consistently with theoretical expectations in a simulated WAN en...