Journal: Computers & Mathematics with Applications

Found 235 papers in total
Preface: The field of automated reasoning
Preface: The field of automated reasoning
1995,
The term automated reasoning ( first introduced in 1980) accurately describes the...
A formal model for verification of dynamic consistency of KBSs
A formal model for verification of dynamic consistency of KBSs
1995,
This paper proposes a translation of the main concepts involved in Knowledge Based...
A new way of counting
A new way of counting
1995,
In this paper, the authors shall give a combinatorial proof of the following equation:...
Computing continuous numerical solutions of matrix differential equations
Computing continuous numerical solutions of matrix differential equations
1995,
In this paper, the authors construct analytical approximate solutions of initial value...
The estimation of normalized fuzzy weights
The estimation of normalized fuzzy weights
1995,
The estimation of a normalized set of positive fuzzy weights constitutes the most...
A constrained conjugate gradient method and the solution of linear equations
A constrained conjugate gradient method and the solution of linear equations
1995,
A conjugate gradient method for solving minimization problems subject to linear...
An artificial intelligence approach for the generation and enumeration of perfect matchings on graphs
An artificial intelligence approach for the generation and enumeration of perfect matchings on graphs
1995,
A new search based algorithm is developed for an effective combinatorial exploration...
Fast parallel algorithm for polynomial interpolation
Fast parallel algorithm for polynomial interpolation
1995,
This paper presents a parallel algorithm for polynomial interpolation implemented on a...
Parallel computation of perfect elimination schemes using partition techniques on triangulated graphs
Parallel computation of perfect elimination schemes using partition techniques on triangulated graphs
1995,
Perfect elimination schemes (p.e.s.) occur in a number of important problems such as...
An extension of de Bruijn graphs and Kautz graphs
An extension of de Bruijn graphs and Kautz graphs
1995,
The authors introduce a method of division of vectors to extend the definitions of de...
A heuristic algorithm for the reliability-oriented fine assignment in a Distributed Computing System
A heuristic algorithm for the reliability-oriented fine assignment in a Distributed Computing System
1995,
Distributed Computing Systems (DCS) have become a major trend in today’s...
Invariant measures generated by sequences of approximating transformations
Invariant measures generated by sequences of approximating transformations
1995,
Let τ:[0,1]⇒[0,1] be the map defined by τ(x)=2x( mod1) and let λ...
Polynomial zerofinding iterative matrix algorithms
Polynomial zerofinding iterative matrix algorithms
1995,
Newbery’s method is completed to a method for the construction of a (complex)...
A parallel solver for circulant block-tridiagonal systems
A parallel solver for circulant block-tridiagonal systems
1995,
Generalizing Müller and Scheerer’s method which is used to parallelize the...
A self-stabilizing distributed algorithm to construct an arbitrary spanning tree of a connected graph
A self-stabilizing distributed algorithm to construct an arbitrary spanning tree of a connected graph
1995,
The authors propose a simple self-stabilizing distributed algorithm that maintains an...
An optimal path cover algorithm for cographs
An optimal path cover algorithm for cographs
1995,
The class of cographs, or complement-reducible graphs, arises naturally in many...
A fuzzy-systems approach in data envelopment analysis
A fuzzy-systems approach in data envelopment analysis
1992,
The use of fuzzy set-theoretic measures is explored here in the context of data...
Possibility programming by the comparison of fuzzy numbers
Possibility programming by the comparison of fuzzy numbers
1993,
In this paper a fuzzy multiple objective decision making approach is proposed. This...
An algorithm to compute the square root of a 3×3 positive definite matrix
An algorithm to compute the square root of a 3×3 positive definite matrix
1989,
An efficient closed form to compute the square root of a 3×3 positive definite...
Papers per page: