11739 search results - page 430 / 2348 » Slideshow: functional presentations |
173
click to vote
STOC
2000
ACM
16 years 1 days ago
2000
ACM
We consider a new model for computing with uncertainty. It is desired to compute a function f X1; : : : ; Xn where X1; : : : ; Xn are unknown, but guaranteed to lie in speci ed i...
190
click to vote
AIMSA
2000
Springer
16 years 1 days ago
2000
Springer
In the present paper we use the approach of height functions to de ning a semi-distance measure between Horn clauses. This appraoch is already discussed elsewhere in the framework ...
183
click to vote
ARITH
1999
IEEE
16 years 3 hour ago
1999
IEEE
We present a design of a high-radix on-line division suitable for long precision computations. The proposed scheme uses a quotient-digit selection function based on the residual r...
187
click to vote
HT
1999
ACM
16 years 1 hour ago
1999
ACM
Since the beginning of the WWW, tools have been developed to augment the functionality of the Web. This paper provides an investigation of hypermedia tools and systems integrating...
164
click to vote
ISMVL
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper considers an optimization method of programmable logic arrays (PLAs), which have two-input EXOR gate at the outputs. The PLA realizes an EXOR of two sum-of-products exp...