13784 search results - page 413 / 2757 » On Computing Functions with Uncertainty |
134
click to vote
APPROX
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Motivated by an open problem recently suggested by Goldreich et al., we study truthful implementations of a random binary function supporting compound XOR queries over su...
189
click to vote
FSTTCS
2004
Springer
16 years 4 days ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
198
click to vote
GRAPHITE
2003
ACM
16 years 21 hour ago
2003
ACM
A point-based 3D surface modelling technique combined with a new point rendering technique is presented. Surfaces are modelled by specifying a set of unorganized points on the sur...
179
click to vote
ANTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper analyzes reduction of fractional ideals in a purely cubic function field of unit rank one. The algorithm is used for generating all the reduced principal fractional ide...
187
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...