691 search results - page 41 / 139 » Equational Abstractions |
CSC
2006
13 years 11 months ago
2006
Abstract: Tikhonov regularization is a popular and effective method for the approximate solution of illposed problems, including Fredholm equations of the first kind. The Tikhonov ...
IEICET
2008
13 years 10 months ago
2008
Abstract. In this paper we propose an algorithm of factoring any integer N which has k different prime factors with the same bit-length, when ( 1 k+2 + k(k-1) ) log N high-order bi...
APPML
2004
13 years 9 months ago
2004
Abstract. We establish the existence of positive solutions to twin time-scale problems given by the dynamic equation -u (t) = a(t)f(u(t)), t (t1, tn) T with boundary conditions u...
GRAMMARS
2002
13 years 9 months ago
2002
Abstract. A formal architecture for Construction Grammar (CG) is sketched. Modeling domain objects (constructs) are constituent structures with feature structures at the nodes, aka...
ESOP
2007
Springer
14 years 4 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...