4565 search results - page 611 / 913 » Time Optimal Self-Stabilizing Algorithms |
119
Voted
IWANN
2009
Springer
15 years 8 months ago
2009
Springer
This article presents a distributed agent-based architecture that can process the visual information obtained by stereoscopic cameras. The system is embedded within a global projec...
116
click to vote
COOPIS
1999
IEEE
15 years 7 months ago
1999
IEEE
There is currently great interest in building information mediators that can integrate informationfrom multipledata sources such as databases or Web sources. The query response ti...
138
click to vote
ICCV
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper describes a new algorithm for solving the N-camera stereo correspondence problem by transforming it into a maximum- ow problem. Once solved, the minimum-cut associated ...
120
click to vote
ISSS
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents a novel source-level dynamic analysis methodology and tool for High-Level Synthesis (HLS). It not only for the first time enables HLS to offer source-level de...
157
click to vote
PSTV
1992
15 years 4 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...