618 search results - page 12 / 124 » Meaning and Partiality Revised |
WLP
1997
Springer
13 years 12 months ago
1997
Springer
eduction strategies for logic programs often use an abstraction operator to guarantee the niteness of the set of goals for which partial deductions are . Findingan abstraction ope...
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Real-time systems on non-preemptive platforms require a means of bounding the execution time of programs for admission purposes. Worst-Case Execution Time (WCET) is most...
Book
"Even the material of this book, even my own dreams, defaced by time or superseded, by means of which I have demonstrated the rules of dream-interpretation, revealed, when I c...
PRL
2006
13 years 7 months ago
2006
Automatic thresholding has been widely used in the machine vision industry for automated visual inspection of defects. A commonly used thresholding technique, the Otsu method, pro...
JUCS
2008
13 years 7 months ago
2008
: Some measures such as mean average precision and recall level precision are considered as good system-oriented measures, because they concern both precision and recall that are t...