1000 search results - page 97 / 200 » order 2011 |
244
click to vote
RTA
2011
Springer
14 years 8 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
160
click to vote
SIGMOD
2011
ACM
14 years 8 months ago
2011
ACM
Ranking queries report the top-K results according to a user-defined scoring function. A widely used scoring function is the weighted summation of multiple scores. Often times, u...
169
click to vote
ICCV
2011
IEEE
14 years 5 months ago
2011
IEEE
Videos usually consist of activities involving interactions between multiple actors, sometimes referred to as complex activities. Recognition of such activities requires modeling ...
185
click to vote
ICCV
2011
IEEE
14 years 5 months ago
2011
IEEE
Optical flow estimation is a fundamental and ill-posed problem in computer vision. To recover a dense flow field, appropriate spatial constraints have to be enforced. Recent ad...
188
click to vote
COCO
2011
Springer
14 years 5 months ago
2011
Springer
We consider a system of linear constraints over any finite Abelian group G of the following form: i(x1, . . . , xn) ≡ i,1x1 + · · · + i,nxn ∈ Ai for i = 1, . . . , t and e...