Sciweavers

16513 search results - page 69 / 3303
» Numerical Analysis Methods
Sort
View
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
14 years 1 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...
ICDAR
2003
IEEE
14 years 1 months ago
Numeral recognition for quality control of surgical sachets
In this paper we describe an application of OCR techniques to quality control in industrial production. The purpose of the system is to verify the correct printing of numerical in...
Ernest Valveny, Antonio López
ASAP
1997
IEEE
106views Hardware» more  ASAP 1997»
13 years 12 months ago
Libraries of schedule-free operators in Alpha
This paper presents a method, based on the formalism of affine recurrence equations, for the synthesis of digital circuits exploiting parallelism at the bit-level. In the initial ...
Florent de Dinechin
MOC
1998
64views more  MOC 1998»
13 years 7 months ago
Trapezoidal and midpoint splittings for initial-boundary value problems
In this paper we consider various multi-component splittings based on the trapezoidal rule and the implicit midpoint rule. It will be shown that an important requirement on such me...
Willem Hundsdorfer

Book
19360views
15 years 6 months ago
Numerical Recipes in C
C code implementation of several math algorithms such as Linear Algebraic Equations, Interpolation and Extrapolation, Integration of Functions, Evaluation of Functions, Random Num...
William H. Press, Saul A. Teukolsky, William T. Ve...