862 search results - page 55 / 173 » Generalized Variational Relation Problems with Applications |
CC
2001
Springer
14 years 1 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
Process variations in modern VLSI technologies are growing in both magnitude and dimensionality. To assess performance variability, complex simulation and performance models param...
ENVSOFT
2008
13 years 9 months ago
2008
In this study we investigated the perspective offered by coupling a simple vegetation growth model and ground-based remotely-sensed data for the monitoring of wheat production. A ...
KDD
2005
ACM
14 years 2 months ago
2005
ACM
A lift curve, with the true positive rate on the y-axis and the customer pull (or contact) rate on the x-axis, is often used to depict the model performance in many data mining ap...
DBPL
1989
Springer
14 years 1 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...