3495 search results - page 611 / 699 » On the random satisfiable process |
136
click to vote
AAAI
2007
15 years 8 months ago
2007
A new spectral approach to value function approximation has recently been proposed to automatically construct basis functions from samples. Global basis functions called proto-val...
164
click to vote
WSC
2007
15 years 8 months ago
2007
A Monte Carlo methodology is proposed for simulating air traffic blockage patterns under the impact of convective weather. The simulation utilizes probabilistic convective weather...
152
click to vote
USS
2008
15 years 8 months ago
2008
Generation of random numbers is a critical component of existing post-election auditing techniques. Recent work has largely discouraged the use of all pseudorandom number generato...
193
click to vote
AICCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
Time Series are ubiquitous, hence, similarity search is one of the biggest challenges in the area of mining time series data. This is due to the vast data size, number of sequence...
156
click to vote
ISQED
2010
IEEE
15 years 8 months ago
2010
IEEE
Circuit design under process variation can be formulated mathematically as a robust optimization problem with a yield constraint. Existing methods force designers to either resort...