2266 search results - page 315 / 454 » Generalizing parametric timing analysis |
96
Voted
TOPLAS
2008
15 years 17 days ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
122
click to vote
CIKM
2011
Springer
14 years 19 days ago
2011
Springer
Social media services have spread throughout the world in just a few years. They have become not only a new source of information, but also new mechanisms for societies world-wide...
CVPR
2000
IEEE
16 years 2 months ago
2000
IEEE
In this paper, we present a novel approach to robust skeleton extraction. We use undirected graphs to model connectivity of the skeleton points. The graph topology remains unchang...
81
Voted
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
Commercials detection is very important for TV broadcast analysis. However, independent classification of video shots is very difficult because a considerable portion of individua...
102
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
Tracking multiple interacting objects represents a challenging area in computer vision. The tracking problem in general can be formulated as the task of recovering the spatio-temp...