1158 search results - page 24 / 232 » Software is discrete mathematics |
UAI
2004
13 years 9 months ago
2004
We present a new method for nonlinear prediction of discrete random sequences under minimal structural assumptions. We give a mathematical construction for optimal predictors of s...
ENTCS
2002
13 years 7 months ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
PTS
2008
13 years 9 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 ...
IRFC
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Information Retrieval (IR) systems combine a variety of techniques stemming from logical, vector-space and probabilistic models. This variety of combinations has produced...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
Thinnings are very important operators for image analysis developed by mathematical morphology. Their most popular applications are the discrete homotopic skeletons. They are defi...