3495 search results - page 357 / 699 » On the random satisfiable process |
195
click to vote
UAI
2007
15 years 8 months ago
2007
A research organization responds to a variety of customer requests. Each high level request is broken down into a set of low level requests. For each low level request, the resear...
180
click to vote
GLVLSI
2008
IEEE
15 years 7 months ago
2008
IEEE
Due to the increasing complexity of today's circuits a high degree of automation in the design process is mandatory. The detection of faults and design errors is supported qu...
172
click to vote
AML
2010
15 years 7 months ago
2010
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...
185
click to vote
EAAI
2006
15 years 6 months ago
2006
Throughout the history, the evolutions of the requirements for manufacturing equipments have depended on the changes in the customers' demands. Among the present trends in th...
200
click to vote
EOR
2006
15 years 6 months ago
2006
We develop WASSP, a wavelet-based spectral method for steady-state simulation analysis. First WASSP determines a batch size and a warm-up period beyond which the computed batch me...