5056 search results - page 349 / 1012 » Network Coding Theory |
122
click to vote
VL
2006
IEEE
15 years 10 months ago
2006
IEEE
We report on a field study about how software developers experience disorientation when using the Eclipse Java integrated development environment. We analyzed the data using the ...
144
click to vote
EH
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes an original approach to the reliability analysis for Embryonics [4], by introducing the accuracy threshold measure, borrowed from fault-tolerant quantum comput...
135
click to vote
WWW
2010
ACM
15 years 9 months ago
2010
ACM
This paper studies the compressibility of RDF data sets. We show that big RDF data sets are highly compressible due to the structure of RDF graphs (power law), organization of URI...
208
click to vote
EUROCRYPT
1991
Springer
15 years 7 months ago
1991
Springer
Boolean functions that satisfy higher order propagation criteria are studied. A complete characterization is given of the autocorrelation function and Walsh spectrum of second ord...
154
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Many inequalities involving the functions ln, exp, sin, cos, etc., can be proved automatically by MetiTarski: a resolution theorem prover (Metis) modified to call a decision proced...