2944 search results - page 434 / 589 » Improving Bound Propagation |
148
click to vote
JCT
2011
15 years 26 days ago
2011
The circumference of a graph is the length of its longest cycles. Results of Jackson, and Jackson and Wormald, imply that the circumference of a 3-connected cubic n-vertex graph i...
181
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper addresses online learning of reference object distribution in the context of two hybrid tracking schemes that combine the mean shift with local point feature correspond...
225
click to vote
HPDC
2011
IEEE
14 years 10 months ago
2011
IEEE
We investigate proactive dynamic load balancing on multicore systems, in which threads are continually migrated to reduce the impact of processor/thread mismatches to enhance the ...
192
click to vote
ATVA
2011
Springer
14 years 6 months ago
2011
Springer
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....
298
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
One-clock priced timed games is a class of two-player, zero-sum, continuous-time games that was defined and thoroughly studied in previous works. We show that One-clock priced ti...