3545 search results - page 577 / 709 » Computational methods for case-cohort studies |
148
click to vote
CAV
2007
Springer
16 years 15 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
156
click to vote
EPEW
2007
Springer
16 years 15 days ago
2007
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
166
click to vote
GECCO
2007
Springer
16 years 14 days ago
2007
Springer
Simulated binary crossover (SBX) is a real-parameter recombination operator which is commonly used in the evolutionary algorithm (EA) literature. The operator involves a parameter...
148
click to vote
ICALP
2007
Springer
16 years 14 days ago
2007
Springer
We study the classic problem of estimating the sum of n variables. The traditional uniform sampling approach requires a linear number of samples to provide any non-trivial guarante...
194
click to vote
IFM
2007
Springer
16 years 14 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...