Sciweavers

3113 search results - page 44 / 623
» Numerical Methods
Sort
View
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 10 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
AMC
2005
134views more  AMC 2005»
15 years 5 months ago
The Fourier spectral method for the Cahn-Hilliard equation
In this paper, a Fourier spectral method for numerically solving Cahn-Hilliard equation with periodic boundary conditions is developed. We establish their semi-discrete and fully d...
Xingde Ye, Xiao-Liang Cheng
ICDAR
2009
IEEE
16 years 21 days ago
Statistical Modeling and Learning for Recognition-Based Handwritten Numeral String Segmentation
This paper proposes a recognition based approach to handwritten numeral string segmentation. We consider two classes: numeral strings segmented correctly or not. The feature vecto...
Yanjie Wang, Xiabi Liu, Yunde Jia
ICCS
2003
Springer
15 years 11 months ago
Self-Adapting Numerical Software and Automatic Tuning of Heuristics
Self-Adapting Numerical Software (SANS) systems aim to bridge the knowledge gap that exists between the expertise of domain scientists, and the know-how that is needed to fulfill...
Jack Dongarra, Victor Eijkhout
ISSAC
1995
Springer
125views Mathematics» more  ISSAC 1995»
15 years 9 months ago
Numeric-Symbolic Algorithms for Evaluating One-Dimensional Algebraic Sets
: We present e cient algorithms based on a combination of numeric and symbolic techniques for evaluating one-dimensional algebraic sets in a subset of the real domain. Given a desc...
Shankar Krishnan, Dinesh Manocha