12825 search results - page 114 / 2565 » Improved PLSOM algorithm |
118
click to vote
ASIAN
2003
Springer
15 years 10 months ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...
129
click to vote
GCC
2003
Springer
15 years 10 months ago
2003
Springer
Due to their minimum consideration to an actual network topology, the existing peer-to-peer (P2P) overlay networks will lead to high latency and low efficiency. In TaChord, we pres...
126
click to vote
NAACL
2010
15 years 2 months ago
2010
Although Wikipedia has emerged as a powerful collaborative Encyclopedia on the Web, it is only partially multilingual as most of the content is in English and a small number of ot...
160
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
This paper presents a novel algorithm that improves the localization of disparity discontinuities of disparity maps obtained by multi-baseline stereo. Rather than associating a di...
117
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
In this paper, we present a new method to improve global routing results. By using an amplified congestion estimate to influence a rip-up and reroute approach, we obtain substanti...