3994 search results - page 613 / 799 » A Linear Logical Framework |
206
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Reward-based scheduling refers to the problem in which there is a reward associated with the execution of a task. In our framework, each real-time task comprises a mandatory and a...
179
click to vote
ISCA
1992
IEEE
15 years 11 months ago
1992
IEEE
As multiprocessor sizes scale and computer architects turn to interconnection networks with non-uniform communication latencies, the lure of exploiting communication locality to i...
177
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
179
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Partial differential equations (PDEs) have been successfully applied to many computer vision and image processing problems. However, designing PDEs requires high mathematical skill...
219
click to vote
DGCI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a novel template matching framework for detecting geometrically transformed objects. A template is a simplified representation of the object of interest by a s...