1679 search results - page 143 / 336 » Strong order equivalence |
ARC
2010
Springer
14 years 3 months ago
2010
Springer
Dot-products are one of the essential and recurrent building blocks in scientific computing, and often take-up a large proportion of the scientific acceleration circuitry. The ac...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— Finite-range sensing and communication are factors in the connectivity of a dynamic mobile robot network. State estimation becomes a difficult problem when communicati...
FROCOS
2009
Springer
14 years 3 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
SUM
2009
Springer
14 years 3 months ago
2009
Springer
Different methods have been proposed for merging multiple and potentially conflicting informations. Sum-based operators offer a natural method for merging commensurable prioriti...
MMSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—In this paper we study the problem of evaluating the reconstruction distortion in the wavelet domain when adaptive lifting schemes (ALS) are used for the direct and inve...