31 search results - page 1 / 7 » Formalizing work: reallocating redundancy |
CSCW
2006
ACM
13 years 10 months ago
2006
ACM
NGC
1998
Springer
13 years 4 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
AICCSA
2006
IEEE
13 years 10 months ago
2006
IEEE
Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...
CTRSA
2001
Springer
13 years 9 months ago
2001
Springer
The Pintsov-Vanstone signature scheme with partial message recovery (PVSSR) is a variant of the Schnorr and Nyberg-Rueppel signature schemes. It produces very short signatures on ...
CLA
2006
13 years 6 months ago
2006
Formal Concept Analysis (FCA) considers attributes as a non-ordered set. This is appropriate when the data set is not structured. When an attribute taxonomy exists, existing techni...