5171 search results - page 447 / 1035 » Deterministic Parallel Processing |
116
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
153
click to vote
ISAAC
2000
Springer
15 years 7 months ago
2000
Springer
Given a set of jobs, each consisting of a number of weighted intervals on the real line, and a number m of machines, we study the problem of selecting a maximum weight subset of th...
109
click to vote
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper presents a method to characterize Nyquist rate A/D converters based on the use of a first order statistical behavioral model. The proposed model is derived from a very...
134
click to vote
WSC
2007
15 years 6 months ago
2007
Response Surface Methodology (RSM) is a metamodelbased optimization method. Its strategy is to explore small subregions of the parameter space in succession instead of attempting ...
125
click to vote
WSC
2008
15 years 6 months ago
2008
We introduce a new approach, called Relative Start and Idle Time (RSIT), to solve probabilistic scheduling problems of construction repetitive projects. RSIT is a process of deter...