12 search results - page 3 / 3 » On Using Floating-Point Computations to Help an Exact Linear... |
TASE
2010
IEEE
13 years 5 days ago
2010
IEEE
This paper presents a robust calibration procedure for clustered wireless sensor networks. Accurate calibration of between-node distances is one crucial step in localizing sensor n...
CADE
2009
Springer
14 years 7 days ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...