966 search results - page 157 / 194 » Small Alliances in Graphs |
EUROSYS
2010
ACM
15 years 4 months ago
2010
ACM
Effective use of CPU data caches is critical to good performance, but poor cache use patterns are often hard to spot using existing execution profiling tools. Typical profilers at...
101
click to vote
DAC
1994
ACM
15 years 4 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
130
click to vote
FSTTCS
1993
Springer
15 years 4 months ago
1993
Springer
We investigate the complexity and approximability of some location problems when two distance values are specified for each pair of potential sites. These problems involve the se...
EVOW
2010
Springer
15 years 3 months ago
2010
Springer
Instances of constraint satisfaction problems can be solved efficiently if they are representable as a tree decomposition of small width. Unfortunately, the task of finding a deco...
113
click to vote
ECCV
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we tackle the problem of object detection and tracking in a new and challenging domain of wide area surveillance. This problem poses several challenges: large camera...