5451 search results - page 986 / 1091 » Typed Operational Semantics |
148
click to vote
FPGA
2005
ACM
15 years 9 months ago
2005
ACM
Floating-point Sparse Matrix-Vector Multiplication (SpMXV) is a key computational kernel in scientific and engineering applications. The poor data locality of sparse matrices sig...
133
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present a genetic algorithm applied to the problem of mission planning for Joint Suppression of Enemy Air Defenses (JSEAD) in support of air strike operations. Th...
128
click to vote
KDD
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes a successful but challenging application of data mining in the railway industry. The objective is to optimize maintenance and operation of trains through prog...
134
Voted
IMC
2004
ACM
15 years 8 months ago
2004
ACM
Monitoring any portion of the Internet address space reveals incessant activity. This holds even when monitoring traffic sent to unused addresses, which we term “background rad...
131
Voted
ER
2004
Springer
15 years 8 months ago
2004
Springer
Identity management has arisen as a major and urgent challenge for internet-based communications and information services. Internet services involve complex networks of relationshi...