1140 search results - page 26 / 228 » Progress on Certifying Algorithms |
ISSAC
2007
Springer
14 years 5 months ago
2007
Springer
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...
ESEC
1999
Springer
14 years 3 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
ICIP
1998
IEEE
14 years 3 months ago
1998
IEEE
Transmission of compressed image data over noisy channels is an important problem and has been investigated in a variety of scenarios. In this paper, we propose a progressive time...
3DPVT
2002
IEEE
14 years 3 months ago
2002
IEEE
We present a surface compression method that stores surfaces as wavelet-compressed signed-distance volumes. Our approach enables the representation of surfaces with complex topolo...
BIOCOMP
2006
14 years 10 days ago
2006
Computation of multiple sequence alignments is one of the major open problems in computational molecular biology. The purpose of this study was to provide a new method, PAC (Progre...