16430 search results - page 669 / 3286 » On Computable Tree Functions |
195
click to vote
FSTTCS
2004
Springer
16 years 19 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...
221
click to vote
GRAPHITE
2003
ACM
16 years 15 days 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...
193
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...
199
click to vote
TACS
1994
Springer
15 years 11 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 ...
201
click to vote
ICISC
2008
15 years 8 months ago
2008
Hardware implementations of cryptographic algorithms are still vulnerable to side-channel attacks. Side-channel attacks that are based on multiple measurements of the same operatio...