12257 search results - page 205 / 2452 » Analysis of Algorithms |
113
click to vote
ICARCV
2006
IEEE
15 years 8 months ago
2006
IEEE
A stereovision method is presented in this paper, to compute reliable and quasi-dense disparity maps of road scenes using in-vehicle cameras. It combines the advantages of the &qu...
141
Voted
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
We investigate the average-case speed and scalability of parallel algorithms executing on multiprocessors. Our performance metrics are average-speed and isospeed scalability. By m...
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
103
Voted
CAINE
2007
15 years 3 months ago
2007
Realism has always been a goal in computer graphics. However, the algorithms involved in mimicking ical world are often complex, abstract, and sensitive to changes in experimental...