2647 search results - page 314 / 530 » Solving Term Inequalities |
196
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
— This paper presents a vision based SLAM method by using stereo SFM technique. The proposed method is based on the stereo SFM presented in our former paper. The method do not ne...
173
click to vote
ISPAN
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper, we propose the coordinated robust routing (CRR) scheme to address the fault tolerance requirements in the layered wireless sensor networks. In the proposed scheme, ...
165
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
166
click to vote
P2P
2005
IEEE
16 years 3 days ago
2005
IEEE
Distributed peer-to-peer systems rely on voluntary participation of peers to effectively manage a storage pool. In such systems, data is generally replicated for performance and a...
164
click to vote
VLSID
2005
IEEE
16 years 2 days ago
2005
IEEE
The primary advantage of using 3D-FPGA over 2D-FPGA is that the vertical stacking of active layers reduce the Manhattan distance between the components in 3D-FPGA than when placed...