282 search results - page 22 / 57 » Additive Preconditioning for Matrix Computations |
AGILEDC
2006
IEEE
15 years 6 months ago
2006
IEEE
Design by contract is a practical methodology for developing code together with its specification. The contract consists of class invariants and method preand postconditions. As ...
OOPSLA
2001
Springer
15 years 4 months ago
2001
Springer
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
CVPR
2004
IEEE
16 years 2 months ago
2004
IEEE
We treat feature selection and basis selection in a unified framework by introducing the masking matrix. If one considers feature selection as finding a binary mask vector that de...
103
Voted
CF
2006
ACM
15 years 4 months ago
2006
ACM
The slowing pace of commodity microprocessor performance improvements combined with ever-increasing chip power demands has become of utmost concern to computational scientists. As...
103
Voted
COMPGEOM
2009
ACM
14 years 10 months ago
2009
ACM
Computed tomography(CT), especially since the introduction of helical CT, provides excellent visualization of the internal organs of the body. As a result, CT is used routinely in...