12264 search results - page 203 / 2453 » An Analysis of the XSL Algorithm |
165
click to vote
ICARCV
2006
IEEE
16 years 15 days 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...
195
click to vote
IPPS
1999
IEEE
15 years 10 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...
152
click to vote
CAV
2010
Springer
15 years 10 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 ...
151
click to vote
CAINE
2007
15 years 8 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...