1411 search results - page 185 / 283 » A Value Analysis for C Programs |
141
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
We construct fast algorithms for evaluating transforms associated with families of functions which satisfy recurrence relations. These include algorithms both for computing the co...
141
Voted
TITB
2008
15 years 4 months ago
2008
Abstract--Manual quantitative analysis of cardiac left ventricular function using Multislice CT and MR is arduous because of the large data volume. In this paper, we present a 3-D ...
151
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
: We study the satisfiability of randomly generated formulas formed by M clauses of exactly K literals over N Boolean variables. For a given value of N the problem is known to be m...
164
click to vote
ATAL
2011
Springer
14 years 5 months ago
2011
Springer
We consider a setting in which a principal seeks to induce an adaptive agent to select a target action by providing incentives on one or more actions. The agent maintains a belief...
156
click to vote
EDBT
2006
ACM
16 years 5 months ago
2006
ACM
Effective and efficient data mining in time series databases is essential in many application domains as for instance in financial analysis, medicine, meteorology, and environmenta...