1090 search results - page 117 / 218 » Type-Directed Partial Evaluation |
ISQED
2002
IEEE
14 years 3 months ago
2002
IEEE
— The inductive characteristics of several types of gridded power distribution networks are described in this paper. The inductance extraction program FastHenry is used to evalua...
INFOCOM
2000
IEEE
14 years 3 months ago
2000
IEEE
Abstract— Alternate path routing has been well-explored in telecommunication networks as a means of decreasing the call blocking rate and increasing network utility. However, asi...
CVPR
1999
IEEE
14 years 3 months ago
1999
IEEE
We address the problem of detection and tracking of moving objects in a video stream obtained from a moving airborne platform. The proposed method relies on a graph representation...
POPL
1999
ACM
14 years 3 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
CONTEXT
1999
Springer
14 years 3 months ago
1999
Springer
This paper presents a practical application of context for the evaluation of semantic similarity. The work is based on a new model for the assessment of semantic similarity among ...