Sciweavers

2631 search results - page 336 / 527
» A Practical Method for the Sparse Resultant
Sort
View
COMPSAC
2004
IEEE
15 years 11 months ago
Safety Tactics for Software Architecture Design
The influence of architecture in assurance of system safety is being increasingly recognised in mission-critical software applications. Nevertheless, most architectural strategies...
Weihang Wu, Tim Kelly
CP
2006
Springer
15 years 11 months ago
Mini-bucket Elimination with Bucket Propagation
Many important combinatorial optimization problems can be expressed as constraint satisfaction problems with soft constraints. When problems are too difficult to be solved exactly,...
Emma Rollon, Javier Larrosa
AAAI
2007
15 years 9 months ago
Manifold Denoising as Preprocessing for Finding Natural Representations of Data
A natural representation of data is given by the parameters which generated the data. If the space of parameters is continuous, then we can regard it as a manifold. In practice, w...
Matthias Hein, Markus Maier
CIMAGING
2010
133views Hardware» more  CIMAGING 2010»
15 years 8 months ago
Motion blur removal in nonlinear sensors
We address the problem of motion blur removal from an image sequence that was acquired by a sensor with nonlinear response. Motion blur removal in purely linear settings has been ...
Tomer Faktor, Tomer Michaeli, Yonina C. Eldar
PTS
2008
87views Hardware» more  PTS 2008»
15 years 8 months ago
Test Construction for Mathematical Functions
The article deals with problems of testing implementations of mathematical functions working with floating-point numbers. It considers current standards' requirements to such ...
Victor V. Kuliamin