352 search results - page 28 / 71 » Evaluating the imprecision of static analysis |
DAWAK
2008
Springer
15 years 3 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
129
click to vote
APNOMS
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, an adaptive soft handoff algorithm, which dynamically calculates the threshold values for soft handoff based on the received signal strength, is proposed for mobile ...
138
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
123
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Unsupervised learning requires a grouping step that defines which data belong together. A natural way of grouping in images is the segmentation of objects or parts of objects. Whi...
210
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
We address the problem of preserving privacy in streams, which has received surprisingly limited attention. For static data, a well-studied and widely used approach is based on ra...