2335 search results - page 303 / 467 » Type Checking Type Classes |
108
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
Let S = {si}iIN IN be a numerical semigroup. For si S, let (si) denote the number of pairs (si -sj, sj) S2 . When S is the Weierstrass semigroup of a family {Ci}iIN of one-point...
76
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Commutative Replicated Data-Type (CRDT) is a new class of algorithms that ensures scalable consistency of replicated data. It has been successfully applied to collaborati...
90
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
This paper focuses on the consensus averaging problem on graphs under general noisy channels. We study a particular class of distributed consensus algorithms based on damped updat...
92
Voted
IEICET
2008
15 years 25 days ago
2008
Cryptographic hash functions have been widely studied and are used in many current systems. Though much research has been done on the security of hash functions, system designers ...
112
Voted
IIE
2008
15 years 24 days ago
2008
The educational system in Austria is very multifaceted, and academic secondary schools represent an important part in it. This type of schools, in German called "Gymnasium&quo...