4370 search results - page 387 / 874 » Algebra of Logic Programming |
148
click to vote
AMC
2005
15 years 6 months ago
2005
In this paper, by using the theories and methods of mathematical analysis and computer algebra, a reliable algorithm of reduction of order approximation method for solving singula...
142
click to vote
AAECC
2002
Springer
15 years 6 months ago
2002
Springer
A fruitful interaction between a new randomized WZ procedure and other computer algebra programs is illustrated by the computer proof of a series evaluation that originates from a ...
177
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
This paper discusses Curry’s work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program compositi...
209
click to vote
IFSA
2007
Springer
16 years 28 days ago
2007
Springer
The algebra of truth values for fuzzy sets of type-2, due to Zadeh, contains as subalgebras those of type-1 and of interval-valued fuzzy sets. It also contains many other interest...
190
click to vote
COLCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Risk-based access control raises some novel problems that have not yet been investigated. In particular, the ability to aggregate uncertain risk estimations from different experts...