626 search results - page 30 / 126 » The Automatic Interpretation of Nominalizations |
RTA
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
ICDIM
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper deals with the processing adopted for shape extraction from the 2D-presentation (image) in radar automatic target recognition field. The goal is to provide helpful info...
WCET
2003
13 years 9 months ago
2003
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expr...
MICCAI
2004
Springer
14 years 8 months ago
2004
Springer
Early removal of polyps has proven to decrease the incidence of colon cancer. We aim to increase the sensitivity of the screening by automatic detection of polyps. It requires accu...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Performance tuning involves a diagnostic process to locate and explain sources of program inefficiency. A performance diagnosis system can leverage knowledge of performance cause...