6608 search results - page 1144 / 1322 » On the Completeness of Model Checking |
154
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
— We present a system for Monocular Simultaneous Localization and Mapping (Mono-SLAM) relying solely on video input. Our algorithm makes it possible to precisely estimate the cam...
147
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Many planning approaches adhere to the twotiered architecture consisting of a long-range, low fidelity global planner and a short-range high fidelity local planner. W...
107
click to vote
ISCAS
2008
IEEE
15 years 11 months ago
2008
IEEE
—A 333MHz-1GHz all-digital multiphase delay-locked loop with precise multi-phase output has been designed with TSMC 130nm CMOS technology model. A modified binary search algorith...
151
click to vote
ITNG
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents several parallel FFT algorithms with different degree of communication overhead for multiprocessors in Network-on-Chip(NoC) environment. Three different method...
137
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...