5718 search results - page 166 / 1144 » Modeling Rule Precision |
154
click to vote
ENTCS
2007
15 years 6 months ago
2007
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...
166
click to vote
EMNLP
2007
15 years 7 months ago
2007
We present results that show that incorporating lexical and structural semantic information is effective for word sense disambiguation. We evaluated the method by using precise in...
177
click to vote
SAS
1997
Springer
15 years 10 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
188
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The identification of mentions of gene or gene products in biomedical texts is a critical step in the development of text mining applications in biosciences. The compl...
181
click to vote
NGC
1998
Springer
15 years 6 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...