1209 search results - page 13 / 242 » Approximation by pseudo-linear operators |
ENTCS
2006
14 years 10 months ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...
103
click to vote
ADCM
2011
14 years 5 months ago
2011
ABSTRACT. In this paper we discuss an abstract iteration scheme for the calculation of the smallest eigenvalue of an elliptic operator eigenvalue problem. A short and geometric pro...
68
Voted
ARITH
2009
IEEE
15 years 5 months ago
2009
IEEE
We introduce a novel left-to-right leading digit first dual recoding of an operand for the purpose of designing the squaring operation on that operand. Our dual recoding yields an...
ACSD
2006
IEEE
15 years 4 months ago
2006
IEEE
An optimized functional design space exploration method for multimedia applications is proposed. The basis of the method is a way of representing the dependency and the concurrenc...
CBSE
2004
Springer
15 years 3 months ago
2004
Springer
: In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall ...