4103 search results - page 676 / 821 » Some results on the Collatz problem |
157
click to vote
IMECS
2007
15 years 7 months ago
2007
—In the context of multiple constant multiplications (MCM) design, we propose a novel common-subexpression-elimination (CSE) algorithm that models synthesis of coefficients into ...
161
click to vote
PTS
2008
15 years 7 months ago
2008
The article deals with problems of testing implementations of mathematical functions working with floating-point numbers. It considers current standards' requirements to such ...
148
click to vote
MVA
2007
15 years 7 months ago
2007
Pupil localization is a very important preprocessing step in many machine vision applications. Accurate and robust pupil localization especially in non-ideal eye images (such as i...
188
click to vote
MVA
2007
15 years 7 months ago
2007
In this paper we address automated visual inspection of tablets that may, in contrast to manual tablet sorting, provide objective and reproducible tablet quality assurance. Visual...
161
click to vote
SIMUTOOLS
2008
15 years 7 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...