122 search results - page 16 / 25 » Light types for polynomial time computation in lambda-calcul... |
FPL
2008
Springer
13 years 9 months ago
2008
Springer
Dynamically reconfigurable architectures or systems are able to reconfigure their function and/or structure to suit the changing needs of a computation during run time. The increa...
IEEECGIV
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--A new adaptive rational image interpolation algorithm is proposed. For a natural image, according to the difference information of the local pixel gray value in the verti...
TCS
1998
13 years 7 months ago
1998
Incomplete relations are relations which contain null values, whose meaning is \value is at present unknown". Such relations give rise to two types of functional dependency (...
COMGEO
2012
ACM
12 years 3 months ago
2012
ACM
We study a class of multi-commodity flow problems in geometric domains: For a given planar domain P populated with obstacles (holes) of K ≥ 2 types, compute a set of thick path...
STOC
1992
ACM
13 years 11 months ago
1992
ACM
How much can an imperfect source of randomness affect an algorithm? We examine several simple questions of this type concerning the long-term behavior of a random walk on a finite...