564 search results - page 107 / 113 » Lazy Code Motion |
113
Voted
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present the design and implementation of a new inexact Newton type algorithm for solving large-scale bundle adjustment problems with tens of thousands of images. We ex...
113
Voted
GLVLSI
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
98
Voted
CC
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Loop optimizations such as loop unrolling, unfolding and invariant code motion have long been used in a wide variety of compilers to improve the running time of applicati...
118
click to vote
EUROS
2008
15 years 2 months ago
2008
Abstract. The increasing complexity of humanoid robots and their expected performance in real dynamic environments demand an equally complex, autonomous and dynamic solution. Our a...
101
Voted
MOBIMEDIA
2007
15 years 2 months ago
2007
Usually unequal error protection schemes mostly focus on protecting video data parameters with unequal rates or levels depending on their sensitivities to errors. This paper first...