12 search results - page 3 / 3 » On Using Floating-Point Computations to Help an Exact Linear... |
206
click to vote
TASE
2010
IEEE
15 years 12 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...
175
click to vote
CADE
2009
Springer
16 years 14 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 ...