Sciweavers

3145 search results - page 22 / 629
» Algebraic Linear Orderings
Sort
View
35
Voted
CORR
2010
Springer
46views Education» more  CORR 2010»
14 years 10 months ago
Realizability algebras: a program to well order R
Jean-Louis Krivine
CORR
2011
Springer
128views Education» more  CORR 2011»
14 years 1 months ago
Order Optimal Information Spreading Using Algebraic Gossip
Chen Avin, Michael Borokhovich, Keren Censor-Hille...
FFA
2010
139views more  FFA 2010»
14 years 8 months ago
Coset bounds for algebraic geometric codes
We develop new coset bounds for algebraic geometric codes. The bounds have a natural interpretation as an adversary threshold for algebraic geometric secret sharing schemes and le...
Iwan M. Duursma, Seungkook Park
81
Voted
QSIC
2003
IEEE
15 years 3 months ago
A Note on Test Oracles and Semantics of Algebraic Specifications
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
Hong Zhu