983 search results - page 15 / 197 » Negative-Weight Cycle Algorithms |
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
ICALP
1994
Springer
15 years 3 months ago
1994
Springer
We describe efficient algorithms for finding even cycles in undirected graphs. Our main results are the following: (i) For every k 2, there is an O(V 2) time algorithm that decide...
CSB
2004
IEEE
15 years 3 months ago
2004
IEEE
It is still an open problem to identify functional relations with o(N
128
click to vote
APCCAS
2006
IEEE
15 years 1 months ago
2006
IEEE
The paper presents a hardware friendly fast algorithm and its architecture for motion estimation (ME) in H.264 video coding. The fast algorithm adopts the quarter pel subsampling a...
110
click to vote
ICDE
2012
IEEE
13 years 2 months ago
2012
IEEE
—On a stream of two dimensional data items (x, y) where x is an item identifier, and y is a numerical attribute, a correlated aggregate query requires us to first apply a selec...