5086 search results - page 914 / 1018 » The Power of Comparative Reasoning |
123
click to vote
LCN
2006
IEEE
15 years 9 months ago
2006
IEEE
The popularity of distributed interactive applications has exploded in the last few years. For example, massive multi-player online games have become a fast growing, multi-million...
113
click to vote
NOMS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Flow-level traffic measurement is required for a wide range of applications including accounting, network planning and security management. A key design challenge is how to gr...
102
click to vote
TPHOL
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. We compare the styles of several proof assistants for mathematics. We present Pythagoras’ proof of the irrationality of √ 2 both informal and formalized in (1) HOL, (...
152
click to vote
CF
2006
ACM
15 years 9 months ago
2006
ACM
Packet processing systems maintain high throughput despite relatively high memory latencies by exploiting the coarse-grained parallelism available between packets. In particular, ...
168
click to vote
MM
2006
ACM
15 years 9 months ago
2006
ACM
While there have been great advances in quantification of the genotype of organisms, including full genomes for many species, the quantification of phenotype is at a comparatively...