47 search results - page 4 / 10 » Recursion and Iteration Support in USE Validator with AnATLy... |
WORDS
2003
IEEE
13 years 11 months ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
JMLR
2008
13 years 6 months ago
2008
We show how a generic feature selection algorithm returning strongly relevant variables can be turned into a causal structure learning algorithm. We prove this under the Faithfuln...
ICPR
2006
IEEE
14 years 7 months ago
2006
IEEE
In this paper, we present a new voting-based object labeling method that is robust to background clutter. The conventional simple voting method shows very poor performance under c...
ICS
2007
Tsinghua U.
14 years 12 days ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...
CADE
1998
Springer
13 years 10 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...