1508 search results - page 226 / 302 » A Combination Method for Generating Interpolants |
145
click to vote
CASES
2003
ACM
15 years 9 months ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...
170
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The recent increase in the use of high-throughput two-hybrid analysis has generated large quantities of data on protein interactions. Specifically, the availability of...
191
click to vote
SDM
2012
SIAM
13 years 6 months ago
2012
SIAM
Early stress recognition is of great relevance in precision plant protection. Pre-symptomatic water stress detection is of particular interest, ultimately helping to meet the chal...
154
click to vote
IFL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
172
click to vote
CGF
2005
15 years 4 months ago
2005
In this paper, we present a new method for surface extraction from volume data which preserves sharp features, maintains consistent topology and generates surface adaptively witho...