618 search results - page 12 / 124 » Meaning and Partiality Revised |
171
click to vote
WLP
1997
Springer
15 years 9 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...
162
Voted
RTAS
2009
IEEE
16 years 9 days 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...
227
click to vote
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...
135
click to vote
PRL
2006
15 years 5 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...
168
click to vote
JUCS
2008
15 years 5 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...