8094 search results - page 356 / 1619 » Improvements in Formula Generalization |
160
click to vote
ISLPED
2000
ACM
15 years 10 months ago
2000
ACM
Energy is one of the limited resources for modern systems, especially the battery-operated devices and personal digital assistants. The backlog in new technologies for more powerf...
154
click to vote
PODS
2000
ACM
15 years 10 months ago
2000
ACM
We consider spatial databases in the plane that can be defined by polynomial constraint formulas. Motivated by applications in geographic information systems, we investigate line...
195
click to vote
FSTTCS
1999
Springer
15 years 10 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
159
click to vote
INFOVIS
1997
IEEE
15 years 10 months ago
1997
IEEE
In information visualization, as the volume and complexity of the data increases, researchers require more powerful visualization tools that enable them to more effectively explor...
134
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
We consider non-uniform wire-sizing for general routing trees under the Elmore delay model. Three minimization objectives are studied: 1) total weighted sink-delays; 2) total area...