220 search results - page 27 / 44 » Estimating functional coverage in bounded model checking |
PE
2002
Springer
14 years 10 months ago
2002
Springer
This work addresses the resource sharing problem in broadband communication networks that can guarantee some quality of service (QoS), and develops some results about data source ...
ISBI
2009
IEEE
15 years 5 months ago
2009
IEEE
Fluorescence localization microscopy (i.e., PALM, STORM) has enabled optical imaging at nanometer-scale resolutions. The localization algorithms used in these techniques rely on ï...
102
click to vote
IJRR
2010
14 years 9 months ago
2010
Abstract— Accurate terrain estimation is critical for autonomous offroad navigation. Reconstruction of a 3D surface allows rough and hilly ground to be represented, yielding fast...
188
Voted
POPL
2009
ACM
15 years 11 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
104
click to vote
IJRR
2006
14 years 11 months ago
2006
In this paper we study the time evolution of the position estimates' covariance in Cooperative Simultaneous Localization and Mapping (C-SLAM), and obtain analytical upper boun...