3482 search results - page 475 / 697 » In Praise of Numerical Computation |
ICAC
2005
IEEE
14 years 4 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...
ICCV
2005
IEEE
14 years 4 months ago
2005
IEEE
The space of images is known to be a non-linear subspace that is difficult to model. This paper derives an algorithm that walks within this space. We seek a manifold through the ...
ICDCS
2005
IEEE
14 years 4 months ago
2005
IEEE
With the development of location aware sensor applications, location determination has become an increasingly important middleware technology. Numerous current technologies for lo...
ICPPW
2005
IEEE
14 years 4 months ago
2005
IEEE
Large–scale parallel applications performing global synchronization may spend a significant amount of execution time waiting for the completion of a barrier operation. Conseque...