8828 search results - page 1547 / 1766 » Formal methods in practice |
125
click to vote
EOR
2007
15 years 4 months ago
2007
In this paper, we develop new heuristic procedures for the maximum diversity problem (MDP). This NPhard problem has a significant number of practical applications such as environm...
160
click to vote
JUCS
2006
15 years 4 months ago
2006
Abstract: Pseudorandom number generators are widely used in the area of simulation. Defective generators are still widely used in standard library programs, although better pseudor...
140
click to vote
NC
2008
15 years 4 months ago
2008
Molecular self-assembly is a promising approach to bottom-up fabrication of complex structures. A major impediment to the practical use of self-assembly to create complex structure...
121
click to vote
MAM
2006
15 years 4 months ago
2006
Conventional research on DVS assumes that the battery, which is the power source of most mobile devices, provides constant power; the battery, however, has unique discharge charac...
138
click to vote
IEICET
2007
15 years 4 months ago
2007
There have been many theoretical and experimental investigations on polarization diversity reception characteristics at base stations. The diversity gain was evaluated based on th...