722 search results - page 78 / 145 » Efficient Generation of Prime Numbers |
JAR
2006
13 years 7 months ago
2006
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
TWC
2008
13 years 7 months ago
2008
The generation of multiple uncorrelated Rayleigh fading waveforms is often demanded for simulating wideband fading channels, multiple-input multiple-output (MIMO) channels, and div...
CIB
2004
13 years 7 months ago
2004
For constructing semantically rich service descriptions in Grid services, emerging ontologies are being used. To generate ontologies, an issue named "ontology bottleneck"...
GPEM
2000
13 years 7 months ago
2000
Abstract. Size fair and homologous crossover genetic operators for tree based genetic programming are described and tested. Both produce considerably reduced increases in program s...
PVLDB
2008
13 years 7 months ago
2008
The number of successful attacks on the Internet shows that it is very difficult to guarantee the security of online search engines. A breached server that is not detected in time...