3482 search results - page 230 / 697 » In Praise of Numerical Computation |
163
click to vote
DSN
2007
IEEE
16 years 27 days ago
2007
IEEE
Radio Frequency Identification (RFID) technology has the potential to dramatically improve numerous industrial practices. However, it still faces many challenges, including secur...
161
click to vote
ESOP
2007
Springer
16 years 22 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
207
click to vote
GI
2007
Springer
16 years 21 days ago
2007
Springer
: An new object oriented development suite for data fusion is presented. It is shown how the various issues in the data fusion development like design, implementation, simulation a...
177
click to vote
HPCC
2007
Springer
16 years 21 days ago
2007
Springer
The highly dynamic character of a mobile ad-hoc network (MANET) poses significant challenges on network communications and resource management. Previous work on routing in MANETs ...
151
click to vote
ISSAC
2007
Springer
16 years 21 days ago
2007
Springer
Given a lattice basis of n vectors in Zn, we propose an algorithm using 12n3 + O(n2) floating point operations for checking whether the basis is LLL-reduced. If the basis is redu...